Ergebnisse filtern
-
- 302
-
- 302
-
- 1
- 10
- 256
- 35
-
- 302
- 2
-
- 302
-
- 302
- 3
-
Fermüller / Leitsch / Tammet Resolution Methods for the Decision Problem
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56732-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kott Automata, Languages and Programming
13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16761-7Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmid / Kuznets Structural Information and Communication Complexity
32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-91735-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iliopoulos / Smyth Combinatorial Algorithms
22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-25010-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peters / Skowron Transactions on Rough Sets XVII
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54755-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Li Theory and Applications of Models of Computation
18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings2024Verlag: SpringerISBN: 978-981-97-2339-3Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Basu / Mahjoub / Salazar González Combinatorial Optimization
8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-60923-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Champarnaud / Maurel / Ziadi Automata Implementation
Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66652-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stuckey Logic Programming
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43930-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hoos / Mitchell Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27829-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dowek Rewriting and Typed Lambda Calculi
Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08917-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakano / Xiao WALCOM: Algorithms and Computation
19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962844-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Matuschke / Verschae Approximation and Online Algorithms
23rd International Workshop, WAOA 2025, Warsaw, Poland, September 18-19, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06705-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eremeev / Khachay / Kochetov Mathematical Optimization Theory and Operations Research
23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-62791-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Khachay / Kochetov / Eremeev Mathematical Optimization Theory and Operations Research
22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35304-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganesalingam The Language of Mathematics
A Linguistic and Philosophical Investigation1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37011-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peters / Skowron / Ramanna Transactions on Rough Sets XVI
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kushilevitz / Malkin Theory of Cryptography
13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49098-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lu / Kim / Wu Combinatorial Optimization and Applications
9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26625-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Elbassioni / Makino Algorithms and Computation
26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48970-3Medium: Buch94,16 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Endrullis / Tichy Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94705-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Fomin Parameterized and Exact Computation
4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11268-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gamard / Leroy Combinatorics on Words
15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97547-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dau The Logic System of Concept Graphs with Negation
And Its Relationship to Predicate Logic1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20607-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers1. Auflage 2004Verlag: SpringerISBN: 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