Your search returned 1383 results.

Sort
Results
1321.
1322.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Series: Texts in Theoretical Computer Science an EATCS Series
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: QA76.758 B56 2006.

1323.
Classification Algorithms for Codes and Designs [electronic resource] / by Petteri Kaski, Patric R.J. Östergård. by Series: Algorithms and Computation in Mathematics ; 15
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA182.5 K37 2006.

1324.
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper. by Series: Lecture Notes in Computer Science ; 4028
Edition: 1a ed.
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: QA76.76.R44 K64 2006.

1325.
1326.
Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter. by Series: Lecture Notes in Computer Science ; 4954
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.C66 P38 2008.

1327.
Computational Methods in Systems Biology [electronic resource] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings / edited by Corrado Priami. by Series: Lecture Notes in Computer Science ; 4210
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: QH506 P75 2006.

1328.
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 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.D47 | A34 2007.

1329.
Analysis and Design of Information Systems [electronic resource] : Third Edition / by Arthur M. Langer. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 L37 2008.

1330.
1331.
1332.
1333.
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 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: QA76.7 B35 2006.

1334.
Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / edited by Robert Glück, Michael Lowry. by Series: Lecture Notes in Computer Science ; 3676
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 G58 2005.

1335.
Curve e superfici [electronic resource] / by Marco Abate, Francesca Tovena. by Series: UNITEXT, La Matematica per il 3+2
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Milan, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA641 A23 2006.

1336.
1337.
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. by Series: Lecture Notes in Computer Science ; 5133
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.6 A93 2008.

1338.
1339.
Numerical Methods for General and Structured Eigenvalue Problems [electronic resource] / by Daniel Kressner. by Series: Lecture Notes in Computational Science and Engineering ; 46
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: QA193 K74 2005.

1340.
Pages

Powered by Koha