Results
|
401.
|
|
|
402.
|
Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Series: Lecture Notes in Computer Science ; 5555
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
403.
|
Automata, Languages and Programming [electronic resource] : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Series: Lecture Notes in Computer Science ; 5556
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
404.
|
|
|
405.
|
|
|
406.
|
|
|
407.
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Series: Lecture Notes in Computer Science ; 5674
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
408.
|
Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / edited by Frank Dehne, Marina Gavrilova, Jörg-Rüdiger Sack, Csaba D. Tóth. by Series: Lecture Notes in Computer Science ; 5664
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
409.
|
|
|
410.
|
|
|
411.
|
|
|
412.
|
|
|
413.
|
|
|
414.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings / edited by Irit Dinur, Klaus Jansen, Joseph Naor, José Rolim. by Series: Lecture Notes in Computer Science ; 5687
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
415.
|
|
|
416.
|
|
|
417.
|
Selected Areas in Cryptography [electronic resource] : 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers / edited by Roberto Maria Avanzi, Liam Keliher, Francesco Sica. by Series: Lecture Notes in Computer Science ; 5381
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
418.
|
|
|
419.
|
|
|
420.
|
|