Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1833 Angewandte Informatik
- 469 Betriebssysteme
- 280 Business Application
- 1557 Computerkommunikation & -vernetzung
- 2660 Daten / Datenbanken
- 152 Digital Lifestyle
- 965 EDV & Informatik Allgemein
- 7892 Informatik
- 513 Professionelle Anwendung
- 4196 Programmierung | Softwareentwicklung
- 3715 Technische Informatik
- Medium
-
- 10645
- Erscheinungsjahr
-
- 323
- 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
- 10585
- 3
- 6
- 1
- 7
- 4
- 1
- 35
- Preis
-
- 42
- 381
- 8115
- 2107
- Sprachen
-
- 10640
- 16
- 13
- Verfügbarkeit
-
- 10633
- 12
- Eigenschaften
-
- 8
- Katalog
-
- 10645
- 556
-
Deshmukh / Havelund / Pinto NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-28078-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertogna / Pinho / Quiñones Reliable Software Technologies - Ada-Europe 2016
21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39082-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
6th International Conference San Francisco, CA, USA, October 20-24, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-20243-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finance Fundamental Approaches to Software Engineering
Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65718-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Andersson Analysis of Dynamical and Cognitive Systems
Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-58843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dam Analysis and Verification of Multiple-Agent Languages
5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62503-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katila / Magnin / Clarysse Functional Imaging and Modeling of the Heart
First International Workshop, FIMH 2001, Helsinki, Finland, November 15-16, 2001, ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42861-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chong / Kozyrakis / Oskin Intelligent Memory Systems
Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42328-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antoniou / Boley Rules and Rule Markup Languages for the Semantic Web
Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23842-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Liu / Chen Intelligent Robotics and Applications
7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13962-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seo / Kim Information Security and Cryptology - ICISC 2023
26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I2024Verlag: SpringerISBN: 978-981-97-1234-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ershov / Koster Methods of Algorithmic Language Implementation
1. Auflage 1977Verlag: SpringerISBN: 978-3-540-08065-7Medium: 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 -
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 -
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 -
Williams Instantiation Theory
On the Foundations of Automated DeductionErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vaidya / Gabbouj / Li Artificial Intelligence Security and Privacy
First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part II1. Auflage 2024Verlag: SpringerISBN: 978-981-99-9787-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ono / Kanazawa / de Queiroz Logic, Language, Information and Computation
16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02260-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aranda-Corral / Calmet / Martín-Mateos Artificial Intelligence and Symbolic Computation
12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13769-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alagar / Nivat Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60043-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuhn / Fuchs Controlled Natural Language
Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32611-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aguilera / Querzoni / Shapiro Principles of Distributed Systems
18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings2014Verlag: SpringerISBN: 978-3-319-14471-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27139-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Herman Self-Stabilizing Systems
6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40453-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blum / Paul / Takasu Mathematical Studies of Information Processing
Proceedings of the International Conference, Kyoto, Japan, August 23-26, 19781. Auflage 1979Verlag: SpringerISBN: 978-3-540-09541-5Medium: 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