|
|
|
|
LEADER |
02312nmm a2200433 u 4500 |
001 |
EB000388616 |
003 |
EBX01000000000000000241669 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9783642276606
|
100 |
1 |
|
|a Bielikova, Maria
|e [editor]
|
245 |
0 |
0 |
|a SOFSEM 2012: Theory and Practice of Computer Science
|h Elektronische Ressource
|b 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings
|c edited by Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán
|
250 |
|
|
|a 1st ed. 2012
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2012, 2012
|
300 |
|
|
|a XVII, 674 p
|b online resource
|
653 |
|
|
|a Computer science—Mathematics
|
653 |
|
|
|a Computer Communication Networks
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Discrete Mathematics in Computer Science
|
653 |
|
|
|a Algorithms
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Database Management
|
653 |
|
|
|a Computer networks
|
653 |
|
|
|a Information retrieval
|
653 |
|
|
|a Discrete mathematics
|
653 |
|
|
|a Data Storage Representation
|
653 |
|
|
|a Database management
|
653 |
|
|
|a Computer architecture
|
700 |
1 |
|
|a Friedrich, Gerhard
|e [editor]
|
700 |
1 |
|
|a Gottlob, Georg
|e [editor]
|
700 |
1 |
|
|a Katzenbeisser, Stefan
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Theoretical Computer Science and General Issues
|
028 |
5 |
0 |
|a 10.1007/978-3-642-27660-6
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-27660-6?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 518.1
|
520 |
|
|
|a This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence
|