Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1752 Angewandte Informatik
- 457 Betriebssysteme
- 263 Business Application
- 1551 Computerkommunikation & -vernetzung
- 2695 Daten / Datenbanken
- 143 Digital Lifestyle
- 947 EDV & Informatik Allgemein
- 7793 Informatik
- 515 Professionelle Anwendung
- 4165 Programmierung | Softwareentwicklung
- 3610 Technische Informatik
- Medium
-
- 10537
- Erscheinungsjahr
-
- 183
- 808
- 831
- 622
- 487
- 276
- 288
- 298
- 289
- 311
- 306
- 314
- 279
- 310
- 315
- 269
- 270
- 270
- 231
- 271
- 272
- 223
- 362
- 305
- 261
- 250
- 177
- 176
- 117
- 132
- 135
- 118
- 108
- 96
- 73
- 84
- 57
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 6
- 5
- 5
- 5
- 4
- 6
- 4
- 5
- 6
- 5
- 6
- 9
- 6
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 11
- 8
- 5
- 6
- 16
- 6
- 4
- 20
- 5
- 8
- 5
- 6
- 4
- 6
- 5
- 9
- 9
- 4
- 6
- 4
- 4
- 7
- 5
- 14
- 5
- 25
- 36
- 6
- 39
- 7
- 7
- 4
- 6
- 7
- 15
- 16
- 4
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 5
- 4
- 5
- 4
- 4
- 9
- 6
- 5
- 5
- 16
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 8
- 4
- 6
- 7
- 6
- 8
- 7
- 8
- 4
- 12
- 5
- 5
- 4
- 5
- 4
- 17
- 7
- 6
- 7
- 4
- 15
- 4
- 10
- 5
- 5
- 4
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 4
- 10
- 5
- 5
- 9
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 4
- 7
- 8
- 11
- 9
- 4
- 4
- 4
- 5
- 4
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 5
- 4
- 6
- 5
- 8
- 14
- 5
- 4
- 11
- 7
- 4
- 16
- 11
- 16
- 6
- 5
- 5
- 4
- 4
- 5
- 8
- 4
- 39
- 9
- 9
- 4
- 4
- 4
- 8
- 5
- 5
- 8
- 9
- 4
- 4
- 16
- 6
- 7
- 10
- 5
- 9
- 7
- 6
- 4
- 14
- 4
- 4
- 7
- 4
- 24
- 4
- 13
- 10
- 9
- 7
- 4
- 5
- 11
- 5
- 4
- 8
- 34
- 10
- 41
- 10
- 8
- 18
- 14
- 4
- 5
- 7
- 4
- 4
- 21
- 8
- 38
- 4
- 8
- 14
- 10
- 4
- 4
- 7
- 12
- 4
- 6
- 9
- 13
- 8
- 7
- 39
- 4
- 5
- 5
- 10
- 9
- 10
- 4
- 5
- 4
- 6
- 4
- 6
- 11
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 15
- 10
- 5
- 13
- 5
- 5
- 4
- 6
- 4
- 4
- 4
- 15
- 21
- 8
- 5
- 9
- 4
- 6
- 4
- 6
- 14
- 5
- 24
- 6
- 7
- 4
- 4
- 6
- 4
- 7
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 43
- 38
- 6
- 23
- 5
- 4
- 16
- 8
- 23
- 11
- 5
- 5
- 7
- 18
- 6
- 4
- 4
- 4
- 5
- 5
- 4
- 5
- 4
- 27
- 4
- 15
- 46
- 8
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 5
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 5
- 4
- 4
- 4
- 8
- 6
- 5
- 4
- 5
- 10
- 4
- 15
- 55
- 32
- 4
- 4
- 22
- 7
- 18
- 20
- 90
- 11
- 6
- 6
- 15
- 4
- 4
- 7
- 19
- 13
- 5
- 5
- 6
- 5
- 9
- 13
- 7
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 9
- 5
- 39
- 4
- 7
- 7
- 4
- 7
- 16
- 8
- 4
- 7
- 19
- 39
- 6
- 4
- 7
- 17
- 10
- 6
- 7
- 6
- 5
- 4
- 8
- 5
- 8
- 15
- 6
- 6
- 5
- 8
- 5
- 67
- 5
- 8
- 10
- 6
- 7
- 15
- 6
- 11
- 5
- 8
- 18
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 7
- 13
- 5
- 6
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 10
- 9
- 11
- 7
- 8
- 7
- 6
- 6
- 29
- 8
- 6
- 5
- 8
- 6
- 26
- 6
- 15
- 35
- 6
- 6
- 8
- 9
- 15
- 5
- 29
- 6
- 9
- 5
- 5
- 9
- 5
- 5
- 14
- 6
- 5
- 5
- 16
- 20
- 32
- 5
- 17
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 30
- 35
- 6
- 9
- 9
- 6
- 17
- 6
- 5
- 12
- 5
- 5
- 8
- 7
- 6
- 6
- 7
- 8
- 5
- 13
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 13
- 12
- 5
- 5
- 9
- 13
- 18
- 20
- 24
- 8
- 5
- 62
- 19
- 6
- 9
- 5
- 12
- 20
- 5
- 9
- 5
- 6
- 7
- 5
- 5
- 8
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 15
- 12
- 8
- 18
- 11
- 9
- 9
- 9
- 24
- 7
- 32
- 29
- 6
- 6
- 8
- 7
- 16
- 8
- 6
- 6
- 5
- 6
- 7
- 6
- 11
- 21
- 6
- 7
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 5
- 7
- 5
- 5
- 16
- 7
- 9
- 9
- 5
- 5
- 9
- 82
- 10
- 5
- 7
- 6
- 13
- 5
- 6
- 5
- 9
- 11
- 37
- 13
- 5
- 16
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 8
- 5
- 8
- 6
- 6
- 6
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 5
- 19
- 7
- 6
- 18
- 14
- 5
- 13
- 11
- 14
- 15
- 8
- 16
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 6
- 22
- 12
- 12
- 11
- 6
- 11
- 7
- 7
- 16
- 5
- 15
- 13
- 8
- 24
- 9
- 7
- 6
- 11
- 6
- 5
- 10
- 13
- 10
- 5
- 8
- 6
- 14
- 6
- 6
- 5
- 12
- 24
- 6
- 12
- 6
- 7
- 19
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 5
- 18
- 9
- 8
- 8
- 11
- 5
- 19
- 8
- 91
- 6
- 48
- 11
- 11
- 5
- 89
- 22
- 14
- 13
- 5
- 11
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 8
- 89
- 5
- 7
- 15
- 20
- 10
- 12
- 11
- 17
- 11
- 12
- 6
- 5
- 11
- 5
- 10
- 22
- 7
- 6
- 6
- 5
- 9
- 13
- 5
- 24
- 6
- 5
- 6
- 6
- 5
- 5
- 14
- 6
- 7
- 8
- 8
- 11
- 12
- 35
- 10
- 6
- 6
- 7
- 18
- 9
- 11
- 8
- 10
- 11
- 5
- 5
- 7
- 11
- 5
- 38
- 7
- 35
- 12
- 7
- 8
- 5
- 6
- 10
- 8
- 22
- 6
- 8
- 8
- 15
- 14
- 24
- 8
- 22
- 10
- 13
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 18
- 14
- 6
- 9
- 54
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 11
- 7
- 9
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 15
- 6
- 8
- 37
- 5
- 11
- 5
- 7
- 12
- 5
- 13
- 19
- 8
- 21
- 6
- 5
- 17
- 20
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 6
- 27
- 6
- 15
- 10
- 5
- 6
- 8
- 6
- 6
- 5
- 8
- 11
- 8
- 9
- 18
- 5
- 11
- 5
- 11
- 5
- 6
- 24
- 7
- 14
- 5
- 5
- 23
- 11
- 5
- 5
- 6
- 5
- 9
- 18
- 6
- 6
- 6
- 47
- 11
- 5
- 5
- 5
- 21
- 6
- 43
- 14
- 62
- 18
- 5
- 9
- 6
- 6
- 32
- 7
- 9
- 5
- 18
- 21
- 19
- 11
- 9
- 12
- 10
- 6
- 6
- 20
- Verlag
-
- 2
- 10480
- 3
- 5
- 1
- 1
- 3
- 1
- 41
- Preis
-
- 42
- 388
- 8071
- 2036
- Sprachen
-
- 10532
- 17
- 13
- Verfügbarkeit
-
- 10525
- 12
- Eigenschaften
-
- 4
- Katalog
-
- 10537
- 544
-
Bertacco / Legay Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salomaa / Steinby Automata, Languages and Programming
Fourth Colloquium, University of Turku, Finnland, July 18-22, 19771. Auflage 1977Verlag: SpringerISBN: 978-3-540-08342-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-75386-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jourdan / Mounier / Adams Foundations and Practice of Security
15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-30121-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Younas / Awan / Petcu Mobile Web and Intelligent Information Systems
20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68004-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chechik / Katoen / Leucker Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-27480-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bobaru / Havelund / Holzmann NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20397-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ras / Ohsuga Foundations of Intelligent Systems
12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings2010Verlag: SpringerISBN: 978-3-540-41094-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jampel / Freuder / Maher Over-Constrained Systems
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference
9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42332-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Apostolico / Melucci String Processing and Information Retrieval
11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23210-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leite / Omicini / Sterling Declarative Agent Languages and Technologies
First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22124-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring Mathematics of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64591-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Disser / Verykios Algorithmic Aspects of Cloud Computing
4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19758-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kertesz / Li / Supnithi Computational Data and Social Networks
13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-966388-0Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lipták / Moura / Figueroa String Processing and Information Retrieval
31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-72199-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Díaz Agudo / Watson Case-Based Reasoning Research and Development
20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32985-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuzzolin / Cannons / Lomonaco Continual Semi-Supervised Learning
First International Workshop, CSSL 2021, Virtual Event, August 19-20, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-17586-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vaidya / Zhang / Li Cyberspace Safety and Security
11th International Symposium, CSS 2019, Guangzhou, China, December 1-3, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-37351-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davidor / Schwefel / Männer Parallel Problem Solving from Nature - PPSN III
International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58484-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hentenryck Static Analysis
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63468-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mahmud / Doborjeh / Wong Neural Information Processing
31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part IXErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-966601-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nambiar / Poess Performance Evaluation and Benchmarking
13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-030-94436-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Karmouch / Korba / Madeira Mobility Aware Technologies and Applications
First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23423-4Medium: 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