Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
Bert / Robinson / Bowen ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohsuga / Zhong New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66645-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desel / Rozenberg / Reisig Lectures on Concurrency and Petri Nets
Advances in Petri Nets2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22261-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Weber / Reisig Petri Net Technology for Communication-Based Systems
Advances in Petri Nets2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20538-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Rozenberg / Juhas Unifying Petri Nets
Advances in Petri Nets2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43067-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Sato / Hagiya Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aydinian / Deppe / Cicalese Information Theory, Combinatorics, and Search Theory
In Memory of Rudolf Ahlswede2013Verlag: SpringerISBN: 978-3-642-36898-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Paiva / de Queiroz / de Oliveira Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-47708-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leivant Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60178-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stephan / Hutter Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pulvirenti / Cantone From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55247-2Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Väänänen Generalized Quantifiers and Computation
9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66993-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Orejas / Diaz TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reif / Chen DNA Computing
9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20930-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vaccaro / Rescigno Combinatorial Algorithms
35th International Workshop, IWOCA 2024, Ischia, Italy, July 1¿3, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63020-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alt Computational Discrete Mathematics
Advanced Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42775-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kauers / Windsteiger / Kerber Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73083-5Medium: 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 -
Skyum / Schmidt Algorithm Theory - SWAT '94
4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58218-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Toupin / Miranker Accurate Scientific Computations
Symposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16798-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seeman / Jonoska DNA Computing
7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43775-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohuchi / Hagiya DNA Computing
8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00531-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Chen Theory and Applications of Models of Computation
18th Annual Conference, TAMC 2024, Hong Kong, China, May 13¿15, 2024, Proceedings2024Verlag: Springer Nature SingaporeISBN: 978-981-97-2339-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort