Results
|
301.
|
Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky. by Series: Lecture Notes in Computer Science ; 4420
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 K75 2007.
|
|
302.
|
|
|
303.
|
|
|
304.
|
|
|
305.
|
|
|
306.
|
|
|
307.
|
|
|
308.
|
|
|
309.
|
|
|
310.
|
|
|
311.
|
|
|
312.
|
|
|
313.
|
Artificial Neural Networks – ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I / edited by Stefanos D. Kollias, Andreas Stafylopatis, Włodzisław Duch, Erkki Oja. by Series: Lecture Notes in Computer Science ; 4131
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 K65 2006.
|
|
314.
|
|
|
315.
|
Computer Vision – ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I / edited by David Forsyth, Philip Torr, Andrew Zisserman. by Series: Lecture Notes in Computer Science ; 5302
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1634 F67 2008.
|
|
316.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 4494
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 J56 2007.
|
|
317.
|
|
|
318.
|
|
|
319.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture Notes in Computer Science ; 3855
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
320.
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders. by Series: Lecture Notes in Computer Science ; 4179
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1634 B53 2006.
|