Ergebnisse filtern
- Fachgebiet
- Medium
-
- 11397
- 2638
- Erscheinungsjahr
-
- 104
- 947
- 1019
- 1058
- 785
- 654
- 394
- 422
- 437
- 422
- 396
- 433
- 445
- 422
- 471
- 410
- 412
- 369
- 254
- 236
- 269
- 272
- 242
- 436
- 483
- 259
- 260
- 180
- 180
- 145
- 145
- 137
- 121
- 114
- 96
- 74
- 86
- 56
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 10
- 6
- 10
- 31
- 13
- 9
- 6
- 10
- 8
- 6
- 23
- 9
- 26
- 7
- 9
- 6
- 9
- 7
- 8
- 7
- 15
- 40
- 44
- 59
- 7
- 6
- 8
- 6
- 20
- 8
- 25
- 14
- 7
- 7
- 8
- 58
- 15
- 6
- 6
- 6
- 7
- 6
- 6
- 15
- 8
- 49
- 10
- 31
- 10
- 12
- 11
- 10
- 8
- 6
- 13
- 7
- 9
- 27
- 6
- 6
- 11
- 23
- 13
- 11
- 10
- 31
- 17
- 10
- 6
- 48
- 9
- 28
- 22
- 8
- 10
- 10
- 9
- 8
- 9
- 6
- 8
- 8
- 11
- 18
- 13
- 7
- 15
- 11
- 8
- 15
- 8
- 6
- 7
- 10
- 58
- 25
- 7
- 6
- 6
- 8
- 6
- 19
- 10
- 8
- 7
- 16
- 10
- 6
- 9
- 17
- 10
- 9
- 8
- 31
- 7
- 17
- 6
- 8
- 9
- 6
- 6
- 17
- 6
- 9
- 6
- 8
- 7
- 15
- 6
- 7
- 41
- 6
- 19
- 48
- 15
- 11
- 20
- 24
- 15
- 53
- 15
- 46
- 10
- 17
- 8
- 6
- 8
- 8
- 6
- 13
- 12
- 6
- 7
- 16
- 7
- 16
- 6
- 58
- 6
- 10
- 13
- 14
- 13
- 10
- 6
- 9
- 7
- 11
- 11
- 15
- 6
- 7
- 6
- 7
- 9
- 21
- 8
- 8
- 20
- 8
- 10
- 10
- 10
- 7
- 32
- 30
- 19
- 32
- 8
- 13
- 7
- 11
- 9
- 7
- 10
- 7
- 24
- 12
- 31
- 7
- 7
- 6
- 7
- 10
- 12
- 6
- 10
- 10
- 8
- 7
- 6
- 11
- 21
- 15
- 7
- 14
- 12
- 8
- 10
- 47
- 49
- 9
- 53
- 10
- 12
- 12
- 6
- 8
- 42
- 17
- 6
- 7
- 12
- 6
- 6
- 6
- 6
- 7
- 18
- 6
- 6
- 12
- 6
- 10
- 7
- 12
- 29
- 19
- 62
- 97
- 13
- 7
- 6
- 21
- 10
- 13
- 8
- 8
- 14
- 6
- 18
- 6
- 11
- 13
- 9
- 11
- 8
- 7
- 11
- 6
- 10
- 27
- 24
- 8
- 9
- 12
- 6
- 20
- 14
- 6
- 18
- 23
- 77
- 48
- 10
- 11
- 27
- 10
- 25
- 33
- 8
- 132
- 6
- 7
- 16
- 11
- 6
- 10
- 22
- 7
- 15
- 13
- 7
- 6
- 26
- 14
- 6
- 6
- 14
- 7
- 7
- 11
- 22
- 6
- 11
- 7
- 6
- 6
- 7
- 8
- 13
- 6
- 7
- 50
- 6
- 16
- 11
- 7
- 11
- 10
- 20
- 7
- 12
- 9
- 29
- 58
- 8
- 9
- 7
- 12
- 21
- 6
- 11
- 11
- 6
- 8
- 11
- 22
- 14
- 9
- 22
- 9
- 7
- 7
- 8
- 7
- 12
- 9
- 123
- 6
- 6
- 11
- 8
- 18
- 6
- 6
- 9
- 6
- 8
- 6
- 9
- 22
- 7
- 16
- 6
- 15
- 7
- 25
- 13
- 13
- 12
- 8
- 7
- 14
- 26
- 8
- 17
- 9
- 7
- 12
- 15
- 9
- 6
- 6
- 7
- 6
- 14
- 6
- 9
- 9
- 6
- 16
- 7
- 6
- 10
- 7
- 6
- 6
- 17
- 6
- 10
- 17
- 7
- 21
- 9
- 7
- 13
- 8
- 45
- 12
- 8
- 11
- 7
- 29
- 8
- 6
- 7
- 22
- 49
- 8
- 7
- 8
- 17
- 22
- 6
- 15
- 41
- 11
- 9
- 10
- 7
- 6
- 8
- 8
- 21
- 7
- 7
- 15
- 6
- 22
- 46
- 7
- 19
- 8
- 8
- 20
- 9
- 9
- 6
- 21
- 9
- 7
- 27
- 6
- 97
- 6
- 15
- 28
- 62
- 13
- 6
- 8
- 7
- 7
- 11
- 7
- 9
- 7
- 13
- 6
- 13
- 12
- 8
- 7
- 10
- 14
- 7
- 8
- 7
- 6
- 21
- 7
- 116
- 6
- 19
- 7
- 55
- 8
- 8
- 8
- 16
- 13
- 15
- 8
- 7
- 12
- 19
- 15
- 13
- 9
- 6
- 36
- 7
- 7
- 13
- 16
- 23
- 6
- 25
- 6
- 6
- 34
- 10
- 7
- 6
- 10
- 6
- 95
- 13
- 23
- 9
- 8
- 7
- 17
- 28
- 10
- 9
- 12
- 9
- 6
- 7
- 12
- 40
- 12
- 12
- 7
- 33
- 7
- 8
- 14
- 17
- 8
- 14
- 8
- 6
- 21
- 22
- 19
- 20
- 23
- 10
- 6
- 97
- 13
- 13
- 12
- 8
- 36
- 13
- 10
- 11
- 38
- 39
- 6
- 7
- 8
- 7
- 9
- 15
- 7
- 31
- 6
- 10
- 7
- 7
- 10
- 9
- 8
- 6
- 8
- 13
- 6
- 15
- 29
- 13
- 14
- 14
- 14
- 13
- 9
- 11
- 17
- 6
- 7
- 8
- 52
- 6
- 16
- 12
- 7
- 6
- 7
- 9
- 8
- 7
- 9
- 7
- 10
- 23
- 7
- 7
- 6
- 13
- 9
- 6
- 8
- 6
- 9
- 8
- 122
- 6
- 9
- 10
- 6
- 7
- 7
- 14
- 19
- 14
- 8
- 7
- 13
- 13
- 7
- 6
- 58
- 11
- 26
- 12
- 13
- 7
- 6
- 6
- 20
- 6
- 26
- 31
- 19
- 6
- 6
- 7
- 12
- 10
- 6
- 7
- 7
- 7
- 18
- 6
- 8
- 11
- 6
- 12
- 6
- 10
- 11
- 58
- 7
- 6
- 21
- 10
- 6
- 49
- 16
- 6
- 6
- 11
- 11
- 17
- 24
- 21
- 22
- 22
- 9
- 15
- 7
- 11
- 32
- 10
- 7
- 15
- 7
- 7
- 8
- 25
- 7
- 12
- 21
- 15
- 7
- 16
- 8
- 17
- 8
- 17
- 8
- 22
- 7
- 11
- 31
- 10
- 12
- 7
- 12
- 10
- 8
- 8
- 48
- 16
- 11
- 8
- 10
- 19
- 10
- 9
- 8
- 8
- 9
- 12
- 16
- 37
- 9
- 15
- 10
- 8
- 46
- 7
- 7
- 11
- 10
- 12
- 11
- 7
- 114
- 10
- 10
- 7
- 39
- 22
- 7
- 97
- 8
- 30
- 11
- 9
- 7
- 8
- 17
- 25
- 23
- 9
- 10
- 116
- 51
- 13
- 11
- 17
- 113
- 27
- 7
- 23
- 11
- 12
- 7
- 7
- 13
- 18
- 23
- 8
- 7
- 8
- 9
- 7
- 7
- 14
- 8
- 114
- 9
- 8
- 25
- 7
- 13
- 13
- 7
- 100
- 13
- 19
- 21
- 9
- 16
- 12
- 7
- 14
- 17
- 13
- 9
- 22
- 21
- 9
- 10
- 12
- 15
- 9
- 19
- 10
- 34
- 10
- 10
- 8
- 12
- 9
- 17
- 12
- 13
- 7
- 7
- 21
- 7
- 17
- 25
- 32
- 7
- 8
- 8
- 11
- 25
- 16
- 7
- 8
- 17
- 7
- 8
- 44
- 18
- 7
- 9
- 8
- 10
- 7
- 19
- 10
- 54
- 9
- 63
- 12
- 9
- 16
- 10
- 13
- 13
- 8
- 15
- 30
- 7
- 23
- 16
- 19
- 23
- 27
- 7
- 12
- 8
- 14
- 31
- 19
- 34
- 84
- 15
- 22
- 29
- 9
- 13
- 27
- 7
- 22
- 19
- 7
- 10
- 7
- 8
- 25
- 13
- 79
- 101
- 31
- 17
- 11
- 8
- 16
- 18
- 11
- 13
- 20
- 7
- 10
- 7
- 18
- 20
- 19
- 12
- 9
- 113
- 13
- 7
- 24
- 11
- 23
- 11
- 7
- 11
- 14
- 10
- 11
- 35
- 11
- 8
- 10
- 7
- 12
- 27
- 9
- 10
- 45
- 9
- 18
- 7
- 21
- 18
- 12
- 8
- 12
- 28
- 14
- 15
- 11
- 12
- 9
- 14
- 10
- 9
- 23
- 15
- 8
- 14
- 10
- 21
- 33
- 9
- 15
- 27
- 24
- 10
- 16
- 12
- 23
- 8
- 61
- 10
- 36
- 30
- 52
- 49
- 80
- 56
- 16
- 8
- 9
- 25
- 39
- 8
- 33
- 24
- 28
- 11
- 9
- 12
- 9
- 11
- 24
- Verlag
-
- 7
- 12095
- 23
- 1657
- 2
- 2
- 4
- 42
- 5
- 149
- 1
- 1
- 13
- 34
- Preis
-
- 47
- 523
- 10949
- 2516
- Sprachen
-
- 14027
- 20
- 15
- 1
- Verfügbarkeit
-
- 13737
- 298
- Eigenschaften
-
- 44
- Katalog
-
- 14035
- 595
-
Brisaboa / Pedreira / Zezula Similarity Search and Applications
6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41061-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40325-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bozapalidis / Rahonis Algebraic Informatics
3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 20091. Auflage 2009Verlag: SpringerISBN: 978-3-642-03563-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peters / Skowron / Ramanna Transactions on Rough Sets XVI
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baldoni / Flocchini / Binoy Principles of Distributed Systems
16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35475-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baier / Haverkort / Hermanns Validation of Stochastic Systems
A Guide to Current Research1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22265-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aggarwal / Pandu Rangan Algorithms and Computations
10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66916-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giunchiglia Artificial Intelligence: Methodology, Systems, and Applications
8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64993-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akiyama / Ito / Sakai Discrete and Computational Geometry and Graphs
16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13286-0Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dierkes / Pecheur Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41009-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Srinivasa / Bhatnagar Big Data Analytics
First International Conference, BDA 2012, New Delhi, India, December 24-26, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35541-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cointe Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66280-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21349-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dhaenens / Jourdan / Marmion Learning and Intelligent Optimization
9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-19083-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Harel First-Order Dynamic Logic
1. Auflage 1979Verlag: SpringerISBN: 978-3-540-09237-7Medium: Buch10,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage10,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bang / Ragnemalm Persuasive Technology: Design for Health and Safety
7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31036-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barringer A Survey of Verification Techniques for Parallel Programs
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15239-2Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deb / Poli / Banzhaf Genetic and Evolutionary Computation - GECCO 2004
Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 Proceedings, Part II1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22343-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reussner / Mayer / Stafford Quality of Software Architectures and Software Quality
First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29033-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31499-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Konrad Model Generation for Natural Language Interpretation and Analysis
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21069-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eklund / Ellis / Mann Conceptual Structures: Knowledge Representations as Interlingua
4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61534-7Medium: 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