Your search returned 907 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
821.
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 .

Place hold Add to cart
822.
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.

Place hold Add to cart
823.
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.

Place hold Add to cart
824.
Microsoft SharePoint [electronic resource] : Building Office 2003 Solutions / by Scot P. Hillier. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Scot P. Hillier, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.875.I6 H55 2006.

Place hold Add to cart
825.
Micro-ISV [electronic resource] : From Vision to Reality / by Bob Walsh. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Bob Walsh, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5439.S64 W35 2006.

Place hold Add to cart
826.
Introduction to Assembly Language Programming [electronic resource] : For Pentium and RISC Processors / by Sivarama P. Dandamudi. by Series: Texts in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.A87 D36 2005.

Place hold Add to cart
827.
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 .

Place hold Add to cart
828.
829.
830.
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.

Place hold Add to cart
831.
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.

Place hold Add to cart
832.
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.

Place hold Add to cart
833.
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.

Place hold Add to cart
834.
835.
Smart and Gets Things Done [electronic resource] : Joel Spolsky’s Concise Guide to Finding the Best Technical Talent / by Joel Spolsky. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Joel Spolsky, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.25 S66 2007.

Place hold Add to cart
836.
837.
838.
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.

Place hold Add to cart
839.
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.

Place hold Add to cart
840.
50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer. by Series: Lecture Notes in Computer Science ; 4850
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: Q334 L86 2007.

Place hold Add to cart
Pages

Powered by Koha