Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
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 -
Kleijn / Donatelli Application and Theory of Petri Nets 1999
20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66132-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lu / Kim / Du Combinatorial Optimization and Applications
9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26625-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Zhang / Gao Computing and Combinatorics
30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-961089-1Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Erdem / Schaub / Lin Logic Programming and Nonmonotonic Reasoning
10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04237-9Medium: Buch106,99 € (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 -
Groote / Bezem Typed Lambda Calculi and Applications
International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56517-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ben Yahia / Belohlavek / Mephu Nguifo Concept Lattices and Their Applications
Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78920-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bongiovanni / Di Battista / Bovet Algorithms and Complexity
Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62592-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melton Mathematical Foundation of Programming Semantics
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16816-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Habel Hyperedge Replacement: Grammars and Languages
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56005-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Urabe / Kano Discrete and Computational Geometry
Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67181-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58450-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bundy Automated Deduction - CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58156-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Glodeanu / Sacarea / Kaytoue Formal Concept Analysis
12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-07247-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thai / Dinh Computing and Combinatorics
22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42633-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Weaver / Heule Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24317-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Weber / Lafontaine / Simons The Generic Development Language Deva
Presentation and Case Studies1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57335-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics
9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58027-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Moral / Kruse Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57395-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huang / Adleman Algorithmic Number Theory
First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58691-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Studer Natural Language and Logic
International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53082-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Englert / Bienkowski / Bienkowski Approximation and Online Algorithms
22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-81395-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort