Ergebnisse filtern
-
- 46
-
- 22
- 7
- 16
- 1
-
- 1
- 42
- 3
-
- 46
-
- 46
-
- 46
-
Wolf / Franceschinis Applications and Theory of Petri Nets
30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Frappier / Glässer / Reeves Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11810-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zhao / Kleine Büning Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kullmann Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-02776-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Le Berre / Creignou Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Coecke / Panangaden / Ong Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
El Yacoubi / Bandini / Chopard Cellular Automata
7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40929-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehrig / Schürr / Rensink Graph Transformations
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-15927-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morrill / Richter / Muskens Formal Grammar
19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings2014Verlag: SpringerISBN: 978-3-662-44120-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jan / Froncek / Miller Combinatorial Algorithms
25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-19314-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nowotka / Manea Combinatorics on Words
10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23659-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gamboa / Klein Interactive Theorem Proving
5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08969-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Yan / Garzon DNA Computing
13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77961-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Iliopoulos / Smyth Combinatorial Algorithms
21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19221-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kaufmann / Paulson Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14051-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gudmundsson Algorithm Theory - SWAT 2008
11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-69900-2Medium: Buch99,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Blesa / Blum / Cangelosi Hybrid Metaheuristics
10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39635-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Toyama / Ito Developments in Language Theory
12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85779-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fiala / Miller / Kratochvil Combinatorial Algorithms
20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-10216-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
