Your search returned 367 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
281.
Introduction to Programming with Fortran [electronic resource] / by Ian D. Chivers, Jane Sleightholme. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.F25 C58 2006 .

Place hold Add to cart
282.
Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Series: Lecture Notes in Computer Science ; 4951
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 L83 2008.

Place hold Add to cart
283.
Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński. by Series: Lecture Notes in Computer Science ; 4079
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.63 E83 2006.

Place hold Add to cart
284.
Beginning SQL Server 2005 for Developers [electronic resource] : From Novice to Professional / by Robin Dewson. by
Edition: 2.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Robin Dewson, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.S67 D49 2006.

Place hold Add to cart
285.
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Series: Lecture Notes in Computer Science ; 3707
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 P45 2005.

Place hold Add to cart
286.
287.
288.
Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo. by Series: Lecture Notes in Computer Science ; 4989
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.62 G37 2008.

Place hold Add to cart
289.
XML for Bioinformatics [electronic resource] / by Ethan Cerami. by
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.76.H94 C47 2005.

Place hold Add to cart
290.
Physics for Game Programmers [electronic resource] / by Grant Palmer. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Grant Palmer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C672 P35 2005.

Place hold Add to cart
291.
292.
Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by Marc Boulé, Zeljko Zilic. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 B68 2008.

Place hold Add to cart
293.
Early Aspects: Current Challenges and Future Directions [electronic resource] : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy. by Series: Lecture Notes in Computer Science ; 4765
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.64 M67 2007.

Place hold Add to cart
294.
Middleware 2005 [electronic resource] : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings / edited by Gustavo Alonso. by Series: Lecture Notes in Computer Science ; 3790
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.M54 A46 2005.

Place hold Add to cart
295.
296.
Foundations of AOP for J2EE Development [electronic resource] / by Renaud Pawlak, Lionel Seinturier, Jean-Philippe Retaillé. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Renaud Pawlak, Lionel Seinturier, and Jean-Philippe Retaillé, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 P39 2005.

Place hold Add to cart
297.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings / edited by Radhia Cousot. by Series: Lecture Notes in Computer Science ; 3385
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
298.
Pro Java EE 5 Performance Management and Optimization [electronic resource] / by Steven Haines. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Steven Haines, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 H35 2006.

Place hold Add to cart
299.
Beginning PHP and PostgreSQL 8 [electronic resource] : From Novice to Professional / by W. Jason Gilmore, Robert H. Treat. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : W. Jason Gilmore, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.P47 G55 2006.

Place hold Add to cart
300.
Pages

Powered by Koha