Results
|
|
481.
|
|
|
|
482.
|
|
|
|
483.
|
Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. by Series: Lecture Notes in Computer Science ; 4487
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: QA75.5 S55 2007.
|
|
|
484.
|
|
|
|
485.
|
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.
|
|
|
486.
|
Unifying the Software Process Spectrum [electronic resource] : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers / edited by Mingshu Li, Barry Boehm, Leon J. Osterweil. by Series: Lecture Notes in Computer Science ; 3840
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
|
487.
|
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.
|
|
|
488.
|
|
|
|
489.
|
|
|
|
490.
|
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.
|
|
|
491.
|
Computational Science and Its Applications – ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova. by Series: Lecture Notes in Computer Science ; 5073
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: QA75.5 G47 2008.
|
|
|
492.
|
|
|
|
493.
|
|
|
|
494.
|
|
|
|
495.
|
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller. by Series: Lecture Notes in Computer Science ; 3923
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.76.C65 M93 2006.
|
|
|
496.
|
|
|
|
497.
|
Multi-Agent Programming [electronic resource] : Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 15
Material type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 M8 2005.
|
|
|
498.
|
|
|
|
499.
|
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.
|
|
|
500.
|
Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Series: Lecture Notes in Computer Science ; 4052
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: QA267 B84 2006.
|