Results
|
|
341.
|
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.
|
|
|
342.
|
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.
|
|
|
343.
|
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies [electronic resource] : First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers / edited by Bo Chen, Mike Paterson, Guochuan Zhang. by Series: Lecture Notes in Computer Science ; 4614
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: QA164 C46 2007.
|
|
|
344.
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo. by Series: Lecture Notes in Computer Science ; 3980
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: QA75.5 G38 2006.
|
|
|
345.
|
|
|
|
346.
|
|
|
|
347.
|
|
|
|
348.
|
|
|
|
349.
|
|
|
|
350.
|
|
|
|
351.
|
|
|
|
352.
|
|
|
|
353.
|
|
|
|
354.
|
|
|
|
355.
|
|
|
|
356.
|
|
|
|
357.
|
|
|
|
358.
|
|
|
|
359.
|
|
|
|
360.
|
Variational, Geometric, and Level Set Methods in Computer Vision [electronic resource] : Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005. Proceedings / edited by Nikos Paragios, Olivier Faugeras, Tony Chan, Christoph Schnörr. by Series: Lecture Notes in Computer Science ; 3752
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: No items available.
|