Results
|
|
381.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 3440
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 H35 2005.
|
|
|
382.
|
|
|
|
383.
|
|
|
|
384.
|
Software Process and Product Measurement [electronic resource] : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers / edited by Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran. by Series: Lecture Notes in Computer Science ; 4895
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.S65 C83 2008.
|
|
|
385.
|
Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings / edited by Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim. by Series: Lecture Notes in Computer Science ; 4523
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: TK7895.E42 L44 2007.
|
|
|
386.
|
|
|
|
387.
|
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings / edited by Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong. by Series: Lecture Notes in Computer Science ; 4982
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7872,D48 D37 2008.
|
|
|
388.
|
Parallel and Distributed Processing and Applications [electronic resource] : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings / edited by Jiannong Cao, Laurence T. Yang, Minyi Guo, Francis Lau. by Series: Lecture Notes in Computer Science ; 3358
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 C36 2005.
|
|
|
389.
|
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T. Yang, Zili Shao. by Series: Lecture Notes in Computer Science ; 4808
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: TK7895.E42 K86 2007.
|
|
|
390.
|
|
|
|
391.
|
|
|
|
392.
|
|
|
|
393.
|
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4608
Edition: 1a ed.
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.76.C66 S34 2007.
|
|
|
394.
|
Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp. by Series: Lecture Notes in Computer Science ; 4581
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: TK5101.A1 P48 2007.
|
|
|
395.
|
|
|
|
396.
|
Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II / edited by Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro. by Series: Lecture Notes in Computer Science ; 4432
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.A43 B455 2007.
|
|
|
397.
|
Optical Network Design and Modeling [electronic resource] : 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings / edited by Ioannis Tomkos, Fabio Neri, Josep Solé Pareta, Xavier Masip Bruin, Sergi Sánchez Lopez. by Series: Lecture Notes in Computer Science ; 4534
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: TA1750 T66 2007 .
|
|
|
398.
|
|
|
|
399.
|
Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Series: Lecture Notes in Computer Science ; 4951
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 L83 2008.
|
|
|
400.
|
Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings / edited by Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff. by Series: Lecture Notes in Computer Science ; 4687
Edition: 1a ed.
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.76.I58 P48 2007.
|