Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1832 Angewandte Informatik
- 469 Betriebssysteme
- 280 Business Application
- 1557 Computerkommunikation & -vernetzung
- 2659 Daten / Datenbanken
- 152 Digital Lifestyle
- 965 EDV & Informatik Allgemein
- 7891 Informatik
- 513 Professionelle Anwendung
- 4196 Programmierung | Softwareentwicklung
- 3715 Technische Informatik
- Medium
-
- 10644
- Erscheinungsjahr
-
- 322
- 799
- 844
- 615
- 483
- 283
- 305
- 304
- 310
- 266
- 317
- 298
- 300
- 316
- 303
- 261
- 265
- 246
- 216
- 257
- 272
- 233
- 361
- 301
- 257
- 253
- 178
- 176
- 135
- 137
- 134
- 116
- 105
- 93
- 73
- 88
- 59
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 5
- 7
- 6
- 4
- 4
- 6
- 4
- 6
- 6
- 4
- 9
- 4
- 12
- 8
- 10
- 7
- 4
- 4
- 4
- 5
- 5
- 9
- 10
- 6
- 4
- 4
- 7
- 17
- 4
- 18
- 4
- 8
- 5
- 4
- 4
- 5
- 5
- 9
- 9
- 4
- 5
- 4
- 4
- 5
- 4
- 6
- 14
- 32
- 36
- 4
- 41
- 4
- 5
- 4
- 4
- 4
- 7
- 5
- 5
- 5
- 15
- 4
- 16
- 13
- 4
- 4
- 4
- 4
- 6
- 39
- 10
- 6
- 4
- 6
- 5
- 4
- 7
- 6
- 7
- 4
- 4
- 4
- 8
- 4
- 6
- 16
- 10
- 9
- 5
- 5
- 5
- 6
- 6
- 8
- 6
- 4
- 7
- 9
- 9
- 11
- 7
- 7
- 4
- 11
- 4
- 4
- 5
- 4
- 20
- 6
- 6
- 11
- 6
- 9
- 5
- 5
- 5
- 10
- 6
- 4
- 8
- 4
- 26
- 5
- 4
- 9
- 4
- 5
- 9
- 5
- 6
- 40
- 4
- 4
- 4
- 4
- 7
- 6
- 20
- 16
- 6
- 4
- 7
- 6
- 4
- 9
- 9
- 4
- 4
- 4
- 7
- 4
- 5
- 12
- 4
- 4
- 5
- 4
- 5
- 11
- 4
- 5
- 7
- 4
- 5
- 9
- 12
- 5
- 4
- 13
- 9
- 4
- 15
- 9
- 16
- 4
- 8
- 4
- 7
- 4
- 4
- 7
- 10
- 4
- 39
- 15
- 8
- 6
- 4
- 4
- 9
- 4
- 5
- 4
- 8
- 6
- 15
- 5
- 7
- 10
- 4
- 5
- 14
- 6
- 6
- 14
- 4
- 8
- 24
- 4
- 4
- 8
- 6
- 4
- 4
- 8
- 4
- 9
- 6
- 5
- 6
- 5
- 4
- 4
- 5
- 34
- 4
- 12
- 41
- 14
- 8
- 14
- 15
- 11
- 22
- 9
- 35
- 4
- 9
- 14
- 15
- 4
- 4
- 4
- 12
- 4
- 6
- 12
- 10
- 8
- 5
- 4
- 39
- 5
- 4
- 10
- 6
- 9
- 4
- 4
- 4
- 8
- 6
- 10
- 13
- 6
- 6
- 4
- 4
- 15
- 5
- 7
- 12
- 6
- 5
- 4
- 6
- 4
- 6
- 9
- 15
- 23
- 7
- 7
- 5
- 6
- 6
- 8
- 6
- 6
- 9
- 11
- 4
- 24
- 6
- 7
- 4
- 5
- 4
- 4
- 6
- 4
- 8
- 6
- 7
- 4
- 4
- 5
- 4
- 6
- 4
- 15
- 10
- 6
- 9
- 9
- 4
- 4
- 5
- 45
- 40
- 11
- 23
- 8
- 13
- 6
- 32
- 13
- 5
- 18
- 4
- 4
- 4
- 8
- 4
- 5
- 4
- 9
- 4
- 25
- 4
- 12
- 43
- 4
- 7
- 7
- 4
- 14
- 6
- 7
- 5
- 6
- 8
- 14
- 6
- 4
- 4
- 4
- 6
- 8
- 8
- 6
- 5
- 5
- 4
- 7
- 16
- 14
- 4
- 6
- 4
- 10
- 4
- 4
- 4
- 13
- 8
- 5
- 4
- 7
- 4
- 18
- 54
- 34
- 9
- 4
- 22
- 7
- 17
- 22
- 92
- 6
- 11
- 6
- 4
- 4
- 8
- 5
- 16
- 4
- 11
- 6
- 6
- 18
- 12
- 9
- 5
- 5
- 4
- 13
- 4
- 7
- 5
- 4
- 4
- 4
- 6
- 7
- 4
- 12
- 5
- 5
- 41
- 6
- 4
- 8
- 4
- 10
- 5
- 5
- 10
- 12
- 6
- 8
- 8
- 21
- 39
- 8
- 17
- 8
- 5
- 16
- 15
- 8
- 8
- 67
- 7
- 6
- 6
- 7
- 15
- 7
- 11
- 7
- 18
- 7
- 5
- 6
- 10
- 18
- 10
- 11
- 7
- 13
- 5
- 7
- 13
- 6
- 6
- 8
- 5
- 12
- 6
- 5
- 6
- 10
- 7
- 8
- 10
- 5
- 5
- 8
- 7
- 10
- 30
- 13
- 8
- 24
- 8
- 13
- 33
- 5
- 6
- 9
- 15
- 6
- 5
- 33
- 6
- 6
- 10
- 5
- 8
- 5
- 7
- 16
- 6
- 6
- 15
- 14
- 31
- 20
- 8
- 8
- 6
- 5
- 15
- 23
- 5
- 8
- 26
- 43
- 8
- 5
- 5
- 5
- 8
- 5
- 10
- 6
- 5
- 6
- 12
- 6
- 6
- 5
- 6
- 9
- 7
- 6
- 15
- 91
- 12
- 19
- 7
- 12
- 7
- 8
- 6
- 13
- 5
- 6
- 7
- 5
- 12
- 11
- 7
- 18
- 19
- 6
- 25
- 8
- 5
- 58
- 5
- 16
- 6
- 7
- 11
- 22
- 5
- 6
- 9
- 6
- 6
- 9
- 10
- 6
- 5
- 9
- 25
- 6
- 6
- 5
- 10
- 11
- 13
- 14
- 16
- 11
- 10
- 16
- 5
- 11
- 9
- 28
- 7
- 36
- 28
- 7
- 6
- 6
- 8
- 5
- 18
- 7
- 5
- 7
- 14
- 7
- 6
- 5
- 6
- 10
- 19
- 8
- 8
- 6
- 8
- 5
- 5
- 8
- 12
- 6
- 5
- 32
- 5
- 13
- 8
- 8
- 5
- 5
- 5
- 20
- 7
- 5
- 9
- 6
- 6
- 6
- 10
- 8
- 5
- 84
- 7
- 6
- 5
- 5
- 9
- 11
- 5
- 6
- 5
- 11
- 8
- 38
- 5
- 5
- 20
- 8
- 5
- 5
- 10
- 7
- 8
- 5
- 6
- 6
- 11
- 5
- 6
- 6
- 7
- 10
- 5
- 6
- 7
- 5
- 7
- 7
- 5
- 6
- 10
- 43
- 6
- 21
- 6
- 21
- 17
- 9
- 6
- 6
- 13
- 12
- 17
- 15
- 6
- 15
- 5
- 5
- 9
- 26
- 13
- 9
- 11
- 6
- 20
- 5
- 10
- 6
- 15
- 12
- 6
- 6
- 6
- 15
- 5
- 11
- 6
- 6
- 14
- 8
- 24
- 5
- 5
- 6
- 10
- 11
- 12
- 7
- 6
- 5
- 12
- 6
- 7
- 9
- 31
- 6
- 13
- 7
- 7
- 20
- 7
- 5
- 10
- 90
- 5
- 7
- 6
- 11
- 6
- 20
- 15
- 8
- 17
- 12
- 8
- 11
- 9
- 12
- 20
- 92
- 6
- 49
- 11
- 11
- 6
- 6
- 89
- 16
- 5
- 14
- 12
- 10
- 9
- 20
- 13
- 5
- 6
- 9
- 6
- 5
- 8
- 5
- 7
- 90
- 5
- 6
- 16
- 8
- 6
- 12
- 14
- 16
- 5
- 10
- 9
- 5
- 10
- 5
- 9
- 7
- 22
- 15
- 6
- 5
- 5
- 13
- 6
- 25
- 7
- 6
- 5
- 6
- 5
- 14
- 9
- 9
- 6
- 16
- 17
- 22
- 26
- 5
- 6
- 20
- 8
- 5
- 10
- 10
- 16
- 5
- 6
- 12
- 8
- 38
- 8
- 48
- 14
- 6
- 11
- 11
- 11
- 9
- 22
- 5
- 8
- 17
- 7
- 14
- 15
- 18
- 6
- 5
- 10
- 5
- 23
- 7
- 25
- 57
- 10
- 15
- 17
- 8
- 9
- 6
- 5
- 19
- 20
- 12
- 7
- 6
- 10
- 53
- 24
- 12
- 6
- 12
- 14
- 5
- 7
- 12
- 9
- 6
- 11
- 8
- 15
- 15
- 7
- 6
- 11
- 9
- 6
- 89
- 10
- 16
- 5
- 16
- 6
- 5
- 5
- 13
- 9
- 7
- 31
- 5
- 11
- 5
- 5
- 11
- 5
- 13
- 19
- 5
- 11
- 6
- 19
- 6
- 5
- 5
- 13
- 23
- 6
- 13
- 12
- 6
- 6
- 8
- 5
- 8
- 5
- 6
- 9
- 23
- 8
- 15
- 10
- 6
- 5
- 6
- 6
- 5
- 16
- 13
- 8
- 5
- 5
- 5
- 18
- 5
- 10
- 5
- 12
- 6
- 8
- 7
- 26
- 14
- 14
- 7
- 5
- 19
- 11
- 5
- 9
- 5
- 13
- 18
- 6
- 6
- 6
- 41
- 5
- 8
- 5
- 23
- 44
- 14
- 63
- 5
- 18
- 5
- 12
- 10
- 6
- 6
- 32
- 7
- 23
- 21
- 17
- 5
- 5
- 6
- 6
- 5
- 12
- 9
- 5
- 19
- Verlag
-
- 3
- 10584
- 3
- 6
- 1
- 7
- 4
- 1
- 35
- Preis
-
- 42
- 381
- 8115
- 2106
- Sprachen
-
- 10639
- 16
- 13
- Verfügbarkeit
-
- 10632
- 12
- Eigenschaften
-
- 8
- Katalog
-
- 10644
- 556
-
Bidoit / Mosses CASL User Manual
Introduction to Using the Common Algebraic Specification Language1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20766-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Petriu / Rouquette / Haugen Model Driven Engineering Languages and Systems
13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16144-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kirchner / Ringeissen Algebraic Methodology and Software Technology
9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44144-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Van Gool Pattern Recognition
24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44209-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dubois / Wolff Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Panayiotou / Ellinas / Kyriakides Critical Information Infrastructures Security
9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31663-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Paolis / Arpaia / Sacco Extended Reality
International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-71709-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Supnithi / Yamaguchi / Pan Semantic Technology
4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15614-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bogdan / Gulliksen / Sauer Human-Centered and Error-Resilient Systems Development
IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, Augu1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44901-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
O'Sullivan Principles and Practice of Constraint Programming
20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10427-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45233-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Perny / Pirlot / Tsoukiàs Algorithmic Decision Theory
Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41574-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Escobar Rewriting Logic and Its Applications
10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12903-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dastani / Sirjani Fundamentals of Software Engineering
7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68971-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Costantini / Franconi / Van Woensel Rules and Reasoning
International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-61251-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kaklamanis / Pruhs Approximation and Online Algorithms
11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08000-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Freksa / Knauff / Krieg-Brückner Spatial Cognition IV, Reasoning, Action, Interaction
International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25048-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steinmetz / Wolf Interactive Distributed Multimedia Systems and Telecommunication Services
4th International Workshop, IDMS '97, Darmstadt, Germany, September 10-12, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63519-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Varadharajan / Mu Information Security and Privacy
6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42300-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Howard / Kang Convergence and Hybrid Information Technology
6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32644-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horimoto / Nakatsui / Popov Algebraic and Numeric Biology
4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28066-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asperti / Bancerek / Trybulec Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23029-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruni / Wolf Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kasturi / Tombre Graphics Recognition. Methods and Applications
First International Workshop, University Park, PA, USA, August (10-11), 1995. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61226-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