Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1753 Angewandte Informatik
- 458 Betriebssysteme
- 263 Business Application
- 1550 Computerkommunikation & -vernetzung
- 2693 Daten / Datenbanken
- 143 Digital Lifestyle
- 948 EDV & Informatik Allgemein
- 7797 Informatik
- 513 Professionelle Anwendung
- 4162 Programmierung | Softwareentwicklung
- 3609 Technische Informatik
- Medium
-
- 10534
- Erscheinungsjahr
-
- 193
- 808
- 830
- 622
- 487
- 277
- 288
- 297
- 290
- 311
- 306
- 314
- 279
- 311
- 314
- 267
- 262
- 270
- 229
- 270
- 272
- 223
- 362
- 305
- 261
- 250
- 177
- 176
- 117
- 132
- 135
- 118
- 108
- 96
- 73
- 84
- 57
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 6
- 5
- 5
- 5
- 4
- 6
- 4
- 5
- 6
- 5
- 6
- 9
- 6
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 11
- 8
- 5
- 6
- 16
- 6
- 4
- 20
- 5
- 8
- 5
- 6
- 4
- 6
- 5
- 9
- 9
- 4
- 6
- 4
- 4
- 7
- 5
- 14
- 5
- 25
- 36
- 6
- 39
- 7
- 7
- 4
- 6
- 7
- 15
- 16
- 4
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 5
- 4
- 5
- 4
- 4
- 9
- 6
- 5
- 5
- 16
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 8
- 4
- 6
- 7
- 6
- 8
- 7
- 8
- 4
- 12
- 5
- 5
- 4
- 5
- 4
- 17
- 7
- 6
- 7
- 4
- 14
- 4
- 4
- 10
- 5
- 5
- 4
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 4
- 10
- 5
- 5
- 9
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 4
- 7
- 8
- 11
- 9
- 4
- 4
- 4
- 5
- 4
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 5
- 4
- 6
- 5
- 9
- 14
- 5
- 4
- 11
- 7
- 4
- 16
- 11
- 16
- 6
- 5
- 5
- 4
- 4
- 5
- 8
- 4
- 39
- 9
- 9
- 4
- 4
- 4
- 8
- 5
- 5
- 8
- 9
- 4
- 4
- 16
- 6
- 7
- 10
- 5
- 9
- 7
- 6
- 4
- 14
- 4
- 7
- 4
- 24
- 4
- 13
- 10
- 9
- 7
- 4
- 5
- 11
- 5
- 4
- 8
- 34
- 10
- 41
- 10
- 8
- 18
- 14
- 4
- 4
- 7
- 4
- 4
- 21
- 8
- 38
- 4
- 8
- 14
- 10
- 4
- 4
- 7
- 12
- 4
- 6
- 9
- 13
- 8
- 7
- 39
- 4
- 5
- 5
- 10
- 9
- 10
- 4
- 5
- 4
- 6
- 4
- 6
- 11
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 14
- 10
- 5
- 13
- 5
- 5
- 4
- 6
- 4
- 4
- 4
- 15
- 21
- 8
- 5
- 9
- 4
- 6
- 4
- 6
- 13
- 5
- 24
- 6
- 7
- 4
- 4
- 6
- 4
- 7
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 43
- 38
- 6
- 23
- 5
- 4
- 16
- 8
- 23
- 11
- 5
- 5
- 7
- 18
- 6
- 4
- 4
- 4
- 5
- 5
- 4
- 5
- 4
- 27
- 4
- 15
- 46
- 8
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 5
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 5
- 4
- 4
- 8
- 6
- 5
- 4
- 5
- 11
- 4
- 15
- 55
- 31
- 6
- 4
- 22
- 7
- 18
- 20
- 90
- 11
- 6
- 4
- 6
- 15
- 4
- 4
- 7
- 19
- 13
- 5
- 5
- 5
- 5
- 9
- 13
- 7
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 9
- 5
- 39
- 4
- 7
- 7
- 4
- 7
- 16
- 7
- 4
- 7
- 19
- 39
- 6
- 4
- 7
- 17
- 10
- 6
- 7
- 6
- 5
- 4
- 4
- 8
- 5
- 8
- 15
- 6
- 6
- 5
- 8
- 5
- 67
- 5
- 8
- 10
- 6
- 7
- 15
- 6
- 11
- 5
- 8
- 18
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 7
- 13
- 5
- 6
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 10
- 9
- 11
- 7
- 8
- 7
- 5
- 6
- 29
- 8
- 6
- 5
- 8
- 26
- 6
- 15
- 35
- 6
- 6
- 8
- 9
- 15
- 5
- 29
- 6
- 9
- 5
- 9
- 5
- 5
- 14
- 6
- 5
- 5
- 16
- 20
- 32
- 5
- 17
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 30
- 35
- 6
- 9
- 9
- 6
- 17
- 6
- 5
- 12
- 5
- 5
- 8
- 7
- 6
- 6
- 7
- 7
- 5
- 14
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 13
- 12
- 5
- 5
- 9
- 13
- 18
- 20
- 24
- 8
- 5
- 62
- 19
- 6
- 9
- 5
- 12
- 20
- 5
- 9
- 5
- 6
- 7
- 5
- 5
- 8
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 15
- 12
- 8
- 18
- 11
- 9
- 9
- 9
- 24
- 7
- 5
- 32
- 29
- 6
- 6
- 8
- 7
- 16
- 8
- 6
- 5
- 6
- 7
- 6
- 11
- 22
- 6
- 7
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 5
- 5
- 5
- 5
- 16
- 5
- 9
- 9
- 5
- 5
- 9
- 82
- 10
- 5
- 7
- 6
- 14
- 5
- 6
- 5
- 9
- 11
- 37
- 13
- 5
- 17
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 10
- 5
- 8
- 6
- 6
- 8
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 5
- 19
- 7
- 6
- 18
- 14
- 5
- 13
- 11
- 14
- 15
- 8
- 16
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 6
- 22
- 12
- 12
- 11
- 6
- 11
- 7
- 7
- 16
- 5
- 15
- 14
- 8
- 24
- 9
- 9
- 6
- 11
- 6
- 5
- 10
- 13
- 10
- 5
- 8
- 6
- 14
- 6
- 6
- 5
- 12
- 24
- 6
- 12
- 6
- 7
- 19
- 5
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 5
- 18
- 9
- 8
- 8
- 11
- 5
- 19
- 8
- 91
- 6
- 48
- 11
- 11
- 5
- 89
- 22
- 14
- 12
- 5
- 11
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 7
- 89
- 5
- 7
- 15
- 20
- 10
- 12
- 11
- 17
- 11
- 12
- 6
- 5
- 11
- 5
- 10
- 22
- 7
- 6
- 5
- 5
- 9
- 13
- 5
- 24
- 6
- 5
- 6
- 6
- 5
- 5
- 14
- 6
- 7
- 8
- 8
- 11
- 12
- 35
- 10
- 6
- 6
- 7
- 18
- 9
- 11
- 8
- 10
- 11
- 5
- 5
- 7
- 11
- 5
- 38
- 7
- 35
- 12
- 7
- 8
- 5
- 6
- 10
- 8
- 22
- 6
- 8
- 8
- 15
- 14
- 24
- 8
- 22
- 10
- 13
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 18
- 14
- 6
- 9
- 54
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 14
- 7
- 9
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 15
- 6
- 8
- 37
- 5
- 11
- 7
- 7
- 12
- 5
- 13
- 19
- 8
- 21
- 6
- 5
- 17
- 20
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 6
- 27
- 6
- 14
- 10
- 5
- 6
- 8
- 6
- 6
- 5
- 8
- 11
- 8
- 9
- 18
- 5
- 11
- 5
- 11
- 5
- 6
- 24
- 7
- 14
- 5
- 5
- 23
- 11
- 5
- 5
- 5
- 5
- 9
- 18
- 6
- 6
- 6
- 48
- 11
- 5
- 5
- 5
- 20
- 6
- 43
- 14
- 62
- 18
- 5
- 9
- 6
- 6
- 32
- 7
- 9
- 5
- 18
- 21
- 19
- 11
- 9
- 12
- 10
- 6
- 6
- 20
- Verlag
-
- 3
- 10472
- 3
- 5
- 1
- 1
- 4
- 3
- 1
- 41
- Preis
-
- 42
- 389
- 8070
- 2033
- Sprachen
-
- 10529
- 16
- 13
- Verfügbarkeit
-
- 10525
- 9
- Eigenschaften
-
- 5
- Katalog
-
- 10534
- 543
-
Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I2015Verlag: SpringerISBN: 978-3-662-47671-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rus Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67530-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yang / Wang / Islam Advanced Data Mining and Applications
16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65389-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groves / Sun Formal Methods and Software Engineering
15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41201-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morgenstern / Stefaneas / Lévy Theory, Practice, and Applications of Rules on the Web
7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39616-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers2025Verlag: SpringerISBN: 978-3-031-73740-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuesta / Garlan / Pérez Software Architecture
12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00760-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Chau / Chen Intelligence and Security Informatics
12th Pacific Asia Workshop, PAISI 2017, Jeju Island, South Korea, May 23, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-57462-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moreira / Demeyer Object-Oriented Technology. ECOOP'99 Workshop Reader
ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66954-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hasegawa Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38945-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chau / Wang / Chen Intelligence and Security Informatics
11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31862-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Glück / Kafle Logic-Based Program Synthesis and Transformation
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-45783-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yamashita / Minato Reversible Computation
6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08493-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nürnberg Metainformatics
International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40218-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leuschel Logic Based Program Synthesis and Transformation
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40438-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bloomfield / Marshall / Jones VDM '88. VDM - The Way Ahead
2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50214-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hooman Specification and Compositional Verification of Real-Time Systems
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Volkamer / Duenas-Cid / Rønne Electronic Voting
8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-43755-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jähne / Mester / Barth Complex Motion
First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69864-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Joye / Moradi Smart Card Research and Advanced Applications
13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-16762-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gelbukh Computational Linguistics and Intelligent Text Processing
5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21006-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Payne / Presutti / Qi The Semantic Web - ISWC 2023
22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-47242-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eder / Louren?o / Shehory Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34187-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kratochvil Graph Drawing
7th International Symposium, GD'99, Stirin Castle, Czech Republic, September 15-19, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66904-3Medium: 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