Your search returned 3732 results.

Sort
Results
1381.
1382.
Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav. by Series: Lecture Notes in Computer Science ; 4899
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.V47 y67 2008.

1383.
Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications / edited by Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton. by Series: Lecture Notes in Computer Science ; 4911
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.63 R34 2008.

1384.
Beginning JBoss® Seam [electronic resource] : From Novice to Professional / by Joseph Faisal Nusairat. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Joseph Faisal Nusairat, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.J42 N87 2007.

1385.
1386.
1387.
1388.
1389.
Public Key Infrastructure [electronic resource] : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers / edited by David Chadwick, Gansen Zhao. by Series: Lecture Notes in Computer Science ; 3545
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.A25 C43 2005 .

1390.
1391.
Transactions on Computational Science I [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Series: Lecture Notes in Computer Science ; 4750
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: Q183.9 G38 2008.

1392.
1393.
Speech Separation by Humans and Machines [electronic resource] / edited by Pierre Divenyi. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.S65 D58 2005.

1394.
Service Science, Management and Engineering Education for the 21st Century [electronic resource] / edited by Bill Hefley, Wendy Murphy. by Series: Service Science: Research and Innovations in the Service Economy
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q181 H44 2008.

1395.
1396.
1397.
1398.
1399.
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings / edited by Jérôme Euzenat, John Domingue. by Series: Lecture Notes in Computer Science ; 4183
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: Q334 E99 2006.

1400.
Windows Home Server User’s Guide [electronic resource] / by Andrew Edney. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Andrew Edney, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.774.M55 E36 2007.

Pages

Powered by Koha