Ergebnisse filtern
- Fachgebiet
- Medium
-
- 11967
- 1037
- Erscheinungsjahr
-
- 451
- 1017
- 879
- 574
- 517
- 476
- 523
- 412
- 438
- 449
- 441
- 421
- 455
- 477
- 481
- 413
- 351
- 335
- 346
- 280
- 400
- 340
- 295
- 283
- 208
- 194
- 172
- 150
- 149
- 132
- 119
- 104
- 80
- 103
- 67
- 75
- 53
- 54
- 41
- 33
- 23
- 18
- 23
- 31
- 22
- 15
- 10
- 14
- 12
- 17
- 16
- 7
- 1
- 1
- 1
- Autoren
-
- 6
- 4
- 5
- 4
- 7
- 4
- 4
- 4
- 5
- 27
- 5
- 7
- 4
- 4
- 18
- 7
- 4
- 8
- 4
- 7
- 4
- 4
- 5
- 6
- 4
- 4
- 5
- 5
- 6
- 6
- 16
- 5
- 5
- 4
- 5
- 6
- 4
- 15
- 12
- 6
- 16
- 4
- 6
- 4
- 4
- 6
- 8
- 5
- 6
- 5
- 9
- 6
- 5
- 7
- 4
- 14
- 7
- 4
- 5
- 26
- 6
- 4
- 23
- 36
- 5
- 7
- 6
- 4
- 6
- 5
- 4
- 4
- 6
- 7
- 6
- 5
- 5
- 6
- 5
- 4
- 5
- 5
- 7
- 5
- 4
- 8
- 5
- 11
- 39
- 5
- 5
- 4
- 4
- 5
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 7
- 14
- 4
- 4
- 10
- 4
- 4
- 10
- 6
- 28
- 8
- 4
- 6
- 5
- 5
- 11
- 4
- 6
- 17
- 5
- 6
- 7
- 4
- 4
- 6
- 8
- 5
- 6
- 4
- 9
- 4
- 6
- 10
- 4
- 5
- 9
- 8
- 6
- 19
- 6
- 6
- 14
- 7
- 16
- 8
- 5
- 5
- 4
- 8
- 4
- 4
- 4
- 19
- 4
- 4
- 10
- 4
- 8
- 11
- 7
- 20
- 10
- 8
- 6
- 4
- 4
- 10
- 4
- 4
- 5
- 5
- 10
- 10
- 4
- 7
- 14
- 4
- 7
- 6
- 8
- 6
- 7
- 17
- 5
- 8
- 4
- 11
- 4
- 4
- 6
- 39
- 17
- 11
- 4
- 11
- 4
- 11
- 6
- 13
- 4
- 8
- 4
- 4
- 8
- 4
- 6
- 4
- 5
- 4
- 8
- 12
- 10
- 18
- 13
- 5
- 8
- 9
- 9
- 12
- 5
- 5
- 9
- 13
- 24
- 8
- 18
- 5
- 14
- 10
- 7
- 6
- 6
- 6
- 20
- 10
- 13
- 5
- 5
- 8
- 19
- 6
- 5
- 39
- 5
- 5
- 5
- 7
- 9
- 15
- 6
- 8
- 13
- 5
- 10
- 7
- 8
- 16
- 8
- 10
- 10
- 7
- 5
- 6
- 6
- 5
- 7
- 7
- 7
- 7
- 5
- 5
- 13
- 9
- 9
- 8
- 9
- 6
- 32
- 5
- 7
- 5
- 5
- 9
- 8
- 5
- 10
- 7
- 51
- 30
- 8
- 8
- 5
- 7
- 11
- 15
- 7
- 18
- 12
- 5
- 7
- 6
- 6
- 11
- 21
- 11
- 5
- 5
- 6
- 8
- 7
- 5
- 45
- 7
- 6
- 9
- 9
- 10
- 13
- 9
- 6
- 6
- 8
- 8
- 12
- 16
- 6
- 5
- 5
- 6
- 7
- 8
- 11
- 7
- 5
- 6
- 10
- 13
- 23
- 8
- 10
- 23
- 8
- 24
- 5
- 14
- 22
- 29
- 9
- 6
- 7
- 62
- 8
- 8
- 6
- 5
- 6
- 8
- 8
- 14
- 5
- 6
- 7
- 5
- 6
- 6
- 10
- 16
- 6
- 8
- 5
- 21
- 6
- 9
- 12
- 5
- 16
- 39
- 6
- 5
- 9
- 5
- 5
- 14
- 6
- 9
- 39
- 18
- 12
- 7
- 5
- 6
- 16
- 14
- 6
- 10
- 5
- 18
- 44
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 24
- 14
- 5
- 5
- 5
- 8
- 13
- 6
- 7
- 17
- 6
- 7
- 6
- 5
- 11
- 9
- 15
- 11
- 7
- 5
- 6
- 13
- 5
- 5
- 5
- 8
- 6
- 8
- 13
- 9
- 13
- 5
- 6
- 20
- 6
- 5
- 6
- 5
- 12
- 7
- 12
- 9
- 6
- 12
- 8
- 5
- 7
- 13
- 7
- 10
- 8
- 8
- 6
- 5
- 8
- 6
- 6
- 15
- 12
- 17
- 6
- 6
- 6
- 13
- 14
- 6
- 9
- 10
- 16
- 5
- 6
- 7
- 12
- 7
- 11
- 9
- 17
- 7
- 12
- 14
- 6
- 15
- 7
- 16
- 6
- 12
- 7
- 6
- 7
- 5
- 19
- 33
- 12
- 10
- 22
- 27
- 11
- 10
- 6
- 12
- 8
- 9
- 8
- 6
- 6
- 7
- 7
- 11
- 5
- 7
- 8
- 15
- 9
- 14
- 6
- 6
- 5
- 49
- 7
- 10
- 7
- 12
- 8
- 5
- 5
- 6
- 6
- 6
- 10
- 9
- 22
- 8
- 9
- 19
- 5
- 14
- 49
- 5
- 10
- 7
- 32
- 8
- 13
- 5
- 6
- 5
- 5
- 7
- 5
- 8
- 9
- 7
- 16
- 13
- 7
- 12
- 5
- 8
- 6
- 7
- 6
- 8
- 5
- 19
- 29
- 20
- 6
- 6
- 7
- 6
- 19
- 7
- 6
- 8
- 5
- 5
- 10
- 8
- 5
- 6
- 12
- 5
- 6
- 18
- 5
- 9
- 8
- 9
- 5
- 5
- 10
- 5
- 13
- 6
- 36
- 6
- 6
- 9
- 5
- 10
- 5
- 5
- 6
- 6
- 15
- 5
- 7
- 6
- 9
- 10
- 32
- 6
- 10
- 11
- 10
- 8
- 53
- 10
- 47
- 6
- 6
- 7
- 5
- 11
- 7
- 8
- 5
- 13
- 8
- 49
- 13
- 5
- 5
- 8
- 7
- 6
- 6
- 12
- 5
- 8
- 8
- 6
- 12
- 5
- 5
- 7
- 5
- 14
- 11
- 5
- 6
- 5
- 7
- 7
- 5
- 17
- 5
- 6
- 21
- 19
- 5
- 5
- 10
- 13
- 9
- 6
- 11
- 17
- 5
- 6
- 16
- 25
- 17
- 5
- 5
- 14
- 14
- 17
- 5
- 5
- 11
- 7
- 9
- 6
- 7
- 20
- 8
- 13
- 6
- 19
- 11
- 13
- 11
- 7
- 6
- 14
- 11
- 5
- 8
- 9
- 5
- 5
- 8
- 5
- 8
- 16
- 8
- 5
- 8
- 5
- 14
- 19
- 8
- 10
- 5
- 18
- 19
- 10
- 6
- 6
- 6
- 11
- 20
- 6
- 11
- 11
- 9
- 7
- 8
- 10
- 8
- 6
- 9
- 5
- 6
- 9
- 23
- 5
- 7
- 10
- 28
- 10
- 10
- 9
- 6
- 20
- 9
- 6
- 58
- 8
- 5
- 14
- 11
- 17
- 7
- 15
- 9
- 20
- 17
- 6
- 5
- 5
- 5
- 9
- 6
- 12
- 5
- 5
- 10
- 15
- 9
- 6
- 12
- 9
- 12
- 17
- 5
- 11
- 6
- 6
- 5
- 10
- 8
- 7
- 10
- 7
- 5
- 5
- 6
- 10
- 6
- 5
- 11
- 13
- 11
- 6
- 5
- 7
- 6
- 20
- 7
- 7
- 5
- 9
- 8
- 6
- 8
- 22
- 6
- 8
- 6
- 10
- 5
- 6
- 17
- 16
- 38
- 9
- 17
- 11
- 5
- 5
- 5
- 5
- 12
- 14
- 5
- 7
- 23
- 10
- 43
- 18
- 10
- 10
- 5
- 18
- 5
- 6
- 7
- 9
- 8
- 5
- 6
- 7
- 12
- 17
- 7
- 6
- 8
- 23
- 15
- 12
- 19
- 42
- 7
- 23
- 22
- 9
- 6
- 17
- 13
- 5
- 20
- 51
- 5
- 8
- 15
- 6
- 20
- 26
- 7
- 20
- 6
- 5
- 10
- 6
- 7
- 9
- 7
- 6
- 8
- 5
- 5
- 7
- 17
- 6
- 9
- 5
- 6
- 7
- 6
- 5
- 8
- 6
- 19
- 8
- 7
- 31
- 13
- 6
- 9
- 7
- 6
- 13
- 13
- 6
- 7
- 12
- 19
- 6
- 18
- 66
- 11
- 11
- 12
- 5
- 18
- 5
- 11
- 9
- 5
- 18
- 7
- 5
- 7
- 24
- 7
- 12
- 5
- 5
- 7
- 7
- 11
- 5
- 5
- 10
- 5
- 10
- 31
- 6
- 16
- 7
- 6
- 8
- 18
- 8
- 20
- 25
- 5
- 15
- 5
- 9
- 22
- 8
- 15
- 5
- 8
- 5
- 5
- 6
- 8
- 5
- 5
- 6
- 8
- 41
- 9
- 6
- 25
- 18
- 7
- 7
- 19
- 43
- 42
- 11
- 15
- 10
- 17
- 14
- 7
- 9
- 15
- 15
- 19
- 10
- 11
- 8
- 6
- 6
- 6
- 5
- 11
- 21
- Verlag
-
- 2
- 1
- 2
- 1
- 1
- 1
- 5
- 8
- 1
- 9
- 1
- 4
- 5
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 9
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 2666
- 3817
- 16
- 3874
- 2
- 1
- 1
- 567
- 975
- 21
- 67
- 261
- 4
- 26
- 11
- 3
- 6
- 570
- 1
- 3
- 1
- 2
- 6
- 2
- 1
- 5
- 1
- 1
- 5
- 1
- 1
- 3
- Preis
-
- 61
- 450
- 8571
- 3922
- Sprachen
-
- 12996
- 22
- 21
- Verfügbarkeit
-
- 12773
- 231
- Eigenschaften
-
- 12
- Katalog
-
- 13004
- 789
-
Hajek Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics
Lecture Notes in Logic 61. Auflage 2001Verlag: Taylor & Francis IncISBN: 978-1-56881-153-6Medium: Buch57,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage57,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Swart Relational Methods in Computer Science
6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16¿21, 2001 Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00315-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kahle / Stärk / Schroeder-Heister Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42752-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bonsangue Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers2014Verlag: SpringerISBN: 978-3-662-44123-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kuich / Rahonis Algebraic Foundations in Computer Science
2011Verlag: SpringerISBN: 978-3-642-24896-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
MacCaull / Winter / Düntsch Relational Methods in Computer Science
2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-33339-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Agotnes / Elgesem / Broersen Deontic Logic in Computer Science
11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-31569-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mousavi / Sgall Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings1. Auflage 2017Verlag: Springer-Verlag GmbHISBN: 978-3-319-68952-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van der Meyden / van der Torre Deontic Logic in Computer Science
9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-70524-6Medium: Buch74,89 € (inkl. MwSt.)
Kurzfristig nicht lieferbar74,89 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Restivo / Roversi / Ronchi Della Rocca Theoretical Computer Science
7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42672-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Goldreich / Rosenberg / Selman Theoretical Computer Science
2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-32880-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weihrauch Theoretical Computer Science
4th GI Conference Aachen, March 26-28, 19791979Verlag: Springer Berlin HeidelbergISBN: 978-3-540-09118-9Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Meinke / Gurevich Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58277-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tzschach / Walter / Waldschmidt Theoretical Computer Science
3rd GI Conference Darmstadt, March 28-30, 19771977Verlag: Springer Berlin HeidelbergISBN: 978-3-540-08138-8Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thomas / Nielsen Computer Science Logic
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64570-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bjørner / Barzdins Baltic Computer Science
Selected Papers1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54131-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zanasi / Hansen Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-10735-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Preuß / Herrlich Categorical Methods in Computer Science
With Aspects from Topology1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51722-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Noltemeier Graphtheoretic Concepts in Computer Science
Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 19801981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10291-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28231-0Medium: 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 -
Grädel / Kahle Computer Science Logic
2009Verlag: SpringerISBN: 978-3-642-04026-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kriegel / Cremers Theoretical Computer Science
6th GI-Conference Dortmund, January 5-7, 19831982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11973-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Makowsky / Baaz Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40801-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort