Advanced functional programming : 6th int. school, AFP 2008, Heijen, The Netherlands, May 2008 / P. Koopman, R. Plasmeijer, D. Swierstra (eds.)  |
| Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday / Eds. S. Aguzzoli et al |
Beauty is our business : a birthday salute to Edsger W. Dijkstra / edited by W.H.J. Feijen ... [et al.]  |
| Bower, A. F. Applied mechanics of solids |
| Breshears, C. The art of concurrency |
| Chess, B. Secure programming with static analysis |
| Das, S. Functional fractional calculus for system identification and controls |
| Domain modeling and the duration calculus : int. Training School, Shanghai, China, September 17-21, 2007 / C. W. George, Z. Liu, J. Woodcock (eds.) |
| From object-orientation to formal methods : essays in memory of Ole-Johan Dahl / O. Owe, S. Krogdahl, T. Lyche (Eds.) |
| Generative and transformational techniques in software engineering : int. summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 / R. Lämmel, J. Saraiva, J. Visser (eds.) |
| Generative and transformational techniques in software engineering II: int. summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 / R. Lämmel, J. Visser, J. Saraiva (eds.) |
| Goldreich, O. Computational complexity : a conceptual perspective |
| Handbook of graph grammars and computing by graph transformation. Vol. 1. Foundations / ed. by G. Rozenberg |
| Handbook of graph grammars and computing by graph transformation. Vol. 2. Applications, languages and tools / ed. by H. Ehrig et al. |
| Herlihy, M. The art of multiprocessor programming |
| Hindley, J. R. Lambda-calculus and combinators: an introduction |
| Language engineering and rigorous software development : int. Lernet Alfa summer school 2008, Piriapolis, Uruguay, February 24 - march 1, 2008, revised selected papers /Eds. A. Bove et al. |
| Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / D. Hutter, W. Stephan (eds.) |
| Müller-Olm, M. Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction |
| Müller-Olm, M. Variations on constants : flow analysis of sequential and parallel programs |
| Olderog, E.-R. Real-time systems : formal specification and automatic verification |
| Panangaden, P. Labelled Markov processes |
| Pilkey, O.H. The Corps and the shore |
Rhodes, J. Applications of automata theory and algebra : via the mathematical theory of complexity to biology, physics, physiology, philosophy, and games |
| Sakarovitch, J. Elements of automata theory |
| Shoham, Y. Multiagent systems : algorithmic, game-theoretic, and logical foundations |
| Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / J. Palsberg (ed.) |
| Sterling, L. The art of agent-oriented modeling |
| Suri, G. Certain ambiguity: a mathematical novel |
| Tetlow, P. The Web's awake : an introduction to the field of Web science and the concept of Web life |
The virtual battlefield : perspectives on cyber warfare / ed. by C. Czosseck and K. Geers |
| Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / J. Karhumäki, eds. |
| Yanofsky, N. S. Quantum computing for computer scientists |
