2005

Abstract computing machines : a lambda calculus perspective

Kluge, Werner (Werner E.)



 

2003

Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics

Hromkovič, Juraj, 1958-
Second edition
Berlin ; New York : Springer-Verlag, 2003

Request It 

2005

Complexity theory and cryptology : an introduction to cryptocomplexity

Rothe, Jörg.

Berlin ; New York : Springer, [2005]

Request It 

2005

Complexity theory and cryptology : an introduction to cryptocomplexity

Rothe, Jörg



 

2000

Computable analysis : an introduction

Weihrauch, K. (Klaus), 1943-

New York : Springer, [2000]

Request It 

2005

Design and analysis of randomized algorithms : introduction to design paradigms

Hromkovič, Juraj, 1958-



 

2005

Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

Hromkovic, Juraj



 

2007

Dissemination of information in optical networks : from technology to algorithms

Bandyopadhyay, Subir



 

2011

Extremal combinatorics : with applications in computer science

Jukna, Stasys, 1953-
2nd ed


 

2022

Formal methods for software engineering : languages, methods, application domains

Roggenbach, Markus, author.

Cham : Springer, [2022]

 

2006

Grammatical picture generation : a tree-based approach

Drewes, Frank



 

2009

Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks

 

2007

Modelling distributed systems

Fokkink, Wan, 1965-



 

2006

Parameterized complexity theory

Flum, Jörg.



 

2015

Petri net synthesis

Badouel, Eric, author

Berlin : Springer, 2015

 

2005

A practical theory of reactive systems : incremental modeling of dynamic behaviors

Kurki-Suonio, Reino



 

1996

Public-key cryptography

Salomaa, Arto.
Second, enlarged edition
Berlin ; New York : Springer, [1996]

Request It 

2006

Software engineering .

Bjørner, D. (Dines), 1937-



 

2006

Software engineering .

Bjørner, D. (Dines), 1937-



 

2006-

Software engineering.

Bjørner, D. (Dines), 1937-



 

2008

Temporal logic and state systems

Kröger, Fred, 1945-



 

2005

Universal artificial intelligence : sequential decisions based on algorithmic probability

Hutter, Marcus.