Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9311
- 278
- Erscheinungsjahr
-
- 247
- 641
- 504
- 271
- 311
- 301
- 316
- 306
- 282
- 349
- 340
- 303
- 313
- 386
- 322
- 310
- 298
- 288
- 288
- 245
- 377
- 314
- 263
- 257
- 188
- 176
- 161
- 142
- 147
- 123
- 113
- 98
- 71
- 87
- 58
- 61
- 45
- 49
- 33
- 27
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 4
- Autoren
-
- 6
- 4
- 5
- 4
- 7
- 4
- 4
- 4
- 5
- 6
- 4
- 4
- 12
- 4
- 4
- 4
- 5
- 6
- 5
- 5
- 4
- 4
- 4
- 11
- 6
- 4
- 5
- 8
- 5
- 6
- 5
- 6
- 5
- 7
- 4
- 14
- 5
- 26
- 6
- 4
- 35
- 5
- 7
- 5
- 5
- 4
- 4
- 6
- 6
- 6
- 5
- 5
- 6
- 5
- 4
- 4
- 5
- 7
- 5
- 4
- 39
- 5
- 5
- 4
- 4
- 6
- 4
- 6
- 4
- 8
- 4
- 7
- 4
- 4
- 10
- 4
- 4
- 6
- 8
- 4
- 5
- 5
- 5
- 4
- 6
- 5
- 6
- 4
- 4
- 4
- 6
- 5
- 9
- 4
- 10
- 4
- 6
- 9
- 4
- 6
- 18
- 7
- 7
- 4
- 14
- 8
- 7
- 6
- 6
- 4
- 9
- 4
- 5
- 4
- 16
- 5
- 4
- 4
- 10
- 6
- 4
- 9
- 4
- 4
- 4
- 6
- 21
- 11
- 7
- 6
- 5
- 5
- 11
- 4
- 4
- 4
- 5
- 5
- 5
- 6
- 4
- 7
- 7
- 4
- 11
- 5
- 5
- 4
- 8
- 8
- 6
- 4
- 9
- 8
- 17
- 6
- 5
- 4
- 5
- 4
- 6
- 4
- 5
- 4
- 4
- 6
- 4
- 4
- 4
- 39
- 18
- 10
- 4
- 12
- 5
- 7
- 5
- 5
- 8
- 9
- 4
- 6
- 5
- 7
- 5
- 5
- 6
- 10
- 5
- 5
- 15
- 4
- 4
- 4
- 4
- 6
- 12
- 5
- 4
- 5
- 5
- 5
- 10
- 5
- 7
- 5
- 5
- 6
- 5
- 7
- 4
- 4
- 4
- 4
- 6
- 4
- 5
- 4
- 7
- 4
- 5
- 15
- 11
- 5
- 7
- 7
- 5
- 6
- 20
- 4
- 11
- 12
- 8
- 4
- 4
- 5
- 7
- 4
- 5
- 4
- 5
- 4
- 8
- 20
- 5
- 4
- 7
- 6
- 4
- 4
- 39
- 5
- 4
- 4
- 4
- 7
- 7
- 4
- 5
- 11
- 10
- 4
- 5
- 5
- 5
- 5
- 5
- 10
- 13
- 8
- 13
- 5
- 7
- 4
- 4
- 4
- 14
- 8
- 5
- 12
- 10
- 5
- 5
- 7
- 7
- 7
- 4
- 4
- 7
- 5
- 6
- 13
- 4
- 9
- 5
- 6
- 5
- 4
- 6
- 5
- 5
- 4
- 4
- 10
- 7
- 4
- 50
- 30
- 7
- 8
- 5
- 10
- 7
- 18
- 12
- 4
- 4
- 10
- 21
- 4
- 4
- 4
- 5
- 4
- 5
- 4
- 4
- 4
- 7
- 45
- 7
- 4
- 4
- 9
- 9
- 10
- 4
- 8
- 4
- 4
- 6
- 4
- 4
- 6
- 8
- 4
- 4
- 4
- 12
- 16
- 4
- 5
- 5
- 5
- 4
- 4
- 4
- 5
- 4
- 4
- 5
- 4
- 6
- 7
- 6
- 23
- 4
- 22
- 4
- 4
- 22
- 25
- 7
- 63
- 8
- 6
- 6
- 4
- 5
- 8
- 4
- 11
- 5
- 8
- 7
- 6
- 6
- 10
- 6
- 4
- 8
- 4
- 4
- 5
- 4
- 6
- 7
- 12
- 4
- 5
- 39
- 5
- 9
- 4
- 4
- 5
- 4
- 16
- 4
- 9
- 39
- 4
- 12
- 4
- 6
- 15
- 4
- 4
- 7
- 4
- 35
- 4
- 4
- 5
- 5
- 5
- 5
- 12
- 4
- 5
- 5
- 4
- 13
- 4
- 6
- 7
- 13
- 6
- 4
- 7
- 6
- 4
- 7
- 6
- 4
- 14
- 11
- 6
- 6
- 13
- 5
- 5
- 5
- 7
- 13
- 4
- 9
- 5
- 19
- 6
- 4
- 5
- 6
- 5
- 4
- 7
- 12
- 9
- 5
- 7
- 14
- 4
- 4
- 4
- 4
- 10
- 4
- 8
- 6
- 5
- 8
- 4
- 7
- 15
- 4
- 12
- 17
- 6
- 6
- 4
- 8
- 16
- 4
- 6
- 7
- 4
- 4
- 12
- 4
- 4
- 7
- 9
- 4
- 16
- 4
- 12
- 14
- 4
- 15
- 7
- 4
- 16
- 4
- 12
- 4
- 4
- 6
- 5
- 4
- 19
- 10
- 23
- 27
- 4
- 11
- 4
- 4
- 4
- 12
- 6
- 10
- 4
- 4
- 8
- 9
- 4
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 9
- 13
- 4
- 4
- 6
- 4
- 7
- 9
- 12
- 5
- 4
- 5
- 6
- 6
- 6
- 10
- 9
- 19
- 4
- 8
- 19
- 4
- 5
- 5
- 9
- 4
- 4
- 8
- 4
- 8
- 5
- 4
- 6
- 5
- 6
- 4
- 4
- 5
- 9
- 9
- 4
- 13
- 7
- 12
- 8
- 4
- 4
- 7
- 4
- 4
- 8
- 4
- 4
- 19
- 4
- 4
- 4
- 24
- 20
- 6
- 6
- 7
- 4
- 4
- 4
- 4
- 17
- 6
- 4
- 8
- 5
- 4
- 7
- 4
- 11
- 5
- 4
- 12
- 16
- 5
- 4
- 4
- 9
- 8
- 9
- 4
- 4
- 4
- 5
- 10
- 30
- 6
- 5
- 9
- 5
- 10
- 5
- 5
- 6
- 4
- 4
- 4
- 15
- 7
- 5
- 5
- 9
- 8
- 9
- 12
- 8
- 54
- 10
- 6
- 7
- 4
- 5
- 8
- 5
- 8
- 5
- 12
- 40
- 8
- 5
- 8
- 7
- 4
- 6
- 12
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 6
- 12
- 5
- 5
- 8
- 5
- 5
- 4
- 5
- 6
- 4
- 7
- 5
- 4
- 14
- 5
- 4
- 18
- 5
- 5
- 10
- 13
- 4
- 10
- 16
- 4
- 16
- 4
- 4
- 5
- 14
- 15
- 5
- 5
- 4
- 6
- 19
- 8
- 13
- 6
- 19
- 4
- 11
- 4
- 5
- 11
- 7
- 6
- 13
- 11
- 4
- 4
- 5
- 5
- 5
- 7
- 5
- 8
- 7
- 4
- 8
- 5
- 4
- 8
- 5
- 11
- 16
- 4
- 8
- 10
- 5
- 14
- 4
- 4
- 4
- 6
- 12
- 20
- 6
- 11
- 5
- 9
- 7
- 4
- 4
- 8
- 10
- 8
- 4
- 4
- 4
- 5
- 4
- 23
- 5
- 7
- 4
- 10
- 21
- 10
- 10
- 4
- 9
- 6
- 15
- 6
- 4
- 4
- 6
- 56
- 4
- 8
- 5
- 4
- 13
- 4
- 4
- 4
- 4
- 11
- 11
- 4
- 4
- 9
- 18
- 17
- 6
- 4
- 6
- 5
- 5
- 5
- 10
- 6
- 12
- 9
- 14
- 4
- 11
- 5
- 11
- 6
- 6
- 5
- 4
- 8
- 7
- 10
- 7
- 5
- 6
- 5
- 4
- 5
- 7
- 4
- 6
- 20
- 4
- 4
- 4
- 5
- 9
- 6
- 4
- 8
- 4
- 6
- 4
- 17
- 15
- 38
- 4
- 9
- 4
- 12
- 5
- 5
- 5
- 11
- 14
- 5
- 4
- 7
- 4
- 4
- 5
- 23
- 10
- 42
- 16
- 4
- 4
- 10
- 4
- 9
- 5
- 4
- 6
- 9
- 5
- 7
- 4
- 12
- 4
- 16
- 7
- 6
- 8
- 21
- 13
- 12
- 18
- 43
- 7
- 22
- 4
- 9
- 6
- 18
- 9
- 4
- 48
- 4
- 8
- 15
- 6
- 4
- 4
- 13
- 16
- 4
- 4
- 5
- 10
- 4
- 4
- 4
- 6
- 7
- 5
- 5
- 7
- 4
- 17
- 5
- 4
- 9
- 7
- 8
- 17
- 8
- 7
- 31
- 13
- 8
- 7
- 6
- 13
- 13
- 5
- 10
- 19
- 6
- 5
- 18
- 5
- 11
- 9
- 5
- 7
- 5
- 7
- 19
- 7
- 12
- 5
- 6
- 11
- 5
- 10
- 16
- 5
- 8
- 14
- 5
- 5
- 12
- 6
- 5
- 5
- 8
- 5
- 5
- 6
- 38
- 9
- 6
- 21
- 7
- 7
- 18
- 6
- 42
- 15
- 14
- 7
- 6
- 13
- 17
- 10
- 11
- 8
- 6
- 13
- Verlag
-
- 1953
- 3533
- 2733
- 1
- 1
- 87
- 768
- 3
- 510
- Preis
-
- 47
- 337
- 7443
- 1762
- Sprachen
-
- 9581
- 17
- 15
- Verfügbarkeit
-
- 9449
- 140
- Eigenschaften
-
- 8
- Katalog
-
- 9589
- 540
-
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 -
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 -
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 -
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 -
Rot / Petrisan / Petrisan Coalgebraic Methods in Computer Science
15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25¿26, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-57200-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gottlob / Seyr / Grandjean Computer Science Logic
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65922-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Marcinkowski Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23024-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kleine Buening Computer Science Logic
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61377-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Deussen Theoretical Computer Science
5th GI-Conference Karlsruhe, March 23-25, 19811981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10576-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Diaz / Sangiorgi / Lanese Theoretical Computer Science
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings2014Verlag: SpringerISBN: 978-3-662-44601-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Jäger / Richter Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56992-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schwichtenberg / Clote Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67895-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mousavi / Hajiaghayi Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-28677-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nute / Lomuscio Deontic Logic in Computer Science
7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22111-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Schneider Graph Transformations in Computer Science
International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57787-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hasuo Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40369-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tiuryn / Pacholski Computer Science Logic
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60017-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fribourg Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42554-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bradfield Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44240-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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