Search alternatives:
computers » computer
Cover Image
Read Now

1
Published 2019
Springer International Publishing
Subjects: “...Computers, Special purpose...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Monotone Predicates in Boolean Formulae -- Smten: Automatic Translation of High-level Symbolic Computations...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Exclusion -- An Effective Characterization of Computability in Anonymous Networks -- Competitive Hill...”
Cover Image
Read Now

4
Published 2021
Springer Nature Singapore
Table of Contents: “...Computing -- Soft Computing -- General Computing -- Modelling...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Subjects: “...Computers, Special purpose...”
Cover Image
Read Now

6
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics -- Approximate...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software...”
Cover Image
Read Now

8
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs -- Verification Using Simulation...”
Cover Image
Read Now

9
Published 2021
Springer International Publishing
Table of Contents: “... Computation -- Bayesian Networks for Mood Prediction Using Unobtrusive Ecological Momentary Assessments -- A...”
Cover Image
Read Now

10
Published 2023
Springer Nature Switzerland
Table of Contents: “...Applications of Evolutionary Computation -- Analysis of Evolutionary Computation Methods: Theory...”
Cover Image
Read Now

11
Published 2024
Springer Nature Switzerland
Table of Contents: “...Applications of Evolutionary Computation: Finding Near-Optimal Portfolios With Quality-Diversity...”
Cover Image
Read Now

12
Published 2024
Springer Nature Switzerland
Table of Contents: “... and Deep Learning to Generate Diverse Intelligent Agents -- Vision Transformers for Computer Go...”
Cover Image
Read Now

13
Published 1996
Springer Berlin Heidelberg
Subjects: “...Computers, Special purpose...”
Cover Image
Read Now

14
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Probabilistic Validation of Computer System Survivability -- Timed Asynchronous...”
Cover Image
Read Now

15
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Autonomous Systems for Robotic Space Exploration -- Models of Computation and Simulation of Hybrid Systems...”
Cover Image
Read Now

16
Published 1998
Springer Berlin Heidelberg
Subjects: “...Computers, Special purpose...”
Cover Image
Read Now

17
Published 1995
Springer Berlin Heidelberg
Table of Contents: “..., assumption-commitment style reasoning and theorem proving -- CAVEAT: technique and tool for computer aided...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Computation in Infinite State Model Checking -- Abstraction II -- Thread-Modular Abstraction Refinement -- A...”
Cover Image
Read Now

19
Published 1997
Springer Berlin Heidelberg
Subjects: “...Computers, Special purpose...”
Cover Image
Read Now

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Traffic Management -- Managed Utility Computing: The Grid as Management Backplane -- Fault Injection...”