Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10496
- 1117
- 249
- 24
- 1
- Erscheinungsjahr
-
- 18
- 363
- 540
- 504
- 643
- 581
- 759
- 674
- 489
- 535
- 419
- 455
- 490
- 624
- 326
- 556
- 194
- 210
- 132
- 153
- 136
- 116
- 141
- 136
- 161
- 141
- 117
- 133
- 126
- 119
- 103
- 103
- 89
- 81
- 61
- 69
- 44
- 44
- 44
- 32
- 33
- 30
- 34
- 18
- 51
- 38
- 32
- 24
- 27
- 28
- 28
- 33
- 33
- 18
- 36
- 19
- 16
- 15
- 21
- 9
- 18
- 10
- 7
- 3
- 6
- 9
- 3
- 7
- 11
- 8
- 6
- 1
- 6
- 8
- 8
- 9
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 6
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 3
- 2
- 9
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 15
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 3
- 4
- 5
- 7
- 20
- 7
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 7
- 3
- 5
- 41
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 6
- 6
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 3
- 14
- 5
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 3
- 14
- 33
- 4
- 4
- 4
- 5
- 3
- 9
- 17
- 6
- 5
- 3
- 3
- 3
- 3
- 26
- 3
- 3
- 6
- 3
- 4
- 6
- 6
- 3
- 8
- 3
- 8
- 3
- 4
- 8
- 4
- 3
- 5
- 3
- 3
- 4
- 4
- 4
- 8
- 3
- 36
- 5
- 3
- 4
- 3
- 15
- 3
- 3
- 6
- 5
- 4
- 3
- 3
- 7
- 3
- 9
- 4
- 4
- 3
- 3
- 16
- 20
- 6
- 3
- 5
- 5
- 6
- 3
- 3
- 8
- 5
- 5
- 6
- 5
- 3
- 5
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 7
- 6
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 4
- 5
- 4
- 3
- 4
- 8
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 6
- 6
- 8
- 3
- 3
- 4
- 9
- 4
- 9
- 3
- 4
- 9
- 4
- 3
- 6
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 7
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 7
- 5
- 3
- 3
- 5
- 9
- 3
- 3
- 3
- 4
- 9
- 22
- 3
- 4
- 3
- 3
- 6
- 3
- 3
- 3
- 7
- 5
- 10
- 3
- 3
- 4
- 4
- 8
- 7
- 3
- 4
- 8
- 13
- 6
- 3
- 3
- 4
- 4
- 3
- 7
- 3
- 3
- 9
- 3
- 3
- 3
- 4
- 3
- 4
- 5
- 4
- 4
- 3
- 10
- 5
- 4
- 6
- 4
- 3
- 4
- 3
- 10
- 3
- 5
- 3
- 14
- 10
- 3
- 9
- 6
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 12
- 3
- 5
- 3
- 5
- 6
- 3
- 7
- 8
- 3
- 4
- 9
- 11
- 4
- 3
- 4
- 28
- 5
- 4
- 5
- 3
- 3
- 4
- 4
- 4
- 5
- 5
- 4
- 71
- 5
- 16
- 3
- 3
- 5
- 3
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 6
- 6
- 4
- 9
- 4
- 3
- 3
- 6
- 12
- 5
- 4
- 4
- 3
- 8
- 5
- 6
- 5
- 5
- 6
- 5
- 5
- 4
- 5
- 4
- 4
- 5
- 4
- 3
- 4
- 4
- 3
- 7
- 4
- 3
- 3
- 4
- 6
- 5
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 35
- 6
- 4
- 3
- 4
- 4
- 4
- 13
- 4
- 4
- 3
- 10
- 7
- 7
- 16
- 5
- 4
- 9
- 3
- 3
- 3
- 3
- 3
- 6
- 12
- 5
- 4
- 3
- 6
- 7
- 3
- 3
- 3
- 10
- 4
- 6
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 4
- 12
- 11
- 3
- 3
- 4
- 5
- 4
- 8
- 4
- 4
- 6
- 14
- 3
- 4
- 4
- 6
- 3
- 12
- 8
- 33
- 3
- 3
- 5
- 5
- 55
- 16
- 3
- 7
- 4
- 14
- 3
- 5
- 5
- 3
- 3
- 4
- 5
- 4
- 4
- 4
- 4
- 6
- 4
- 3
- 3
- 4
- 3
- 27
- 4
- 3
- 3
- 3
- 6
- 5
- 4
- 6
- 5
- 12
- 5
- 4
- 34
- 6
- 3
- 4
- 5
- 3
- 4
- 4
- 5
- 5
- 4
- 5
- 8
- 4
- 8
- 8
- 23
- 4
- 4
- 5
- 4
- 4
- 3
- 4
- 9
- 3
- 5
- 4
- 12
- 3
- 13
- 6
- 4
- 5
- 5
- 7
- 4
- 13
- 4
- 10
- 3
- 4
- 57
- 4
- 5
- 5
- 3
- 3
- 3
- 7
- 4
- 9
- 4
- 4
- 3
- 5
- 4
- 12
- 4
- 7
- 4
- 4
- 8
- 5
- 3
- 3
- 4
- 26
- 5
- 8
- 10
- 4
- 6
- 3
- 15
- 4
- 3
- 3
- 6
- 7
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 6
- 4
- 4
- 4
- 5
- 17
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 4
- 32
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 19
- 55
- 4
- 4
- 8
- 13
- 4
- 11
- 12
- 4
- 16
- 11
- 17
- 4
- 3
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 53
- 3
- 4
- 4
- 4
- 5
- 5
- 4
- 4
- 3
- 4
- 6
- 3
- 26
- 3
- 7
- 7
- 5
- 4
- 9
- 9
- 8
- 3
- 3
- 4
- 7
- 10
- 9
- 7
- 4
- 4
- 4
- 7
- 6
- 5
- 5
- 4
- 5
- 3
- 4
- 3
- 3
- 10
- 3
- 5
- 7
- 5
- 5
- 37
- 6
- 3
- 26
- 6
- 19
- 4
- 3
- 3
- 4
- 3
- 3
- 7
- 6
- 18
- 5
- 7
- 8
- 3
- 29
- 9
- 3
- 20
- 3
- 6
- 4
- 3
- 3
- 11
- 19
- 12
- 5
- 5
- 4
- 3
- 4
- 3
- 4
- 5
- 17
- 4
- 3
- 3
- 4
- 7
- 7
- 5
- 4
- 5
- 4
- 3
- 29
- 14
- 7
- 4
- 4
- 8
- 3
- 4
- 4
- 3
- 13
- 7
- 3
- 5
- 3
- 6
- 4
- 10
- 3
- 10
- 3
- 6
- 16
- 3
- 8
- 3
- 9
- 4
- 3
- 3
- 4
- 5
- 6
- 11
- 6
- 16
- 13
- 3
- 3
- 7
- 9
- 9
- 5
- 4
- 5
- 4
- 5
- 7
- 7
- 4
- 4
- 8
- 5
- 5
- 6
- 3
- 3
- 3
- 3
- 18
- 3
- 4
- 4
- 3
- 5
- 3
- 14
- 5
- 11
- 8
- 6
- 19
- 3
- 7
- 4
- 53
- 4
- 14
- 5
- 5
- 4
- 13
- 5
- 5
- 9
- 3
- 4
- 6
- 3
- 4
- 24
- 19
- 14
- 8
- 32
- 22
- 8
- 19
- 4
- 5
- 8
- 3
- 4
- 4
- 8
- 6
- 5
- 4
- 3
- 4
- 3
- 16
- Verlag
-
- 11
- 1
- 2
- 4
- 2
- 8
- 4
- 4
- 4
- 1
- 1
- 3
- 11
- 1
- 10
- 9
- 1
- 9
- 1
- 1
- 2
- 1
- 6
- 2
- 49
- 77
- 1
- 150
- 1
- 2
- 1
- 1
- 44
- 4
- 2
- 3
- 38
- 4
- 57
- 1
- 6
- 1
- 2
- 7
- 491
- 31
- 2
- 1
- 2
- 28
- 1
- 3
- 1
- 2
- 5
- 3
- 10
- 304
- 1664
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 3
- 2
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 44
- 2
- 2
- 2
- 19
- 1
- 23
- 46
- 1
- 1
- 13
- 7
- 1
- 2
- 5
- 28
- 10
- 2
- 2
- 9
- 1
- 2
- 13
- 2
- 38
- 5
- 4
- 1
- 4
- 1
- 1
- 2
- 29
- 1
- 23
- 1
- 1
- 2
- 2
- 2
- 1
- 8
- 1
- 6
- 1
- 5
- 1
- 2
- 2
- 1
- 2
- 2
- 9
- 5
- 2
- 19
- 1
- 14
- 4
- 1
- 1
- 1
- 1
- 14
- 1
- 3
- 16
- 2
- 31
- 1
- 1
- 8
- 1
- 5
- 9
- 1
- 1
- 4
- 1
- 1
- 18
- 10
- 1
- 1
- 1
- 1
- 1
- 17
- 5
- 44
- 37
- 16
- 7
- 1
- 1
- 9
- 2
- 3
- 3
- 11
- 9
- 2
- 2
- 1
- 1
- 3
- 4
- 1
- 1
- 6
- 1
- 1
- 58
- 10
- 1
- 2
- 1
- 125
- 1
- 6
- 5
- 4
- 15
- 99
- 1
- 10
- 7
- 134
- 1
- 10
- 22
- 5
- 3
- 2
- 1
- 5
- 1
- 2
- 37
- 20
- 7
- 1
- 1
- 50
- 1
- 1
- 3
- 2
- 35
- 1
- 1
- 1
- 2
- 4
- 4
- 3
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 6
- 5
- 3
- 5
- 21
- 10
- 1972
- 589
- 12
- 1407
- 7
- 51
- 7
- 376
- 110
- 667
- 9
- 310
- 35
- 62
- 1
- 12
- 1
- 2
- 13
- 1
- 1
- 1
- 90
- 123
- 520
- 359
- 84
- 2
- 1
- 1
- 2
- 2
- 3
- 3
- 8
- 2
- 1
- 2
- 4
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 8
- 3
- 4
- 1
- 1
- 1
- 1
- 25
- 1
- 151
- 8
- 2
- 2
- 2
- 1
- 1
- 2
- 61
- 2
- 1
- 5
- 1
- 2
- 24
- 1
- 2
- 19
- 2
- 1
- 1
- 1
- 10
- 2
- Preis
-
- 749
- 1795
- 3409
- 5934
- Sprachen
-
- 9076
- 2534
- 467
- Verfügbarkeit
-
- 11572
- 315
- Eigenschaften
-
- 13
- Katalog
-
- 11887
- 487
-
Williams Instantiation Theory
On the Foundations of Automated Deduction1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rodriguez-Artalejo / Flum Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66536-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pitt / Curien / Rydeheard Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54495-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61208-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reisig / Billington Application and Theory of Petri Nets 1996
17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61363-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chabert A History of Algorithms
From the Pebble to the Microchip1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63369-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dershowitz Rewriting Techniques and Applications
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51081-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mycielski / Salomaa / Rozenberg Structures in Logic and Computer Science
A Selection of Essays in Honor of A. Ehrenfeucht1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63246-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63385-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Skyum / Schmidt Algorithm Theory - SWAT '94
4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58218-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58409-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Plotkin / Dezani-Ciancaglini Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jones / Sato / Hagiya Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lukose / Zhang Distributed Artificial Intelligence: Architecture and Modelling
First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61314-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Andersson Analysis of Dynamical and Cognitive Systems
Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Diaz / DeMichelis Application and Theory of Petri Nets 1995
16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60029-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cadoli Tractable Reasoning in Aritificial Intelligence
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60058-9Medium: 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