Your search returned 570 results.

Sort
Results
501.
502.
Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu. by Series: Lecture Notes in Computer Science ; 3314
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75,5 Z43 2005.

503.
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Series: Lecture Notes in Computer Science ; 5014
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 C84 2008.

504.
505.
Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach. by Series: Lecture Notes in Computer Science ; 3785
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 L38 2005.

506.
Multiagent System Technologies [electronic resource] : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pěchouček. by Series: Lecture Notes in Computer Science ; 5244
Edition: 1a. ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 B47 2008.

507.
Socionics [electronic resource] : Scalability of Complex Social Systems / edited by Klaus Fischer, Michael Florian, Thomas Malsch. by Series: Lecture Notes in Computer Science ; 3413
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 F57 2007 .

508.
Software Process Improvement [electronic resource] : 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings / edited by Ita Richardson, Pekka Abrahamsson, Richard Messnarz. by Series: Lecture Notes in Computer Science ; 3792
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 R53 2005.

509.
Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / edited by Anu G. Bourgeois, S. Q. Zheng. by Series: Lecture Notes in Computer Science ; 5022
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 B68 2008.

510.
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio. by Series: Lecture Notes in Computer Science ; 4428
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 E34 2007 .

511.
512.
Active Knowledge Modeling of Enterprises [electronic resource] / by Frank Lillehagen, John Krogstie. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD30.28 L55 2008.

513.
Cooperative Design, Visualization, and Engineering [electronic resource] : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 5220
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345 L86 2008.

514.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert. by Series: Lecture Notes in Computer Science ; 3702
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 B43 2005.

515.
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Series: Lecture Notes in Computer Science ; 4590
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 D36 2007.

516.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource] / edited by Roger Lee. by Series: Studies in Computational Intelligence ; 149
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 L44 2008.

517.
518.
519.
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek. by Series: Lecture Notes in Computer Science ; 5142
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 V58 2008.

520.
Cooperative Design, Visualization, and Engineering [electronic resource] : Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings / edited by Yuhua Luo. by Series: Lecture Notes in Computer Science ; 4101
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA345 L86 2006.

Pages

Powered by Koha