Ergebnisse filtern
-
- 134
-
- 10
- 111
- 7
- 6
-
- 1
- 11
- 109
- 13
-
- 134
- 2
-
- 134
-
- 134
- 3
-
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Dediu / Martin-Vide / Ionescu Language and Automata Theory and Applications
Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-00981-5Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort