Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1833 Angewandte Informatik
- 471 Betriebssysteme
- 287 Business Application
- 1573 Computerkommunikation & -vernetzung
- 2696 Daten / Datenbanken
- 151 Digital Lifestyle
- 976 EDV & Informatik Allgemein
- 7888 Informatik
- 524 Professionelle Anwendung
- 4214 Programmierung | Softwareentwicklung
- 3707 Technische Informatik
- Medium
-
- 10656
- Erscheinungsjahr
-
- 296
- 811
- 846
- 616
- 479
- 280
- 304
- 302
- 308
- 269
- 313
- 301
- 292
- 322
- 302
- 264
- 282
- 251
- 229
- 261
- 270
- 238
- 364
- 300
- 253
- 249
- 177
- 175
- 134
- 137
- 134
- 115
- 106
- 93
- 74
- 88
- 58
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 5
- 4
- 6
- 6
- 4
- 6
- 4
- 7
- 6
- 4
- 9
- 7
- 4
- 12
- 8
- 10
- 7
- 4
- 4
- 4
- 5
- 5
- 9
- 10
- 4
- 4
- 7
- 4
- 4
- 6
- 17
- 4
- 16
- 4
- 8
- 5
- 4
- 4
- 4
- 5
- 9
- 8
- 4
- 4
- 4
- 5
- 4
- 4
- 5
- 14
- 29
- 35
- 7
- 4
- 43
- 5
- 4
- 4
- 4
- 7
- 5
- 5
- 5
- 15
- 4
- 6
- 15
- 11
- 4
- 4
- 4
- 4
- 4
- 7
- 39
- 10
- 6
- 4
- 5
- 6
- 4
- 5
- 4
- 5
- 6
- 7
- 4
- 4
- 4
- 10
- 4
- 6
- 17
- 8
- 10
- 4
- 5
- 6
- 5
- 9
- 4
- 7
- 9
- 6
- 11
- 8
- 7
- 4
- 12
- 4
- 4
- 4
- 4
- 5
- 4
- 19
- 6
- 6
- 6
- 10
- 5
- 8
- 5
- 5
- 4
- 7
- 6
- 4
- 8
- 4
- 27
- 5
- 4
- 11
- 4
- 5
- 9
- 4
- 6
- 39
- 4
- 4
- 4
- 4
- 10
- 4
- 20
- 16
- 6
- 4
- 10
- 6
- 8
- 8
- 5
- 4
- 4
- 7
- 4
- 5
- 8
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 5
- 7
- 4
- 5
- 9
- 11
- 5
- 4
- 13
- 9
- 4
- 16
- 9
- 16
- 5
- 6
- 4
- 7
- 4
- 4
- 6
- 10
- 4
- 39
- 16
- 8
- 6
- 4
- 4
- 9
- 4
- 5
- 4
- 8
- 7
- 16
- 5
- 9
- 7
- 4
- 5
- 4
- 14
- 5
- 14
- 5
- 5
- 8
- 24
- 4
- 17
- 8
- 4
- 8
- 8
- 6
- 6
- 4
- 4
- 4
- 4
- 33
- 4
- 12
- 40
- 13
- 8
- 12
- 14
- 10
- 4
- 22
- 9
- 35
- 4
- 9
- 14
- 15
- 4
- 4
- 12
- 4
- 6
- 14
- 10
- 8
- 4
- 4
- 39
- 4
- 5
- 4
- 10
- 5
- 10
- 6
- 4
- 4
- 10
- 13
- 8
- 6
- 4
- 4
- 15
- 5
- 7
- 11
- 6
- 4
- 5
- 4
- 4
- 7
- 5
- 8
- 14
- 22
- 7
- 5
- 6
- 6
- 8
- 6
- 4
- 8
- 11
- 4
- 24
- 6
- 7
- 7
- 4
- 4
- 6
- 4
- 7
- 7
- 6
- 4
- 4
- 5
- 8
- 4
- 15
- 10
- 6
- 9
- 8
- 5
- 5
- 47
- 37
- 8
- 23
- 4
- 9
- 15
- 5
- 31
- 10
- 4
- 18
- 6
- 4
- 4
- 9
- 5
- 4
- 4
- 4
- 4
- 26
- 5
- 10
- 43
- 7
- 7
- 4
- 14
- 6
- 7
- 5
- 6
- 8
- 11
- 7
- 4
- 6
- 8
- 8
- 6
- 5
- 5
- 4
- 7
- 15
- 14
- 6
- 4
- 9
- 4
- 4
- 4
- 4
- 11
- 8
- 4
- 4
- 5
- 10
- 4
- 4
- 17
- 4
- 57
- 34
- 7
- 20
- 8
- 17
- 26
- 95
- 6
- 11
- 6
- 4
- 4
- 4
- 5
- 16
- 4
- 11
- 4
- 6
- 18
- 11
- 5
- 10
- 9
- 5
- 4
- 13
- 4
- 10
- 5
- 6
- 7
- 5
- 12
- 5
- 5
- 44
- 6
- 10
- 10
- 5
- 5
- 9
- 12
- 6
- 6
- 8
- 19
- 39
- 7
- 17
- 5
- 8
- 5
- 6
- 5
- 6
- 15
- 15
- 9
- 10
- 69
- 7
- 6
- 8
- 7
- 15
- 7
- 11
- 7
- 18
- 8
- 5
- 6
- 6
- 10
- 16
- 11
- 11
- 5
- 7
- 13
- 7
- 13
- 8
- 5
- 12
- 6
- 8
- 6
- 10
- 7
- 10
- 10
- 5
- 5
- 8
- 7
- 10
- 5
- 29
- 9
- 5
- 8
- 23
- 8
- 14
- 34
- 6
- 6
- 10
- 15
- 6
- 5
- 33
- 6
- 6
- 8
- 5
- 11
- 5
- 7
- 14
- 6
- 15
- 17
- 32
- 5
- 18
- 7
- 10
- 5
- 7
- 15
- 22
- 5
- 5
- 15
- 26
- 40
- 10
- 5
- 8
- 9
- 5
- 6
- 12
- 6
- 6
- 5
- 7
- 6
- 7
- 6
- 16
- 91
- 12
- 18
- 7
- 12
- 7
- 8
- 12
- 13
- 5
- 5
- 6
- 12
- 13
- 7
- 18
- 19
- 7
- 26
- 9
- 5
- 57
- 15
- 6
- 7
- 10
- 22
- 5
- 7
- 6
- 6
- 9
- 12
- 6
- 5
- 9
- 25
- 6
- 6
- 5
- 10
- 11
- 13
- 14
- 13
- 11
- 11
- 16
- 5
- 11
- 10
- 28
- 7
- 35
- 29
- 7
- 7
- 6
- 8
- 6
- 19
- 7
- 5
- 7
- 12
- 7
- 5
- 6
- 9
- 17
- 10
- 5
- 7
- 8
- 6
- 5
- 8
- 9
- 6
- 5
- 35
- 5
- 10
- 8
- 8
- 6
- 5
- 5
- 17
- 5
- 5
- 6
- 9
- 8
- 6
- 10
- 8
- 87
- 7
- 6
- 5
- 7
- 7
- 12
- 5
- 7
- 5
- 11
- 5
- 38
- 5
- 5
- 17
- 8
- 5
- 5
- 10
- 6
- 7
- 5
- 6
- 6
- 9
- 5
- 6
- 8
- 7
- 12
- 6
- 7
- 5
- 11
- 7
- 8
- 5
- 10
- 43
- 19
- 7
- 5
- 21
- 17
- 9
- 6
- 6
- 13
- 12
- 16
- 15
- 6
- 15
- 5
- 5
- 8
- 22
- 15
- 6
- 12
- 11
- 6
- 20
- 6
- 9
- 6
- 16
- 12
- 7
- 6
- 6
- 15
- 5
- 11
- 6
- 6
- 15
- 7
- 24
- 5
- 5
- 5
- 10
- 12
- 12
- 8
- 6
- 5
- 11
- 6
- 6
- 9
- 28
- 6
- 11
- 7
- 7
- 20
- 7
- 5
- 7
- 10
- 5
- 90
- 5
- 7
- 7
- 11
- 6
- 22
- 15
- 8
- 23
- 12
- 8
- 9
- 9
- 9
- 19
- 93
- 6
- 53
- 11
- 11
- 7
- 7
- 89
- 19
- 5
- 14
- 12
- 9
- 5
- 5
- 9
- 23
- 13
- 7
- 9
- 6
- 5
- 8
- 5
- 9
- 90
- 5
- 6
- 19
- 9
- 8
- 12
- 12
- 16
- 5
- 10
- 9
- 5
- 5
- 10
- 5
- 9
- 7
- 22
- 16
- 6
- 6
- 5
- 13
- 7
- 24
- 6
- 7
- 6
- 6
- 5
- 14
- 8
- 9
- 6
- 18
- 16
- 19
- 28
- 6
- 19
- 8
- 5
- 10
- 13
- 11
- 10
- 6
- 12
- 8
- 5
- 39
- 9
- 42
- 17
- 6
- 13
- 6
- 11
- 10
- 6
- 22
- 7
- 17
- 7
- 12
- 14
- 22
- 6
- 5
- 10
- 23
- 6
- 24
- 61
- 10
- 18
- 17
- 8
- 9
- 6
- 5
- 19
- 19
- 14
- 7
- 5
- 10
- 56
- 24
- 12
- 6
- 12
- 14
- 7
- 5
- 7
- 12
- 5
- 9
- 6
- 11
- 8
- 15
- 13
- 7
- 14
- 9
- 6
- 8
- 89
- 10
- 14
- 5
- 16
- 7
- 5
- 13
- 9
- 5
- 32
- 5
- 11
- 6
- 6
- 9
- 7
- 13
- 18
- 6
- 11
- 6
- 18
- 6
- 5
- 5
- 6
- 13
- 19
- 6
- 13
- 12
- 6
- 6
- 8
- 9
- 6
- 6
- 5
- 8
- 24
- 12
- 10
- 8
- 6
- 6
- 5
- 6
- 12
- 11
- 8
- 5
- 5
- 5
- 18
- 5
- 10
- 6
- 11
- 6
- 8
- 7
- 26
- 14
- 14
- 5
- 18
- 9
- 5
- 9
- 6
- 6
- 10
- 18
- 9
- 6
- 6
- 41
- 6
- 7
- 6
- 5
- 23
- 5
- 44
- 5
- 16
- 64
- 17
- 5
- 11
- 5
- 5
- 6
- 32
- 7
- 22
- 22
- 17
- 5
- 5
- 7
- 9
- 5
- 12
- 9
- 5
- 5
- 22
- Verlag
-
- 2
- 10605
- 3
- 4
- 1
- 6
- 2
- 1
- 32
- Preis
-
- 42
- 388
- 8134
- 2092
- Sprachen
-
- 10651
- 16
- 13
- Verfügbarkeit
-
- 10646
- 10
- Eigenschaften
-
- 12
- Katalog
-
- 10656
- 558
-
Cuellar / Lopez / Barthe Security and Trust Management
6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22443-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Goodloe / Person NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28890-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems
24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-95295-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (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 -
Benninghofen / Kemmerich / Richter Systems of Reductions
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18598-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pechoucek / Petta / Varga Multi-Agent Systems and Applications IV
4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29046-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Özgün / Zinova Language, Logic, and Computation
13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-030-98478-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Royer A Connotational Theory of Program Structure
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18253-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vilhjálmsson / Kopp / Marsella Intelligent Virtual Agents
11th International Conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23973-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thanos / Borri / Candela Digital Libraries: Research and Development
First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77087-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jung / Wang / Toyoda Database Systems for Advanced Applications
31st International Conference, DASFAA 2026, Jeju, South Korea, April 27-30, 2026, Proceedings, Part VErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-9203-74-1Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Collart-Dutilleul / Haxthausen / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-05813-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moral / Pivert / Sánchez Scalable Uncertainty Management
11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67581-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dinh / Thai Computing and Combinatorics
22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42633-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Crochemore / Paterson Combinatorial Pattern Matching
10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66278-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Birk / Demiris Learning Robots
6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65480-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bundy Automated Deduction - CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58156-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19848-9Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganzinger ESOP '88
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19027-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58450-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chao / Hsu / Lee Algorithms and Computation
23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35260-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thilagam / Roshan Pais / Chandrasekaran Advanced Computing, Networking and Security
International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29279-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schiper Distributed Algorithms
7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57271-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kloks Treewidth
Computations and Approximations1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58356-1Medium: 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