Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1742 Angewandte Informatik
- 462 Betriebssysteme
- 266 Business Application
- 1539 Computerkommunikation & -vernetzung
- 2665 Daten / Datenbanken
- 142 Digital Lifestyle
- 947 EDV & Informatik Allgemein
- 7765 Informatik
- 517 Professionelle Anwendung
- 4150 Programmierung | Softwareentwicklung
- 3586 Technische Informatik
- Medium
-
- 10488
- Erscheinungsjahr
-
- 135
- 806
- 831
- 620
- 487
- 275
- 292
- 296
- 292
- 309
- 303
- 316
- 281
- 308
- 309
- 271
- 283
- 268
- 231
- 258
- 283
- 215
- 363
- 308
- 260
- 251
- 180
- 177
- 116
- 133
- 135
- 116
- 108
- 96
- 73
- 84
- 57
- 57
- 44
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 6
- 5
- 5
- 4
- 4
- 6
- 4
- 5
- 5
- 4
- 5
- 5
- 4
- 9
- 5
- 4
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 8
- 4
- 11
- 8
- 5
- 6
- 16
- 4
- 4
- 21
- 4
- 8
- 4
- 6
- 4
- 7
- 5
- 9
- 9
- 6
- 4
- 10
- 5
- 14
- 5
- 25
- 36
- 7
- 40
- 7
- 6
- 4
- 6
- 7
- 15
- 16
- 4
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 5
- 4
- 4
- 8
- 4
- 5
- 5
- 14
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 9
- 4
- 6
- 7
- 6
- 8
- 7
- 6
- 4
- 12
- 5
- 4
- 5
- 5
- 4
- 19
- 7
- 6
- 4
- 7
- 5
- 15
- 4
- 9
- 5
- 5
- 4
- 6
- 6
- 4
- 4
- 5
- 7
- 6
- 16
- 4
- 9
- 5
- 5
- 9
- 4
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 6
- 8
- 11
- 11
- 4
- 4
- 4
- 5
- 5
- 9
- 6
- 4
- 7
- 4
- 4
- 11
- 4
- 5
- 6
- 5
- 8
- 14
- 5
- 4
- 11
- 7
- 4
- 18
- 4
- 11
- 16
- 6
- 5
- 4
- 5
- 4
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 9
- 4
- 4
- 4
- 4
- 9
- 5
- 5
- 8
- 7
- 4
- 4
- 16
- 7
- 9
- 12
- 5
- 10
- 6
- 5
- 4
- 14
- 4
- 7
- 24
- 4
- 12
- 4
- 10
- 4
- 4
- 11
- 7
- 5
- 4
- 10
- 4
- 9
- 34
- 12
- 41
- 10
- 8
- 19
- 14
- 4
- 5
- 7
- 4
- 5
- 20
- 6
- 38
- 4
- 9
- 14
- 7
- 4
- 7
- 12
- 4
- 4
- 12
- 14
- 8
- 7
- 39
- 4
- 5
- 10
- 8
- 10
- 4
- 5
- 4
- 8
- 4
- 4
- 10
- 10
- 5
- 4
- 7
- 6
- 4
- 4
- 14
- 10
- 5
- 13
- 5
- 5
- 7
- 4
- 6
- 7
- 4
- 4
- 15
- 4
- 21
- 8
- 5
- 10
- 4
- 6
- 4
- 6
- 13
- 5
- 24
- 6
- 7
- 4
- 4
- 6
- 4
- 7
- 4
- 4
- 4
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 4
- 43
- 38
- 8
- 23
- 5
- 4
- 4
- 17
- 8
- 23
- 14
- 4
- 5
- 5
- 7
- 18
- 6
- 4
- 4
- 5
- 5
- 4
- 6
- 5
- 4
- 27
- 4
- 15
- 46
- 4
- 10
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 4
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 9
- 6
- 5
- 5
- 8
- 4
- 15
- 55
- 30
- 4
- 4
- 24
- 9
- 18
- 22
- 90
- 5
- 11
- 6
- 6
- 14
- 4
- 4
- 7
- 19
- 14
- 4
- 7
- 7
- 5
- 7
- 14
- 7
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 11
- 43
- 4
- 7
- 4
- 7
- 4
- 4
- 16
- 8
- 7
- 19
- 39
- 6
- 9
- 17
- 10
- 6
- 7
- 5
- 8
- 5
- 9
- 15
- 6
- 6
- 5
- 8
- 5
- 65
- 5
- 6
- 10
- 5
- 6
- 15
- 6
- 11
- 5
- 8
- 19
- 7
- 10
- 5
- 6
- 6
- 5
- 10
- 19
- 11
- 10
- 13
- 5
- 8
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 9
- 10
- 11
- 7
- 8
- 7
- 7
- 29
- 9
- 6
- 5
- 8
- 6
- 27
- 6
- 16
- 34
- 6
- 6
- 8
- 9
- 15
- 30
- 6
- 9
- 5
- 5
- 10
- 5
- 5
- 14
- 6
- 5
- 5
- 18
- 20
- 32
- 5
- 16
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 13
- 31
- 36
- 6
- 9
- 6
- 8
- 6
- 17
- 6
- 5
- 12
- 6
- 5
- 8
- 7
- 6
- 6
- 7
- 8
- 5
- 6
- 13
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 11
- 12
- 5
- 5
- 6
- 10
- 14
- 18
- 20
- 5
- 21
- 8
- 5
- 62
- 6
- 19
- 8
- 12
- 21
- 5
- 9
- 5
- 8
- 6
- 5
- 5
- 6
- 5
- 14
- 6
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 16
- 14
- 8
- 18
- 11
- 10
- 8
- 9
- 25
- 6
- 31
- 28
- 6
- 6
- 11
- 7
- 17
- 7
- 6
- 7
- 5
- 5
- 8
- 6
- 11
- 21
- 6
- 5
- 7
- 5
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 7
- 5
- 5
- 16
- 5
- 9
- 7
- 5
- 8
- 83
- 10
- 5
- 7
- 6
- 13
- 6
- 5
- 9
- 11
- 36
- 15
- 5
- 16
- 6
- 5
- 10
- 6
- 6
- 5
- 5
- 8
- 5
- 9
- 6
- 6
- 9
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 17
- 7
- 7
- 18
- 12
- 13
- 12
- 13
- 15
- 8
- 18
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 5
- 6
- 19
- 12
- 13
- 11
- 7
- 8
- 7
- 7
- 15
- 5
- 15
- 13
- 8
- 24
- 6
- 7
- 6
- 11
- 6
- 5
- 11
- 15
- 10
- 5
- 9
- 6
- 14
- 6
- 5
- 6
- 12
- 24
- 12
- 6
- 7
- 19
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 7
- 19
- 8
- 8
- 8
- 12
- 7
- 19
- 8
- 90
- 6
- 48
- 11
- 11
- 5
- 89
- 23
- 14
- 12
- 5
- 12
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 8
- 89
- 5
- 6
- 15
- 22
- 7
- 11
- 6
- 11
- 17
- 11
- 11
- 6
- 5
- 11
- 5
- 10
- 22
- 8
- 6
- 6
- 5
- 7
- 13
- 7
- 24
- 5
- 5
- 6
- 6
- 5
- 14
- 7
- 8
- 8
- 11
- 12
- 41
- 5
- 6
- 6
- 6
- 18
- 9
- 11
- 8
- 10
- 13
- 7
- 7
- 11
- 5
- 38
- 7
- 33
- 12
- 6
- 8
- 5
- 5
- 10
- 8
- 22
- 6
- 6
- 8
- 8
- 14
- 15
- 25
- 9
- 25
- 7
- 14
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 22
- 14
- 6
- 6
- 9
- 55
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 6
- 15
- 11
- 7
- 12
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 13
- 7
- 8
- 35
- 5
- 11
- 10
- 7
- 12
- 5
- 13
- 15
- 10
- 21
- 6
- 5
- 17
- 21
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 7
- 8
- 5
- 25
- 6
- 14
- 10
- 5
- 6
- 8
- 6
- 6
- 5
- 8
- 12
- 9
- 9
- 18
- 5
- 10
- 11
- 5
- 6
- 24
- 11
- 14
- 5
- 5
- 22
- 11
- 5
- 5
- 6
- 5
- 9
- 18
- 7
- 6
- 6
- 47
- 13
- 6
- 5
- 5
- 21
- 7
- 42
- 14
- 62
- 18
- 5
- 6
- 5
- 6
- 32
- 7
- 10
- 5
- 18
- 19
- 19
- 9
- 6
- 11
- 12
- 10
- 6
- 6
- 23
- Verlag
-
- 2
- 10430
- 3
- 4
- 1
- 3
- 3
- 1
- 41
- Preis
-
- 42
- 379
- 8039
- 2028
- Sprachen
-
- 10483
- 17
- 13
- Verfügbarkeit
-
- 10474
- 14
- Katalog
-
- 10488
- 555
-
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 -
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 -
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 -
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 -
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: SpringerISBN: 978-3-319-40369-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hajiaghayi / Mousavi 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: SpringerISBN: 978-3-319-28677-8Medium: 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 -
Bradfield Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, SeptemberErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44240-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Coppo / Lodi / Pinna Theoretical Computer Science
9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29106-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeten / Ball / de Boer Theoretical Computer Science
7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33474-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blundo / Laneve Theoretical Computer Science
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20216-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pacholski / Tiuryn Computer Science Logic
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60017-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dalen / Bezem Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63172-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fribourg Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42554-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44123-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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 -
Dawar / Veith Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15204-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weihrauch Theoretical Computer Science
4th GI Conference Aachen, March 26-28, 19791. Auflage 1979Verlag: SpringerISBN: 978-3-540-09118-9Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ésik Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45458-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuich / Rahonis Algebraic Foundations in Computer Science
Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24896-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
MacCaull / Winter / Düntsch Relational Methods in Computer Science
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33339-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König / Urbat Coalgebraic Methods in Computer Science
17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-66437-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agotnes / Broersen / Elgesem Deontic Logic in Computer Science
11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31569-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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: SpringerISBN: 978-3-319-68952-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