Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2240
- Erscheinungsjahr
-
- 8
- 31
- 21
- 8
- 19
- 26
- 28
- 42
- 47
- 41
- 41
- 33
- 46
- 28
- 1
- 36
- 58
- 149
- 137
- 126
- 167
- 155
- 140
- 116
- 87
- 74
- 61
- 63
- 62
- 66
- 57
- 42
- 41
- 49
- 26
- 35
- 18
- 13
- 14
- 9
- 3
- 1
- 3
- 8
- 4
- Autoren
-
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 4
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 7
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 7
- 3
- 4
- 5
- 2
- 2
- 3
- 6
- 3
- 2
- 7
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 10
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 6
- 3
- 20
- 11
- 3
- 2
- 3
- 2
- 6
- 7
- 5
- 2
- 2
- 3
- 2
- 12
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 5
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 6
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 9
- 3
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 3
- 5
- 4
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 3
- 3
- 6
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 6
- 4
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 4
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 14
- 6
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 5
- 3
- 2
- 5
- 5
- 4
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 10
- 7
- 6
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 6
- 2
- 5
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 9
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 6
- 7
- 8
- 2
- 2
- 3
- 7
- 2
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 4
- 6
- 2
- 3
- 2
- 8
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 6
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 5
- 4
- 30
- 2
- 11
- 2
- 3
- 3
- 3
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 3
- 2
- 8
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 9
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 13
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 6
- 6
- 2
- 3
- 2
- 3
- 4
- 8
- 2
- 2
- 4
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 12
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 14
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- Verlag
-
- 2220
- 2
- 18
- Preis
-
- 39
- 1788
- 413
- Sprachen
-
- 2240
- 3
- 2
- Verfügbarkeit
-
- 2238
- 2
- Katalog
-
- 2240
- 78
Logik, formale Sprachen, Automaten
-
Klein / Six / Wegner Computer Science in Perspective
Essays Dedicated to Thomas OttmannErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-00579-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Myers / O'Donnell Constructivity in Computer Science
Summer Symposium, San Antonio, TX, June 19-22, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55631-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00315-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Restivo / Ronchi Della Rocca / Roversi Theoretical Computer Science
7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42672-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kahle / Schroeder-Heister / Stärk Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42752-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Kleine Büning / Richter Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Jäger / Kleine Büning Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56992-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcinkowski Computer Science Logic
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23024-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duparc / Henzinger Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kleine Buening Computer Science Logic
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61377-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deussen Theoretical Computer Science
5th GI-Conference Karlsruhe, March 23-25, 19811. Auflage 1981Verlag: SpringerISBN: 978-3-540-10576-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clote / Schwichtenberg Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67895-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Petrisan / Petrisan / Rot 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: SpringerISBN: 978-3-030-57200-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pattinson / Schröder Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32783-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Noltemeier Graphtheoretic Concepts in Computer Science
Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 19801. Auflage 1981Verlag: SpringerISBN: 978-3-540-10291-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hansen / Zanasi 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: SpringerISBN: 978-3-031-10735-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Herrlich / Kreowski Categorical Methods in Computer Science
With Aspects from Topology1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51722-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
S. Barbosa / Ali Abam Topics in Theoretical Computer Science
Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57851-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flum / Rodriguez-Artalejo Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66536-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baaz / Makowsky 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, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40801-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Börger / Jäger / Kleine Büning Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cremers / Kriegel Theoretical Computer Science
6th GI-Conference Dortmund, January 5-7, 19831. Auflage 1982Verlag: SpringerISBN: 978-3-540-11973-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ong Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28231-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lomuscio / Nute Deontic Logic in Computer Science
7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22111-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schneider / Ehrig Graph Transformations in Computer Science
International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57787-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort