Search Results - "Theory of Computation."

1

Algoritmi Lo spirito dell'informatica / by David Harel, Yishai Feldman.

by Harel, David., Harel, David., Feldman, Yishai.
Published 2008

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

2

Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke.

by Petke, Justyna., Petke, Justyna.
Published 2015

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

3

An Introduction to Online Computation Determinism, Randomization, Advice / by Dennis Komm.

by Komm, Dennis., Komm, Dennis.
Published 2016

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

4

Computational Matter edited by Susan Stepney, Steen Rasmussen, Martyn Amos.

Published 2018

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

5

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information / by Ferdinando Cicalese.

by Cicalese, Ferdinando., Cicalese, Ferdinando.
Published 2013

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

6

Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments / by Fabian Lorig.

by Lorig, Fabian., Lorig, Fabian.
Published 2019

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

7

Grid-Based Problem Solving Environments IFIP TC2/WG2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Softw...

Published 2007

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

8

Linear Genetic Programming by Markus F. Brameier, Wolfgang Banzhaf.

by Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Published 2007

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

9

Higher-Order Computability by John Longley, Dag Normann.

by Longley, John., Longley, John., Normann, Dag.
Published 2015

Table of Contents: '; “...Introduction and Motivation -- Historical Survey -- Theory of Computability Models -- Theory...”
Get full text

10

Massively Multi-Agent Technology AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers /...

Published 2008

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

11

Graph Transformation for Software Engineers With Applications to Model-Based Development and Domain-Specific Language Engineering / by Reiko Heckel, Gabriele Taentzer.

by Heckel, Reiko., Heckel, Reiko., Taentzer, Gabriele.
Published 2020

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

12

Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings / edited by Ana L.C....

Published 2008

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

13

Complex Systems Design & Management Proceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design...

Published 2021

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

14

Formal Methods An Appetizer / by Flemming Nielson, Hanne Riis Nielson.

by Nielson, Flemming., Nielson, Flemming., Riis Nielson, Hanne.
Published 2019

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

15

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings / edited by Leszek Gąsieniec, Frank Wolter.

Published 2013

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

16

Constructivity and Computability in Historical and Philosophical Perspective edited by Jacques Dubucs, Michel Bourdeau.

Published 2014

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

17

Augmented Marked Graphs by King Sing Cheung.

by Cheung, King Sing., Cheung, King Sing.
Published 2014

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

18

Carl Adam Petri Life and Science / by Einar Smith.

by Smith, Einar., Smith, Einar.
Published 2015

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

19

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.

Published 2007

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

20

Artificial Markets Modeling Methods and Applications / edited by Andrea Consiglio.

Published 2007

Subjects: '; “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Get full text

Narrow Search