Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
Ferreira / Menghi / Mendes Formal Methods Teaching
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91549-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodaya Logic and Its Applications
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-36038-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohlbach / Gabbay Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58241-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
San Pietro / Dubois Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-27533-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dybjer / Smith / Nordström Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60579-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wehrheim / Ahrendt Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22¿23, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-50994-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
S. / Banerjee Logic and Its Applications
6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-662-45823-5Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhu / Wang Computing and Combinatorics
24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94775-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eremeev / Khachay / Pardalos Mathematical Optimization Theory and Operations Research
23rd International Conference, MOTOR 2024, Omsk, Russia, June 30¿July 6, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-62791-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shostak 7th International Conference on Automated Deduction
Proceedings1984Verlag: SpringerISBN: 978-0-387-96022-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Apostolico / Manber / Crochemore Combinatorial Pattern Matching
Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56024-1Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peters / Skowron / Wang Transactions on Rough Sets XVI
2013Verlag: SpringerISBN: 978-3-642-36504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Queiroz / Ong Logic, Language, Information, and Computation
2. Auflage 2012Verlag: SpringerISBN: 978-3-642-32620-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganesalingam The Language of Mathematics
A Linguistic and Philosophical Investigation2013Verlag: SpringerISBN: 978-3-642-37011-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barneva / Wiederhold Combinatorial Image Analysis
13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-10208-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aalst / Best Applications and Theory of Petri Nets 2003
24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings2003Verlag: SpringerISBN: 978-3-540-40334-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kariv / Even Automata, Languages and Programming
Eighth Colloquium, Acre (Akko), Israel, July 13-17, 19811981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wood Grammar and L Forms
An Introduction1980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10233-5Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walsh / Bacchus Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barneva / Brimkov / Bhattacharya Combinatorial Image Analysis
17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26144-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud / Kaplan Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19242-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Main / Schmidt / Melton Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8¿10, 1987 Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Perrin / Nivat Automata on Infinite Words
Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 19841985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15641-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dau The Logic System of Concept Graphs with Negation
And Its Relationship to Predicate Logic2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20607-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tacchella / Giunchiglia Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20851-8Medium: 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