Results
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
|
|
|
184.
|
|
|
|
185.
|
Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4880
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.Q35 O94 2007.
|
|
|
186.
|
|
|
|
187.
|
|
|
|
188.
|
|
|
|
189.
|
|
|
|
190.
|
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Series: Lecture Notes in Computer Science ; 4805
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 M447 2007.
|
|
|
191.
|
|
|
|
192.
|
SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings / edited by Jiří Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller. by Series: Lecture Notes in Computer Science ; 3831
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.751 W54 2006.
|
|
|
193.
|
|
|
|
194.
|
NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications [electronic resource] : Second International IFIP-TC6 Networking Conference Pisa, Italy, May 19–24, 2002 Proceedings / edited by Enrico Gregori, Marco Conti, Andrew T. Campbell, Guy Omidyar, Moshe Zukerman. by Series: Lecture Notes in Computer Science ; 2345
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 G74 2006.
|
|
|
195.
|
|
|
|
196.
|
|
|
|
197.
|
|
|
|
198.
|
|
|
|
199.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Series: Lecture Notes in Computer Science ; 3920
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 N47 2006.
|
|
|
200.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti. by Series: Lecture Notes in Computer Science ; 3965
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B476 2006.
|