008 |
|
100814s2010 gw s j eng d |
020 |
|
|a9783642151552 (electronic bk.)
|
020 |
|
|a9783642151545 (paper)
|
050 |
04
|
|aQA76.76.I57|bJ68 2010
|
082 |
04
|
|a006.3|222
|
090 |
|
|aQA76.76.I57|bS989 2010
|
111 |
2
|
|aSymposium on Mathematical Foundations of Computer Science (1972- )|n(35th :|d2010 :|cBrno, Czech Republic)
|
245 |
10
|
|aMathematical foundations of computer science 2010|h[electronic resource] :|b35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /|cedited by Petr Hlineny, Antonin Kucera.
|
246 |
30
|
|aMFCS 2010
|
260 |
|
|aBerlin, Heidelberg :|bSpringer-Verlag Berlin Heidelberg,|c2010.
|
300 |
|
|axvii, 714 p. :|bill., digital ;|c24 cm.
|
440 |
0
|
|aLecture notes in computer science,|x0302-9743 ;|v6281
|
650 |
0
|
|aComputer science|xMathematics|vCongresses.
|
650 |
0
|
|aComputer logic|vCongresses.
|
650 |
14
|
|aComputer Science.
|
650 |
24
|
|aAlgorithm Analysis and Problem Complexity.
|
650 |
24
|
|aDiscrete Mathematics in Computer Science.
|
650 |
24
|
|aComputation by Abstract Devices.
|
650 |
24
|
|aData Structures.
|
650 |
24
|
|aMathematical Logic and Formal Languages.
|
650 |
24
|
|aLogics and Meanings of Programs.
|
700 |
1
|
|aHlineny, Petr.
|
700 |
1
|
|aKucera, Antonin.
|
710 |
2
|
|aSpringerLink (Online service)
|
773 |
0
|
|tSpringer eBooks
|
856 |
40
|
|uhttp://dx.doi.org/10.1007/978-3-642-15155-2
|
950 |
|
|aComputer Science (Springer-11645)
|