Results
|
|
1981.
|
Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. by Series: Lecture Notes in Computer Science ; 3922
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.758 B37 2006.
|
|
|
1982.
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. by Series: Lecture Notes in Computer Science ; 4573
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1983.
|
|
|
|
1984.
|
Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Series: Lecture Notes in Computer Science ; 4680
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.R44 S24 2007.
|
|
|
1985.
|
|
|
|
1986.
|
Active Mining [electronic resource] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda. by Series: Lecture Notes in Computer Science ; 3430
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.D343 T78 2005.
|
|
|
1987.
|
|
|
|
1988.
|
|
|
|
1989.
|
Advances in Data Mining. Applications in Medicine, Web Mining, Marketing, Image and Signal Mining [electronic resource] : 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006. Proceedings / edited by Petra Perner. by Series: Lecture Notes in Computer Science ; 4065
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.D343 P47 2006.
|
|
|
1990.
|
Foundations of Fuzzy Logic and Soft Computing [electronic resource] : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings / edited by Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, Witold Pedrycz. by Series: Lecture Notes in Computer Science ; 4529
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: QA248 M45 2007.
|
|
|
1991.
|
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.
|
|
|
1992.
|
|
|
|
1993.
|
Gesture in Human-Computer Interaction and Simulation [electronic resource] : 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers / edited by Sylvie Gibet, Nicolas Courty, Jean-François Kamp. by Series: Lecture Notes in Computer Science ; 3881
Edition: 1a ed.
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.G53 2006.
|
|
|
1994.
|
|
|
|
1995.
|
Advances in Hybrid Information Technology [electronic resource] : First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers / edited by Marcin S. Szczuka, Daniel Howard, Dominik Ślȩzak, Haeng-kon Kim, Tai-hoon Kim, Il-seok Ko, Geuk Lee, Peter M. A. Sloot. by Series: Lecture Notes in Computer Science ; 4413
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 S93 2007.
|
|
|
1996.
|
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.
|
|
|
1997.
|
|
|
|
1998.
|
|
|
|
1999.
|
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.
|
|
|
2000.
|
|