Normal view MARC view ISBD view

SOFSEM 2010 : theory and practice of computer science / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe.

Contributor(s): Leeuwen, Jan [editor] | Muscholl, Anca | Peleg, David [editor] | Pokorný, Jaroslav [editor] | Rumpe, Bernhard [editor].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science ; 5901.Copyright date: New York : Springer, 2010Edition: First edition.Description: 780 pages : 24 cm. figures.ISBN: 9783642112652.Subject(s): Computer science | Software engineering | Database management | World Wide WebDDC classification: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Item holds
Libro académico Libro académico Biblioteca del Campus
004 S6815 2010 (Browse shelf) Ej. 1 Available
Libro académico Libro académico Biblioteca del Campus
004 S6815 2010 (Browse shelf) Ej. 2 Available
Libro académico Libro académico Biblioteca del Campus
004 S6815 2010 (Browse shelf) Ej. 3 Available
Total holds: 0

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 for this item.

Log in to your account to post a comment.