Mathematical theory of computation
Logical Approaches To Computational Barriers
Second Conference On Computability In Europe, Cie 2006, Swansea, Uk, June 30-July 5, 2006, Proceedings
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2006
Paperback, 623 pages
Deontic Logic And Artificial Normative Systems
8Th International Workshop On Deontic Logic In Computer Science, Deon 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2006
Paperback, 290 pages
Automata, Languages And Programming
33Rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ii
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2006
Paperback, 627 pages
Formal Techniques For Networked And Distributed Systems - Forte 2006
26Th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2006
Paperback, 498 pages
Knuth Donald E.:
The Art Of Computer Programming / Fascicle 1 (V. 1)
Mmix, A Risc Computer For The New Millennium
Pearson Education (Us) (United States), 2005
Paperback, 144 pages
Stenholm S., Suominen Kalle-Antti:
Quantum Approach To Informatics
John Wiley And Sons Ltd (United States), 2005
Hardback, 238 pages
Hesselink Wim H.:
Programs, Recursion And Unbounded Choice
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2005
Paperback, 240 pages
Olderog Ernst-Rudiger:
Nets, Terms And Formulas
Three Views Of Concurrent Processes And Their Relationship
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2005
Paperback, 280 pages








