Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 3424 Algorithmen & Datenstrukturen
- 369 Compiler
- 729 Datenbankprogrammierung
- 815 Funktionale, Logische, Parallele und Visuelle Programmierung
- 3048 Grafikprogrammierung
- 704 Handheld Programmierung
- 263 Macintosh Programmierung
- 939 Microsoft Programmierung
- 60 Netzwerkprogrammierung
- 720 Objektorientierte Programmierung
- 4813 Programmier- und Skriptsprachen
- 3453 Programmierung: Methoden und Allgemeines
- 1326 Prozedurale Programmierung
- 10239 Software Engineering
- 3397 Spiele-Programmierung, Rendering, Animation
- 392 Web Services
- 1906 Webprogrammierung
- Medium
-
- 23725
- 3003
- 58
- 26
- Erscheinungsjahr
-
- 3
- 74
- 957
- 1686
- 1442
- 1252
- 1143
- 1235
- 1236
- 1466
- 983
- 1054
- 802
- 1025
- 933
- 1179
- 695
- 1413
- 661
- 695
- 775
- 731
- 667
- 570
- 584
- 478
- 443
- 328
- 281
- 257
- 246
- 225
- 167
- 147
- 150
- 102
- 129
- 88
- 82
- 65
- 54
- 40
- 31
- 21
- 19
- 24
- 25
- 17
- 14
- 5
- 7
- 6
- 7
- 6
- 4
- 5
- 5
- 3
- 1
- 1
- 1
- 1
- Autoren
-
- 6
- 7
- 4
- 14
- 14
- 4
- 6
- 8
- 5
- 7
- 4
- 11
- 14
- 4
- 10
- 5
- 4
- 9
- 7
- 4
- 4
- 7
- 7
- 6
- 8
- 4
- 4
- 14
- 5
- 9
- 4
- 4
- 10
- 4
- 4
- 9
- 4
- 5
- 5
- 10
- 29
- 4
- 12
- 4
- 6
- 7
- 5
- 4
- 4
- 10
- 8
- 5
- 4
- 6
- 4
- 4
- 6
- 4
- 6
- 15
- 16
- 4
- 4
- 5
- 11
- 5
- 4
- 31
- 4
- 5
- 4
- 9
- 8
- 6
- 4
- 4
- 4
- 5
- 10
- 4
- 8
- 4
- 7
- 5
- 8
- 4
- 8
- 4
- 6
- 19
- 13
- 9
- 6
- 4
- 13
- 17
- 9
- 4
- 5
- 4
- 7
- 5
- 4
- 5
- 9
- 5
- 10
- 4
- 20
- 10
- 4
- 8
- 17
- 25
- 22
- 4
- 6
- 5
- 17
- 4
- 5
- 4
- 10
- 5
- 4
- 4
- 4
- 7
- 4
- 11
- 4
- 7
- 4
- 10
- 7
- 6
- 19
- 13
- 8
- 4
- 12
- 7
- 5
- 4
- 4
- 19
- 6
- 13
- 9
- 4
- 5
- 5
- 6
- 4
- 4
- 6
- 36
- 7
- 6
- 6
- 6
- 13
- 6
- 5
- 12
- 20
- 5
- 10
- 6
- 7
- 5
- 10
- 5
- 14
- 102
- 7
- 9
- 5
- 7
- 7
- 5
- 11
- 5
- 5
- 9
- 7
- 12
- 7
- 5
- 5
- 6
- 6
- 5
- 6
- 5
- 16
- 5
- 5
- 5
- 5
- 7
- 5
- 5
- 5
- 5
- 16
- 5
- 10
- 7
- 6
- 5
- 6
- 5
- 20
- 9
- 7
- 9
- 5
- 13
- 10
- 7
- 9
- 10
- 5
- 5
- 11
- 6
- 7
- 6
- 13
- 6
- 11
- 5
- 22
- 5
- 7
- 9
- 20
- 15
- 8
- 6
- 7
- 14
- 5
- 6
- 5
- 5
- 9
- 11
- 7
- 56
- 26
- 6
- 7
- 5
- 15
- 20
- 9
- 7
- 12
- 5
- 21
- 6
- 5
- 5
- 6
- 10
- 23
- 22
- 9
- 5
- 5
- 31
- 6
- 5
- 6
- 7
- 5
- 6
- 8
- 5
- 8
- 5
- 7
- 12
- 14
- 6
- 9
- 15
- 15
- 33
- 5
- 5
- 9
- 6
- 5
- 6
- 7
- 35
- 12
- 9
- 17
- 12
- 6
- 10
- 7
- 5
- 6
- 7
- 8
- 12
- 6
- 6
- 43
- 9
- 12
- 6
- 7
- 7
- 11
- 8
- 8
- 5
- 9
- 5
- 6
- 10
- 5
- 5
- 9
- 5
- 13
- 5
- 5
- 7
- 6
- 5
- 8
- 10
- 6
- 7
- 12
- 5
- 5
- 5
- 9
- 5
- 8
- 5
- 16
- 6
- 9
- 7
- 8
- 5
- 9
- 5
- 8
- 18
- 5
- 10
- 7
- 5
- 6
- 7
- 5
- 10
- 8
- 7
- 5
- 6
- 11
- 6
- 10
- 7
- 7
- 10
- 5
- 6
- 18
- 10
- 8
- 17
- 7
- 17
- 6
- 6
- 5
- 15
- 8
- 12
- 11
- 16
- 21
- 7
- 7
- 11
- 5
- 10
- 5
- 5
- 8
- 6
- 5
- 7
- 5
- 5
- 5
- 5
- 7
- 10
- 9
- 5
- 5
- 5
- 5
- 7
- 5
- 13
- 5
- 5
- 13
- 5
- 5
- 5
- 6
- 5
- 5
- 18
- 5
- 5
- 11
- 11
- 6
- 10
- 5
- 11
- 17
- 7
- 5
- 5
- 7
- 19
- 5
- 13
- 9
- 8
- 8
- 34
- 12
- 7
- 7
- 11
- 5
- 5
- 7
- 8
- 7
- 8
- 15
- 5
- 5
- 7
- 10
- 13
- 8
- 6
- 6
- 12
- 5
- 13
- 8
- 6
- 6
- 7
- 7
- 10
- 22
- 11
- 9
- 11
- 5
- 11
- 5
- 5
- 5
- 11
- 9
- 5
- 61
- 7
- 9
- 6
- 7
- 14
- 5
- 5
- 5
- 7
- 12
- 5
- 5
- 5
- 8
- 6
- 10
- 11
- 7
- 12
- 5
- 9
- 5
- 5
- 8
- 6
- 7
- 6
- 7
- 8
- 18
- 6
- 5
- 16
- 6
- 7
- 5
- 8
- 6
- 7
- 11
- 12
- 8
- 10
- 32
- 11
- 24
- 6
- 7
- 14
- 7
- 11
- 7
- 7
- 7
- 13
- 18
- 9
- 7
- 12
- 6
- 36
- 8
- 13
- 5
- 6
- 6
- 6
- 11
- 5
- 5
- 7
- 11
- 5
- 8
- 9
- 9
- 5
- 5
- 5
- 5
- 5
- 12
- 10
- 24
- 7
- 6
- 6
- 6
- 5
- 6
- 10
- 5
- 5
- 20
- 27
- 6
- 5
- 8
- 8
- 5
- 5
- 7
- 9
- 5
- 6
- 24
- 11
- 6
- 6
- 5
- 6
- 12
- 5
- 6
- 5
- 7
- 7
- 7
- 7
- 6
- 18
- 5
- 14
- 8
- 11
- 9
- 7
- 12
- 11
- 32
- 12
- 9
- 6
- 8
- 7
- 10
- 12
- 5
- 6
- 9
- 6
- 8
- 6
- 5
- 9
- 5
- 7
- 5
- 7
- 6
- 6
- 5
- 6
- 5
- 6
- 7
- 6
- 14
- 6
- 5
- 7
- 11
- 9
- 8
- 10
- 5
- 13
- 6
- 7
- 5
- 7
- 6
- 8
- 9
- 5
- 6
- 7
- 15
- 5
- 6
- 30
- 10
- 13
- 19
- 17
- 10
- 8
- 5
- 17
- 12
- 13
- 7
- 6
- 12
- 10
- 12
- 6
- 6
- 8
- 5
- 7
- 10
- 11
- 5
- 10
- 5
- 5
- 8
- 8
- 6
- 5
- 15
- 6
- 5
- 6
- 9
- 9
- 10
- 5
- 13
- 6
- 7
- 11
- 11
- 6
- 9
- 9
- 19
- 11
- 9
- 6
- 9
- 5
- 5
- 5
- 6
- 8
- 7
- 6
- 6
- 14
- 5
- 5
- 7
- 5
- 7
- 14
- 8
- 9
- 9
- 11
- 6
- 8
- 5
- 8
- 7
- 7
- 5
- 23
- 6
- 9
- 7
- 10
- 7
- 6
- 7
- 5
- 51
- 5
- 11
- 6
- 22
- 5
- 5
- 9
- 5
- 15
- 5
- 12
- 5
- 16
- 5
- 7
- 10
- 5
- 5
- 5
- 9
- 11
- 6
- 16
- 7
- 6
- 8
- 5
- 10
- 12
- 5
- 5
- 14
- 5
- 5
- 10
- 5
- 5
- 5
- 8
- 6
- 7
- 8
- 10
- 10
- 5
- 7
- 5
- 5
- 8
- 10
- 6
- 14
- 5
- 16
- 8
- 6
- 8
- 7
- 28
- 39
- 12
- 6
- 6
- 6
- 7
- 7
- 5
- 9
- 5
- 9
- 20
- 30
- 7
- 6
- 15
- 5
- 9
- 20
- 6
- 7
- 5
- 5
- 13
- 7
- 6
- 6
- 7
- 5
- 7
- 10
- 7
- 40
- 10
- 7
- 5
- 6
- 7
- 11
- 7
- 5
- 7
- 5
- 5
- 9
- 20
- 7
- 5
- 5
- 7
- 5
- 5
- 11
- 9
- 40
- 14
- 5
- 5
- 5
- 20
- 12
- 20
- 6
- 17
- 14
- 10
- 6
- 7
- 17
- 8
- 7
- 6
- 5
- 8
- 8
- 8
- 5
- 6
- 6
- 10
- 7
- 6
- 7
- 13
- 11
- 9
- 5
- 5
- 7
- 8
- 7
- 12
- 5
- 8
- 7
- 5
- 14
- 12
- 14
- 23
- 10
- 5
- 5
- 5
- 10
- 23
- 6
- 12
- 8
- 6
- 6
- 7
- 5
- 15
- 7
- 7
- 9
- 12
- 8
- 6
- 7
- 26
- 5
- 6
- 5
- 7
- 6
- 5
- 15
- 5
- 6
- 11
- 7
- 8
- 8
- 7
- 5
- 15
- 6
- 17
- 9
- 9
- 8
- 21
- 11
- 6
- 9
- 19
- 5
- 7
- 5
- 16
- 5
- 9
- 5
- 18
- 6
- 13
- 7
- 18
- 5
- 10
- 5
- 8
- 12
- 5
- 9
- 8
- 8
- 6
- 5
- 22
- 11
- 5
- 6
- 8
- 8
- 5
- 7
- 7
- 6
- 9
- 10
- Verlag
-
- 1
- 5
- 139
- 13
- 11
- 1
- 1
- 4
- 1
- 4
- 1
- 54
- 12
- 3038
- 19
- 7
- 12
- 23
- 4
- 12
- 8
- 303
- 3
- 1
- 18
- 2
- 6
- 26
- 7
- 1
- 5
- 3
- 3
- 4
- 8
- 220
- 1
- 2
- 1
- 207
- 1
- 872
- 2
- 17
- 1476
- 2397
- 1
- 24
- 1
- 6
- 9
- 1
- 8
- 1
- 88
- 151
- 9
- 1
- 2
- 2
- 1
- 7
- 1
- 1
- 7
- 12
- 120
- 87
- 1
- 1
- 11
- 45
- 1
- 1
- 1
- 1
- 16
- 1
- 6
- 3
- 2
- 13
- 15
- 12
- 87
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 39
- 1
- 8
- 2
- 1
- 1
- 1
- 38
- 2
- 1
- 1
- 1
- 1
- 2
- 36
- 39
- 6
- 3
- 4
- 4
- 2
- 56
- 3
- 1
- 6
- 22
- 14
- 12
- 2
- 1
- 83
- 23
- 1
- 4
- 1
- 9
- 7
- 8
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 4
- 3
- 2
- 1
- 1
- 3
- 7
- 20
- 1
- 1
- 2
- 1
- 4
- 7
- 1
- 5
- 8
- 3
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 20
- 2
- 1
- 19
- 2
- 3
- 3
- 1
- 1
- 1
- 2
- 5
- 33
- 166
- 32
- 115
- 2
- 2
- 4
- 3
- 9
- 1
- 1
- 5
- 2
- 5
- 1
- 2
- 4
- 18
- 4
- 5133
- 3442
- 14
- 2278
- 18
- 6
- 11
- 449
- 768
- 2
- 313
- 1
- 267
- 859
- 58
- 7
- 71
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 3
- 1
- 470
- 1
- 126
- 554
- 22
- 1
- 1
- 1
- 1
- 27
- 1
- 18
- 1
- 9
- 2
- 2
- 1
- 2
- 1
- 1
- 23
- 1
- 2
- 1
- 4
- 305
- 6
- 12
- 4
- 1
- 1
- 1
- 1
- 542
- 15
- 30
- 3
- 2
- 5
- 70
- 63
- 4
- 1
- 8
- 7
- Preis
-
- 896
- 5123
- 12104
- 8689
- Sprachen
-
- 24466
- 2349
- 17
- 9
- 1
- 1
- 1
- Verfügbarkeit
-
- 26431
- 381
- Eigenschaften
-
- 19
- 5
- Katalog
-
- 26812
- 2778
-
Namjoshi / Okamura / Yoneda Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Elgammal / Klette / Rosenhahn Human Motion - Understanding, Modeling, Capture and Animation
Second Workshop, HumanMotion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75702-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhou / Gong / Zhao Analysis and Modeling of Faces and Gestures
Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75689-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yagi / Zha / Kang Computer Vision - ACCV 2007
8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-76389-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lawry / Ralescu / Shanahan Modelling with Words
Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20487-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jin / Wang Fuzzy Systems and Knowledge Discovery
Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28331-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Freivalds / Arge Algorithm Theory - SWAT 2006
10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35753-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yasinsac / Burmester Secure Mobile Ad-hoc Networks and Sensors
First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-36646-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barker-Plummer / Swoboda / Cox Diagrammatic Representation and Inference
4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35623-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lee / Kuwabara Intelligent Agents and Multi-Agent Systems
5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44026-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Alpigini / Zhong / Peters Rough Sets and Current Trends in Computing
Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44274-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Yao / Liu Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-14040-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nieuwenhuis Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gibbons / Rao / Abdelzaher Distributed Computing in Sensor Systems
Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35227-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Black ECOOP 2005 - Object-Oriented Programming
19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27992-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Li / Dong / Wang Advanced Data Mining and Applications
First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27894-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Egly / Fermüller / Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 - August 1, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43929-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tambe / Meyer Intelligent Agents VIII
8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43858-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / Vardi Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20101-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Birk / Tadokoro / Coradeschi RoboCup 2001: Robot Soccer World Cup V
2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43912-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Andreasen / Larsen / Christiansen Flexible Query Answering Systems
Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65082-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nehaniv Computation for Metaphors, Analogy, and Agents
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65959-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
An / Slezak / Matwin Foundations of Intelligent Systems
17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68122-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Miculan / Honsell / Scagnetto Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68084-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Comon-Lundh / Kirchner Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73146-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort