Results
|
501.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. by Series: Lecture Notes in Computer Science ; 4963
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.9.S88 R36 2008.
|
|
502.
|
|
|
503.
|
Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings / edited by George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau. by Series: Lecture Notes in Computer Science ; 3489
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.76.C66 2005.
|
|
504.
|
Advances in Biometric Person Authentication [electronic resource] : 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings / edited by Stan Z. Li, Jianhuang Lai, Tieniu Tan, Guocan Feng, Yunhong Wang. by Series: Lecture Notes in Computer Science ; 3338
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: TK7882.B56 L5 2005.
|
|
505.
|
|
|
506.
|
|
|
507.
|
Applied Parallel Computing [electronic resource] : Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15–18, 2002 Proceedings / edited by Juha Fagerholm, Juha Haataja, Jari Järvinen, Mikko Lyly, Peter Råback, Ville Savolainen. by Series: Lecture Notes in Computer Science ; 2367
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.58 F34 2006.
|
|
508.
|
|
|
509.
|
|
|
510.
|
|
|
511.
|
|
|
512.
|
Computational Science and Its Applications – ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova. by Series: Lecture Notes in Computer Science ; 5072
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.
|
|
513.
|
|
|
514.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra. by Series: Lecture Notes in Computer Science ; 3992
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: QA75.5 A44 2006.
|
|
515.
|
|
|
516.
|
|
|
517.
|
Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings / edited by David H. Akehurst, Régis Vogel, Richard F. Paige. by Series: Lecture Notes in Computer Science ; 4530
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.D47 | A34 2007.
|
|
518.
|
Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel. by Series: Lecture Notes in Computer Science ; 4176
Edition: 1a ed.
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.A25 K38 2006.
|
|
519.
|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Series: Lecture Notes in Computer Science ; 4596
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: QA267 A74 2007.
|
|
520.
|
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss. by Series: Lecture Notes in Computer Science ; 4327
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.7 B35 2006.
|