SOFSEM 2010 : theory and practice of computer science / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe
Material type: TextSeries: Lecture notes in computer science ; 5901Publication details: New York : Springer, 2010.Edition: 1st edDescription: 780 pages 16 x 24 cmISBN:- 9783642112652
- 004
Partial contents:
Forcing Monotonicity in Parameterized Verification: From Multisets to Words -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization: Open Problems in Theory and Practice.
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Colección general | Biblioteca Yachay Tech | 004 S6815 2010 (Browse shelf(Opens below)) | Ej. 1 | Available | 002943 | |||
Colección general | Biblioteca Yachay Tech | 004 S6815 2010 (Browse shelf(Opens below)) | Ej. 2 | Available | 002944 | |||
Colección general | Biblioteca Yachay Tech | 004 S6815 2010 (Browse shelf(Opens below)) | Ej. 3 | Available | 002945 |
Total holds: 0
Browsing Biblioteca Yachay Tech shelves Close shelf browser (Hides shelf browser)
004 R3231b 2011 A balanced introduction to computer science / | 004 R3231b 2011 A balanced introduction to computer science / | 004 R3231b 2011 A balanced introduction to computer science / | 004 S6815 2010 SOFSEM 2010 : | 004 S6815 2010 SOFSEM 2010 : | 004 S6815 2010 SOFSEM 2010 : | 004.0151 A163m 2010 Modeling in Event-B : |
Forcing Monotonicity in Parameterized Verification: From Multisets to Words -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization: Open Problems in Theory and Practice.
There are no comments on this title.
Log in to your account to post a comment.