Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
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 -
Böhm / Ausiello Automata, Languages and Programming
Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings1978Verlag: Springer Berlin HeidelbergISBN: 978-3-540-08860-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 -
Žerovnik / Kutten Structural Information and Communication Complexity
16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11475-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gansner / Eppstein Graph Drawing
17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11804-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Prade / Link Foundations of Information and Knowledge Systems
6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11828-9Medium: 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 -
Maheshwari / Govindarajan Algorithms and Discrete Applied Mathematics
Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29220-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krishnamurti / Ganguly Algorithms and Discrete Applied Mathematics
First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-14973-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Royer A Connotational Theory of Program Structure
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18253-5Medium: 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 -
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 -
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 -
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