Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 2105 Angewandte Informatik
- 485 Betriebssysteme
- 259 Business Application
- 1632 Computerkommunikation & -vernetzung
- 2743 Daten / Datenbanken
- 152 Digital Lifestyle
- 1015 EDV & Informatik Allgemein
- 8365 Informatik
- 512 Professionelle Anwendung
- 4328 Programmierung | Softwareentwicklung
- 4028 Technische Informatik
- Medium
-
- 11240
- Erscheinungsjahr
-
- 115
- 786
- 791
- 836
- 615
- 475
- 283
- 300
- 324
- 299
- 300
- 320
- 318
- 299
- 313
- 284
- 293
- 266
- 251
- 239
- 256
- 254
- 229
- 352
- 298
- 248
- 252
- 176
- 177
- 127
- 143
- 137
- 114
- 109
- 90
- 71
- 85
- 56
- 55
- 45
- 46
- 31
- 26
- 17
- 12
- 15
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 3
- Autoren
-
- 4
- 4
- 5
- 6
- 4
- 5
- 4
- 4
- 9
- 4
- 12
- 4
- 24
- 7
- 7
- 4
- 5
- 5
- 4
- 7
- 7
- 8
- 6
- 7
- 16
- 8
- 6
- 19
- 5
- 9
- 5
- 5
- 5
- 5
- 5
- 8
- 9
- 4
- 4
- 8
- 4
- 5
- 7
- 14
- 4
- 32
- 36
- 4
- 39
- 7
- 6
- 4
- 5
- 5
- 5
- 6
- 5
- 7
- 6
- 16
- 7
- 21
- 4
- 13
- 5
- 7
- 4
- 6
- 5
- 8
- 7
- 39
- 12
- 5
- 4
- 5
- 4
- 5
- 6
- 6
- 4
- 7
- 6
- 4
- 6
- 4
- 11
- 4
- 9
- 4
- 45
- 5
- 7
- 4
- 4
- 5
- 4
- 4
- 4
- 6
- 5
- 7
- 23
- 4
- 5
- 4
- 7
- 4
- 10
- 10
- 8
- 9
- 7
- 12
- 5
- 4
- 4
- 7
- 4
- 4
- 19
- 5
- 4
- 7
- 5
- 4
- 17
- 5
- 10
- 5
- 4
- 7
- 4
- 11
- 7
- 4
- 4
- 4
- 8
- 22
- 4
- 4
- 12
- 7
- 5
- 6
- 40
- 7
- 19
- 18
- 5
- 5
- 7
- 6
- 10
- 8
- 5
- 10
- 6
- 7
- 8
- 6
- 9
- 12
- 11
- 6
- 12
- 9
- 6
- 15
- 8
- 5
- 5
- 7
- 39
- 17
- 6
- 7
- 5
- 7
- 6
- 15
- 8
- 9
- 11
- 7
- 5
- 12
- 5
- 8
- 23
- 16
- 7
- 8
- 14
- 5
- 8
- 5
- 5
- 9
- 5
- 34
- 15
- 41
- 11
- 8
- 15
- 18
- 8
- 44
- 12
- 37
- 9
- 14
- 6
- 12
- 6
- 6
- 15
- 10
- 39
- 5
- 6
- 11
- 12
- 7
- 5
- 5
- 6
- 12
- 11
- 5
- 5
- 7
- 17
- 5
- 6
- 14
- 6
- 5
- 9
- 9
- 6
- 5
- 8
- 26
- 6
- 23
- 15
- 25
- 7
- 13
- 5
- 8
- 7
- 9
- 5
- 14
- 9
- 23
- 6
- 5
- 8
- 6
- 8
- 12
- 8
- 8
- 6
- 22
- 10
- 6
- 12
- 11
- 8
- 5
- 45
- 41
- 9
- 41
- 12
- 9
- 13
- 6
- 5
- 6
- 29
- 13
- 5
- 5
- 19
- 9
- 6
- 10
- 26
- 15
- 43
- 78
- 10
- 7
- 14
- 10
- 6
- 5
- 7
- 12
- 17
- 6
- 9
- 9
- 7
- 6
- 8
- 7
- 7
- 5
- 5
- 7
- 19
- 17
- 8
- 6
- 7
- 10
- 9
- 5
- 13
- 19
- 67
- 32
- 8
- 7
- 19
- 6
- 16
- 24
- 5
- 103
- 5
- 11
- 6
- 6
- 5
- 14
- 5
- 9
- 8
- 6
- 18
- 16
- 6
- 10
- 6
- 6
- 16
- 6
- 6
- 6
- 10
- 5
- 5
- 41
- 5
- 10
- 9
- 7
- 7
- 9
- 15
- 7
- 8
- 8
- 23
- 39
- 5
- 7
- 18
- 9
- 10
- 5
- 5
- 5
- 15
- 12
- 9
- 15
- 5
- 5
- 9
- 8
- 95
- 8
- 11
- 5
- 5
- 5
- 10
- 5
- 6
- 6
- 15
- 6
- 13
- 5
- 5
- 11
- 5
- 18
- 7
- 11
- 7
- 5
- 5
- 6
- 8
- 19
- 15
- 8
- 5
- 13
- 7
- 13
- 6
- 8
- 5
- 16
- 6
- 7
- 7
- 6
- 5
- 14
- 5
- 10
- 5
- 15
- 6
- 8
- 7
- 9
- 41
- 10
- 6
- 8
- 6
- 26
- 6
- 17
- 39
- 5
- 5
- 12
- 15
- 12
- 33
- 11
- 7
- 10
- 17
- 6
- 12
- 5
- 17
- 35
- 7
- 17
- 8
- 9
- 5
- 5
- 14
- 6
- 24
- 78
- 14
- 27
- 45
- 5
- 7
- 5
- 5
- 7
- 6
- 8
- 5
- 12
- 6
- 6
- 7
- 7
- 9
- 12
- 7
- 7
- 5
- 17
- 91
- 13
- 6
- 44
- 6
- 5
- 13
- 7
- 8
- 5
- 10
- 13
- 10
- 12
- 7
- 6
- 34
- 7
- 6
- 7
- 5
- 9
- 16
- 18
- 5
- 20
- 5
- 28
- 6
- 5
- 6
- 75
- 11
- 5
- 16
- 6
- 5
- 12
- 22
- 5
- 10
- 6
- 8
- 6
- 7
- 30
- 6
- 5
- 7
- 24
- 6
- 11
- 15
- 13
- 7
- 15
- 16
- 14
- 13
- 23
- 8
- 78
- 11
- 5
- 10
- 12
- 5
- 27
- 5
- 27
- 34
- 5
- 7
- 7
- 5
- 7
- 6
- 13
- 5
- 22
- 10
- 6
- 5
- 7
- 11
- 13
- 6
- 21
- 6
- 9
- 11
- 8
- 11
- 8
- 15
- 6
- 5
- 34
- 5
- 14
- 8
- 9
- 5
- 6
- 6
- 7
- 7
- 22
- 7
- 9
- 8
- 7
- 7
- 94
- 8
- 6
- 5
- 5
- 12
- 11
- 8
- 5
- 8
- 5
- 12
- 35
- 6
- 5
- 17
- 8
- 5
- 5
- 9
- 5
- 5
- 12
- 5
- 21
- 26
- 10
- 5
- 5
- 6
- 9
- 9
- 6
- 6
- 5
- 10
- 6
- 8
- 10
- 6
- 9
- 49
- 18
- 5
- 38
- 12
- 10
- 9
- 5
- 13
- 20
- 13
- 14
- 15
- 12
- 6
- 8
- 8
- 27
- 12
- 5
- 11
- 6
- 5
- 21
- 6
- 9
- 5
- 11
- 14
- 9
- 5
- 9
- 6
- 16
- 7
- 13
- 8
- 5
- 11
- 7
- 8
- 23
- 8
- 5
- 11
- 10
- 8
- 8
- 37
- 16
- 8
- 8
- 7
- 7
- 5
- 14
- 8
- 5
- 5
- 10
- 10
- 29
- 6
- 16
- 7
- 33
- 8
- 10
- 7
- 10
- 90
- 7
- 7
- 6
- 5
- 7
- 6
- 31
- 15
- 5
- 5
- 8
- 78
- 5
- 17
- 9
- 8
- 6
- 13
- 11
- 19
- 18
- 6
- 9
- 92
- 6
- 46
- 5
- 11
- 9
- 10
- 89
- 21
- 6
- 20
- 7
- 10
- 6
- 9
- 14
- 18
- 9
- 6
- 6
- 5
- 8
- 5
- 90
- 7
- 6
- 5
- 5
- 6
- 20
- 9
- 13
- 6
- 82
- 11
- 18
- 12
- 15
- 11
- 10
- 13
- 5
- 7
- 22
- 14
- 6
- 7
- 7
- 7
- 7
- 15
- 6
- 20
- 8
- 6
- 5
- 6
- 7
- 6
- 7
- 14
- 9
- 8
- 6
- 13
- 6
- 12
- 23
- 29
- 7
- 6
- 5
- 16
- 6
- 6
- 7
- 13
- 9
- 6
- 33
- 17
- 5
- 10
- 10
- 8
- 6
- 43
- 6
- 51
- 9
- 6
- 8
- 6
- 10
- 12
- 14
- 24
- 6
- 5
- 16
- 9
- 16
- 16
- 22
- 5
- 5
- 8
- 7
- 8
- 25
- 12
- 20
- 60
- 10
- 14
- 20
- 8
- 9
- 5
- 22
- 19
- 17
- 5
- 8
- 6
- 5
- 21
- 9
- 57
- 81
- 23
- 12
- 8
- 10
- 15
- 5
- 5
- 12
- 16
- 5
- 12
- 5
- 14
- 10
- 7
- 14
- 8
- 6
- 8
- 5
- 89
- 11
- 17
- 7
- 15
- 10
- 6
- 8
- 5
- 6
- 13
- 7
- 10
- 5
- 34
- 5
- 11
- 9
- 11
- 5
- 6
- 13
- 18
- 37
- 6
- 5
- 8
- 14
- 8
- 19
- 14
- 7
- 7
- 5
- 8
- 6
- 9
- 23
- 6
- 13
- 10
- 6
- 9
- 6
- 6
- 7
- 6
- 14
- 11
- 9
- 5
- 18
- 5
- 15
- 17
- 5
- 8
- 19
- 27
- 14
- 14
- 23
- 6
- 18
- 5
- 11
- 5
- 11
- 6
- 18
- 8
- 6
- 6
- 50
- 6
- 11
- 5
- 35
- 5
- 5
- 21
- 6
- 44
- 37
- 58
- 40
- 7
- 12
- 5
- 11
- 6
- 21
- 32
- 7
- 27
- 15
- 19
- 8
- 5
- 11
- 5
- 8
- 9
- 6
- 6
- 21
- Verlag
-
- 7
- 11100
- 3
- 10
- 2
- 18
- 49
- 5
- 1
- 14
- 31
- Preis
-
- 42
- 419
- 8535
- 2244
- Sprachen
-
- 11235
- 17
- 13
- 1
- Verfügbarkeit
-
- 10966
- 274
- Eigenschaften
-
- 7
- Katalog
-
- 11240
- 600
-
Baar / Strohmeier / Moreira UML 2004 - The Unified Modeling Language
Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23307-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leue / Systä Scenarios: Models, Transformations and Tools
International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26189-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Morik / Boulicaut / Siebes Local Pattern Detection
International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26543-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gordon / Milner / Wadsworth Edinburgh LCF
A Mechanized Logic of Computation1. Auflage 1979Verlag: SpringerISBN: 978-3-540-09724-2Medium: Buch21,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage21,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jünger / Naddef Computational Combinatorial Optimization
Optimal or Provably Near-Optimal Solutions1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42877-0Medium: 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
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maffei / Ryan Principles of Security and Trust
6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54454-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barkowsky / Burte / Hölscher Spatial Cognition X
13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68188-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Danvy / Glück / Thiemann Partial Evaluation
International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61580-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montanari / Sassone CONCUR '96: Concurrency Theory
7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61604-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Merz / Spies Formal Systems Specification
The RPC-Memory Specification Case Study1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61984-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bjørner / Broy / Pottosin Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62064-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meersman / Dillon / Herrero On the Move to Meaningful Internet Systems: OTM 2009
Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-05150-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonuccelli / Crescenzi / Petreschi Algorithms and Complexity
Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57811-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ahrendt / Beckert / Bubel Deductive Software Verification - The KeY Book
From Theory to Practice1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49811-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baldoni / Müller / Nunes Engineering Multi-Agent Systems
4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-50982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ichise / Lecue / Kawamura Semantic Technology
8th Joint International Conference, JIST 2018, Awaji, Japan, November 26-28, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-04283-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sekanina / Hu / Lourenço Genetic Programming
22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-16669-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Batina / Özbudak Arithmetic of Finite Fields
11th International Workshop, WAIFI 2026, Santander, Spain, June 3-5, 2026, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-27573-8Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Coppens / Volckaert / Naessens Availability, Reliability and Security
ARES 2025 International Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00629-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage62,05 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Coppens / Volckaert / Naessens Availability, Reliability and Security
ARES 2025 International Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00632-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage70,61 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Bittanti Software Reliability Modelling and Identification
1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50695-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aarts / Leeuwen / Rem PARLE '91. Parallel Architectures and Languages Europe
Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54152-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kowalczyk / Vo / Maamar Service-Oriented Computing: Agents, Semantics, and Engineering
AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10738-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Hinchey ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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