Results
|
|
421.
|
|
|
|
422.
|
|
|
|
423.
|
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.
|
|
|
424.
|
From Web to Social Web: Discovering and Deploying User and Content Profiles [electronic resource] : Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers / edited by Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro. by Series: Lecture Notes in Computer Science ; 4737
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: ZA4235 B47 2007.
|
|
|
425.
|
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.
|
|
|
426.
|
|
|
|
427.
|
|
|
|
428.
|
|
|
|
429.
|
|
|
|
430.
|
|
|
|
431.
|
|
|
|
432.
|
|
|
|
433.
|
|
|
|
434.
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings / edited by Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani, Oskar Stryk. by Series: Lecture Notes in Computer Science ; 5325
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.495 C37 2008.
|
|
|
435.
|
|
|
|
436.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson. by Series: Lecture Notes in Computer Science ; 4386
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 N67 2007.
|
|
|
437.
|
Advances in Computer, Information, and Systems Sciences, and Engineering [electronic resource] : Proceedings of IETA 2005, TeNe 2005, EIAE 2005 / edited by Khaled Elleithy, Tarek Sobh, Ausif Mahmood, Magued Iskander, Mohammad Karim. by
Material type: Computer file; Format:
electronic
Publication details: Dordrecht : Springer, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.A1 E45 2006.
|
|
|
438.
|
|
|
|
439.
|
|
|
|
440.
|
Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006. Proceedings / edited by Dominique Gaïti, Guy Pujolle, Ehab Al-Shaer, Ken Calvert, Simon Dobson, Guy Leduc, Olli Martikainen. by Series: Lecture Notes in Computer Science ; 4195
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.9.A97 G35 2006.
|