انتشارات Springer Cham
Automata and Computability
Dexter C. Kozen, 1997
Automata and Computability
Dexter C. Kozen, 1977
Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis, 2002
Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis, 2002
Chemometrics with R: Multivariate Data Analysis in the Natural Sciences and Life Sciences
Ron Wehrens (auth.), 2011
Chemometrics with R: Multivariate Data Analysis in the Natural Sciences and Life Sciences
Ron Wehrens (auth.), 2011
Chemometrics with R: Multivariate Data Analysis in the Natural Sciences and Life Sciences
Ron Wehrens (auth.), 2011
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Kurt Jensen, 1997
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Kurt Jensen, 1992
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Kurt Jensen, 1996
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Kurt Jensen, 1997
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Kurt Jensen, Lars M. Kristensen, 2009
Communication Complexity and Parallel Computing
Juraj Hromkovič, 1997
Communication Complexity and Parallel Computing
Juraj Hromkovič, 1997
Complexity and Real Computation
Lenore Blum, Felipe Cucker, Michael Shub, Steve Smale, 2012
Computability
Klaus Weihrauch, 1987
Computability and Complexity Theory
Steven Homer, Alan L. Selman, 2011
Computable Models
Raymond Turner, 2009
Confluent String Rewriting
Matthias Jantzen, 1988
Data Assimilation: Making Sense of Observations
William Lahoz, Boris Khattatov, Richard Ménard (auth.), William Lahoz, Boris Khattatov, Richard Menard (eds.), 2010
Data Manipulation with R (Use R)
Phil Spector, 2008
Data Mining and Multi-agent Integration
Longbing Cao (auth.), Longbing Cao (eds.), 2009
Data Structures and Algorithms 1: Sorting and Searching
Kurt Mehlhorn, 1984
Decision Procedures: An Algorithmic Point of View
Daniel Kroening, Ofer Strichman, 2008
