000 | 01307nam a22003015a 4500 | ||
---|---|---|---|
001 | 15980665 | ||
005 | 20170913030422.0 | ||
008 | 091111s2010 nyu 000 0 eng | ||
020 | _a9783642112652 | ||
040 |
_aDLC _cDLC |
||
082 | 0 | 4 |
_223 _a004 |
245 | 0 | 0 |
_aSOFSEM 2010 : _btheory and practice of computer science / _cedited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe |
250 | _a1st ed. | ||
260 |
_aNew York : _bSpringer, _c2010. |
||
300 |
_a780 pages _c16 x 24 cm |
||
490 | 0 |
_aLecture notes in computer science ; _v5901 |
|
505 | 2 | _aForcing 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. | |
650 | 2 | 4 |
_9133 _aComputer science |
650 | 2 | 0 |
_92305 _aSoftware engineering |
650 | 0 |
_92310 _aDatabase management |
|
650 | 0 |
_92312 _aWorld Wide Web |
|
700 | 1 |
_92273 _aLeeuwen, Jan _eeditor |
|
700 | 1 |
_92314 _aMuscholl, Anca |
|
700 | 1 |
_92273 _aPeleg, David _eeditor |
|
700 | 1 |
_92273 _aPokorný, Jaroslav _eeditor |
|
700 | 1 |
_92273 _aRumpe, Bernhard _eeditor |
|
942 |
_2ddc _cLIBRO |
||
999 | _c53 |