Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
SOFSEM 2009: Theory and Practice of Computer Science

SOFSEM 2009: Theory and Practice of Computer Science

35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 5404/2009
DOI10.1007/978-3-540-95891-8
Copyright2009
ISBN978-3-540-95890-1
Subject CollectionComputer Science
SpringerLink DateFriday, January 23, 2009
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
58 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | Next
Front Matter

Front MatterPDF (3.9 MB)

  
Chapter
A New Analysis of Expected Revenue
Combinatorial and Simultaneous Auctions
Arne Andersson and Jim Wilenius
DOI: 10.1007/978-3-540-95891-8_1
Full TextPDF (56.8 KB)
 1-2
Chapter
Can Component/Service-Based Systems Be Proved Correct?
Christian Attiogbé
DOI: 10.1007/978-3-540-95891-8_2
Full TextPDF (203.0 KB)
 3-18
Chapter
Probabilistic Acceptors for Languages over Infinite Words
Christel Baier, Nathalie Bertrand and Marcus Größer
DOI: 10.1007/978-3-540-95891-8_3
Full TextPDF (297.6 KB)
 19-33
Chapter
Automatic Verification of Heap Manipulation Using Separation Logic
Josh Berdine
DOI: 10.1007/978-3-540-95891-8_4
Full TextPDF (30.2 KB)
 34
Chapter
Technology Diffusion in Social Networks
The Role of Compatibility
Nicole Immorlica
DOI: 10.1007/978-3-540-95891-8_5
Full TextPDF (74.5 KB)
 35-36
Chapter
Service Oriented Architecture Pitfalls
Radovan Janeček
DOI: 10.1007/978-3-540-95891-8_6
Full TextPDF (116.6 KB)
 37-45
Chapter
Algorithms for Solving Infinite Games
Marcin Jurdziński
DOI: 10.1007/978-3-540-95891-8_7
Full TextPDF (67.1 KB)
 46-48
Chapter
Randomness and Determination, from Physics and Computing towards Biology
Giuseppe Longo
DOI: 10.1007/978-3-540-95891-8_8
Full TextPDF (288.4 KB)
 49-61
Chapter
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
David C. Parkes
DOI: 10.1007/978-3-540-95891-8_9
Full TextPDF (113.5 KB)
 62-66
Chapter
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
Suzana Andova and Sonja Georgievska
DOI: 10.1007/978-3-540-95891-8_10
Full TextPDF (281.4 KB)
 67-78
Back Matter

Back MatterPDF (37.0 KB)

  
58 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | Next
more options
Find


Starts With
58 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.110 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)