![book Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms](/covers/files_170/71000/2b1fc71012a371ee1dca6988313b6ee5-d.jpg)
- Author: Juraj Hromkovič
- Language: English
- Year: 2005
![book Complexity Theory and Cryptology: An Introduction to Cryptocomplexity](/covers/files_170/66000/dc36fd7f5f3ee00c623efff6ce52fcac-d.jpg)
- Author: Jörg Rothe
- Language: English
- Year: 2005
![book Grammatical Picture Generation: A Tree-Based Approach](/covers/files_170/62000/6369ddd7bf99ed4bdf35352c3663a463-d.jpg)
- Author: Frank Drewes
- Language: English
- Year: 2006
![book Abstract computing machines: a lambda calculus perspective](/covers/files_170/56000/dbbccd2c117c0cb4b19bd21bdb0eb341-d.jpg)
- Author: Werner Kluge
- Language: English
- Year: 2005
![book Modelling Distributed Systems](/covers/files_170/55000/873d1e453f5a0a950945576329d49668-d.jpg)
- Author: Wan Fokkink
- Language: English
- Year: 2007
![book Parameterized Complexity Theory](/covers/files_170/55000/cd33573400234e804b1627043ec6644f-d.jpg)
- Author: Jörg Flum Martin Grohe
- Language: English
- Year: 2006
![book Software Engineering 1: Abstraction and Modelling](/covers/files_170/54000/23f449cf675f8d89ffcab3a7c7f58b78-d.jpg)
- Author: Dines Bjørner
- Language: English
- Year: 2006
![book Software Engineering 2: Specification of Systems and Languages](/covers/files_170/54000/1593e5d3e10805a781e7f1de21726d6a-d.jpg)
- Author: Dines Bjørner
- Language: English
- Year: 2006
![book Software Engineering 3: Domains, Requirements, and Software Design](/covers/files_170/0/0506c4375d4add47aa386d2d0f8846d8-d.jpg)
- Author: Dines Bjørner
- Language: English
- Year: 2006