Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1021 Angewandte Informatik
- 402 Betriebssysteme
- 240 Business Application
- 1240 Computerkommunikation & -vernetzung
- 2187 Daten / Datenbanken
- 137 Digital Lifestyle
- 711 EDV & Informatik Allgemein
- 5856 Informatik
- 426 Professionelle Anwendung
- 3354 Programmierung | Softwareentwicklung
- 2448 Technische Informatik
- Medium
-
- 8195
- Erscheinungsjahr
-
- 296
- 621
- 486
- 303
- 304
- 318
- 301
- 291
- 311
- 297
- 290
- 302
- 222
- 44
- 74
- 221
- 219
- 214
- 145
- 214
- 323
- 285
- 243
- 245
- 175
- 169
- 126
- 141
- 131
- 114
- 111
- 92
- 72
- 83
- 56
- 54
- 44
- 45
- 31
- 27
- 17
- 12
- 14
- 25
- 18
- 11
- 7
- 12
- 10
- 13
- 12
- 4
- Autoren
-
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 5
- 3
- 3
- 4
- 5
- 6
- 3
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 6
- 3
- 3
- 7
- 3
- 5
- 3
- 5
- 6
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 5
- 5
- 7
- 3
- 4
- 3
- 3
- 8
- 14
- 3
- 20
- 4
- 3
- 38
- 3
- 7
- 3
- 3
- 6
- 4
- 5
- 6
- 6
- 3
- 5
- 5
- 4
- 6
- 4
- 6
- 4
- 3
- 4
- 5
- 3
- 39
- 6
- 7
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 9
- 6
- 3
- 3
- 4
- 5
- 4
- 3
- 6
- 5
- 6
- 4
- 4
- 6
- 5
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 3
- 4
- 4
- 5
- 4
- 12
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 9
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 5
- 5
- 7
- 3
- 3
- 3
- 4
- 6
- 4
- 24
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 14
- 3
- 3
- 3
- 11
- 7
- 3
- 3
- 3
- 5
- 8
- 4
- 5
- 3
- 6
- 11
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 3
- 5
- 3
- 5
- 7
- 3
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 9
- 4
- 4
- 10
- 5
- 6
- 7
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 39
- 13
- 9
- 5
- 3
- 4
- 3
- 10
- 4
- 3
- 3
- 3
- 3
- 9
- 5
- 4
- 8
- 4
- 3
- 3
- 8
- 4
- 5
- 6
- 4
- 4
- 10
- 4
- 4
- 6
- 4
- 5
- 4
- 7
- 4
- 5
- 4
- 8
- 4
- 4
- 8
- 5
- 5
- 4
- 6
- 4
- 5
- 7
- 4
- 5
- 12
- 11
- 4
- 8
- 6
- 4
- 6
- 20
- 4
- 11
- 10
- 4
- 8
- 7
- 4
- 4
- 15
- 4
- 8
- 4
- 39
- 4
- 7
- 6
- 4
- 5
- 8
- 6
- 4
- 4
- 5
- 5
- 4
- 11
- 8
- 8
- 6
- 4
- 4
- 8
- 6
- 10
- 6
- 4
- 4
- 5
- 6
- 7
- 5
- 5
- 4
- 5
- 4
- 4
- 6
- 6
- 4
- 5
- 8
- 14
- 4
- 11
- 4
- 4
- 8
- 7
- 8
- 5
- 7
- 13
- 5
- 5
- 4
- 5
- 4
- 5
- 6
- 4
- 5
- 6
- 6
- 4
- 8
- 5
- 4
- 6
- 6
- 6
- 5
- 4
- 6
- 4
- 4
- 9
- 6
- 5
- 37
- 31
- 8
- 9
- 4
- 8
- 10
- 4
- 4
- 24
- 11
- 5
- 4
- 4
- 4
- 7
- 4
- 4
- 20
- 5
- 6
- 4
- 4
- 4
- 7
- 5
- 5
- 8
- 4
- 4
- 4
- 4
- 10
- 43
- 8
- 4
- 5
- 9
- 4
- 11
- 10
- 4
- 5
- 6
- 8
- 4
- 10
- 10
- 4
- 5
- 7
- 6
- 5
- 8
- 4
- 5
- 6
- 4
- 11
- 33
- 16
- 4
- 17
- 20
- 70
- 4
- 7
- 5
- 5
- 5
- 11
- 4
- 8
- 9
- 5
- 5
- 14
- 5
- 4
- 4
- 6
- 10
- 4
- 28
- 5
- 6
- 4
- 5
- 7
- 11
- 9
- 39
- 4
- 11
- 5
- 4
- 4
- 4
- 15
- 4
- 4
- 4
- 23
- 4
- 4
- 6
- 4
- 6
- 4
- 6
- 12
- 4
- 5
- 12
- 4
- 5
- 4
- 4
- 15
- 5
- 5
- 6
- 5
- 4
- 6
- 14
- 13
- 9
- 13
- 7
- 13
- 8
- 12
- 5
- 5
- 5
- 4
- 4
- 4
- 5
- 8
- 4
- 4
- 7
- 4
- 5
- 4
- 10
- 6
- 4
- 5
- 8
- 4
- 9
- 11
- 21
- 4
- 5
- 4
- 5
- 4
- 4
- 5
- 5
- 4
- 5
- 10
- 4
- 9
- 5
- 5
- 8
- 18
- 5
- 18
- 6
- 4
- 15
- 6
- 4
- 8
- 9
- 4
- 4
- 22
- 4
- 19
- 36
- 10
- 6
- 4
- 7
- 4
- 4
- 8
- 4
- 7
- 4
- 7
- 6
- 4
- 4
- 4
- 5
- 4
- 7
- 5
- 6
- 8
- 13
- 4
- 7
- 8
- 4
- 10
- 7
- 9
- 4
- 4
- 9
- 8
- 6
- 4
- 6
- 11
- 4
- 10
- 21
- 4
- 4
- 8
- 5
- 6
- 5
- 4
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 7
- 4
- 5
- 5
- 10
- 4
- 16
- 4
- 34
- 15
- 4
- 5
- 4
- 5
- 13
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 11
- 4
- 4
- 4
- 11
- 18
- 5
- 10
- 6
- 8
- 11
- 4
- 4
- 4
- 4
- 4
- 38
- 4
- 11
- 4
- 4
- 4
- 7
- 6
- 4
- 4
- 4
- 14
- 4
- 9
- 4
- 5
- 5
- 4
- 5
- 6
- 62
- 6
- 4
- 7
- 5
- 9
- 6
- 4
- 9
- 34
- 5
- 8
- 5
- 6
- 4
- 5
- 11
- 4
- 4
- 5
- 6
- 5
- 4
- 6
- 5
- 5
- 4
- 5
- 6
- 4
- 10
- 5
- 11
- 9
- 8
- 5
- 13
- 7
- 12
- 5
- 4
- 6
- 4
- 4
- 18
- 12
- 5
- 7
- 7
- 4
- 16
- 5
- 8
- 13
- 8
- 6
- 4
- 9
- 13
- 7
- 4
- 4
- 11
- 4
- 4
- 8
- 4
- 4
- 4
- 4
- 4
- 8
- 10
- 8
- 5
- 4
- 12
- 6
- 4
- 4
- 8
- 20
- 9
- 5
- 4
- 7
- 12
- 6
- 6
- 6
- 5
- 8
- 26
- 5
- 7
- 6
- 7
- 9
- 7
- 8
- 4
- 8
- 5
- 18
- 5
- 4
- 6
- 48
- 4
- 10
- 6
- 9
- 5
- 4
- 4
- 12
- 4
- 8
- 7
- 9
- 13
- 16
- 6
- 4
- 4
- 4
- 5
- 5
- 10
- 4
- 6
- 8
- 5
- 10
- 4
- 13
- 7
- 7
- 4
- 6
- 8
- 4
- 7
- 7
- 11
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 16
- 6
- 7
- 6
- 4
- 4
- 13
- 6
- 37
- 4
- 4
- 9
- 16
- 6
- 5
- 8
- 7
- 11
- 7
- 10
- 19
- 6
- 33
- 9
- 4
- 4
- 7
- 5
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 14
- 7
- 8
- 14
- 10
- 9
- 14
- 6
- 11
- 16
- 51
- 14
- 18
- 9
- 6
- 20
- 4
- 5
- 5
- 42
- 9
- 16
- 9
- 4
- 4
- 10
- 13
- 4
- 5
- 11
- 7
- 4
- 4
- 7
- 6
- 7
- 4
- 5
- 4
- 10
- 6
- 5
- 4
- 5
- 8
- 7
- 7
- 25
- 4
- 14
- 13
- 7
- 6
- 6
- 5
- 18
- 6
- 4
- 9
- 15
- 9
- 8
- 4
- 9
- 4
- 7
- 5
- 4
- 9
- 18
- 6
- 13
- 4
- 4
- 6
- 6
- 4
- 6
- 4
- 4
- 8
- 4
- 4
- 16
- 6
- 5
- 4
- 4
- 4
- 4
- 11
- 6
- 5
- 4
- 6
- 5
- 6
- 32
- 8
- 5
- 4
- 19
- 16
- 4
- 45
- 7
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 14
- 4
- 7
- 6
- 20
- 16
- 8
- 8
- 5
- 4
- 10
- Verlag
-
- 1050
- 3406
- 2670
- 1
- 1
- 97
- 869
- 101
- Preis
-
- 40
- 342
- 6399
- 1414
- Sprachen
-
- 8190
- 16
- 14
- Verfügbarkeit
-
- 8168
- 27
- Katalog
-
- 8195
- 490
-
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 -
Cîrstea Coalgebraic Methods in Computer Science
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14¿15, 2018, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-00388-3Medium: 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 -
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 -
Bezem / Dalen Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63172-9Medium: 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 -
Baeten / de Boer / Ball Theoretical Computer Science
7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33474-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Laneve / Blundo Theoretical Computer Science
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20216-5Medium: 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 -
Schröder / Pattinson Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-32783-4Medium: 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 -
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 -
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 -
Henzinger / Duparc Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
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 -
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. -
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 -
Kaminski / Martini Computer Science Logic
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-87530-7Medium: Buch106,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar106,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort