Results
|
6221.
|
|
|
6222.
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol. by Series: Lecture Notes in Computer Science ; 4346
Edition: 1a ed.
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.9.F67 B75 2007.
|
|
6223.
|
|
|
6224.
|
|
|
6225.
|
|
|
6226.
|
|
|
6227.
|
|
|
6228.
|
|
|
6229.
|
|
|
6230.
|
|
|
6231.
|
|
|
6232.
|
Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Series: Lecture Notes in Computer Science ; 4051
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: QA267 B84 2006.
|
|
6233.
|
|
|
6234.
|
|
|
6235.
|
Computer Vision – ACCV 2007 [electronic resource] : 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I / edited by Yasushi Yagi, Sing Bing Kang, In So Kweon, Hongbin Zha. by Series: Lecture Notes in Computer Science ; 4843
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: TA1634 Y34 2007.
|
|
6236.
|
|
|
6237.
|
|
|
6238.
|
|
|
6239.
|
|
|
6240.
|
|