Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10603
- 5267
- Erscheinungsjahr
-
- 124
- 1017
- 1067
- 794
- 658
- 408
- 404
- 451
- 458
- 435
- 445
- 428
- 415
- 427
- 446
- 455
- 418
- 533
- 482
- 592
- 554
- 518
- 724
- 1371
- 257
- 261
- 181
- 176
- 144
- 144
- 143
- 125
- 111
- 97
- 73
- 85
- 60
- 58
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 6
- 6
- 12
- 9
- 6
- 6
- 12
- 9
- 9
- 8
- 14
- 6
- 14
- 9
- 10
- 22
- 9
- 30
- 10
- 6
- 10
- 9
- 8
- 11
- 12
- 13
- 30
- 39
- 9
- 62
- 10
- 8
- 7
- 7
- 10
- 16
- 6
- 19
- 6
- 12
- 6
- 8
- 12
- 50
- 12
- 6
- 8
- 7
- 11
- 10
- 7
- 8
- 8
- 6
- 14
- 10
- 6
- 15
- 7
- 9
- 6
- 7
- 15
- 10
- 9
- 13
- 7
- 27
- 13
- 18
- 12
- 7
- 7
- 16
- 11
- 9
- 32
- 14
- 7
- 11
- 6
- 45
- 6
- 6
- 28
- 24
- 6
- 18
- 10
- 11
- 6
- 7
- 9
- 10
- 15
- 6
- 12
- 11
- 6
- 9
- 19
- 8
- 6
- 18
- 9
- 20
- 8
- 18
- 8
- 7
- 6
- 10
- 7
- 12
- 50
- 22
- 12
- 10
- 7
- 13
- 13
- 13
- 8
- 8
- 20
- 8
- 15
- 6
- 7
- 18
- 11
- 11
- 19
- 11
- 6
- 14
- 8
- 27
- 11
- 23
- 6
- 18
- 6
- 9
- 8
- 6
- 9
- 7
- 13
- 13
- 7
- 11
- 37
- 13
- 47
- 16
- 11
- 28
- 6
- 23
- 9
- 11
- 26
- 11
- 50
- 11
- 16
- 12
- 9
- 7
- 7
- 12
- 6
- 11
- 23
- 11
- 11
- 7
- 50
- 6
- 7
- 9
- 11
- 10
- 8
- 17
- 7
- 7
- 7
- 8
- 6
- 6
- 12
- 7
- 10
- 14
- 11
- 18
- 6
- 9
- 7
- 7
- 15
- 8
- 8
- 16
- 7
- 6
- 11
- 12
- 9
- 10
- 7
- 7
- 7
- 7
- 10
- 20
- 9
- 29
- 12
- 17
- 8
- 6
- 12
- 6
- 6
- 13
- 18
- 27
- 7
- 14
- 11
- 6
- 13
- 11
- 6
- 9
- 6
- 14
- 6
- 10
- 6
- 16
- 6
- 7
- 8
- 10
- 19
- 14
- 8
- 13
- 10
- 7
- 63
- 65
- 8
- 30
- 10
- 17
- 6
- 17
- 6
- 9
- 36
- 20
- 6
- 11
- 27
- 12
- 6
- 8
- 17
- 13
- 12
- 6
- 11
- 7
- 33
- 19
- 55
- 8
- 10
- 19
- 12
- 7
- 6
- 6
- 10
- 6
- 22
- 7
- 17
- 7
- 6
- 6
- 7
- 7
- 10
- 10
- 8
- 7
- 7
- 8
- 10
- 25
- 21
- 6
- 8
- 6
- 6
- 6
- 6
- 13
- 10
- 10
- 8
- 9
- 11
- 6
- 6
- 13
- 6
- 7
- 21
- 7
- 18
- 79
- 8
- 6
- 31
- 8
- 37
- 10
- 22
- 34
- 136
- 6
- 14
- 15
- 9
- 8
- 22
- 13
- 7
- 7
- 6
- 25
- 14
- 9
- 13
- 6
- 6
- 6
- 12
- 6
- 14
- 10
- 6
- 18
- 23
- 6
- 7
- 10
- 7
- 9
- 8
- 6
- 9
- 11
- 19
- 6
- 7
- 6
- 55
- 13
- 11
- 8
- 7
- 9
- 8
- 7
- 25
- 15
- 7
- 14
- 21
- 50
- 9
- 9
- 11
- 19
- 10
- 15
- 6
- 7
- 10
- 12
- 7
- 9
- 7
- 7
- 6
- 7
- 6
- 18
- 20
- 7
- 11
- 8
- 10
- 10
- 7
- 8
- 7
- 95
- 7
- 6
- 7
- 8
- 7
- 7
- 9
- 6
- 8
- 10
- 7
- 8
- 12
- 20
- 10
- 16
- 10
- 12
- 11
- 23
- 14
- 13
- 6
- 11
- 6
- 6
- 9
- 6
- 6
- 12
- 8
- 22
- 8
- 16
- 14
- 13
- 13
- 6
- 15
- 7
- 17
- 8
- 7
- 6
- 14
- 9
- 7
- 17
- 8
- 6
- 12
- 10
- 7
- 9
- 7
- 13
- 18
- 11
- 14
- 15
- 10
- 10
- 39
- 8
- 9
- 8
- 8
- 9
- 30
- 9
- 27
- 43
- 9
- 7
- 10
- 11
- 20
- 8
- 7
- 12
- 44
- 16
- 8
- 16
- 9
- 11
- 20
- 10
- 14
- 20
- 13
- 20
- 40
- 9
- 19
- 17
- 28
- 8
- 11
- 14
- 14
- 12
- 13
- 40
- 27
- 48
- 49
- 8
- 7
- 9
- 18
- 7
- 7
- 16
- 7
- 12
- 9
- 11
- 7
- 13
- 7
- 14
- 12
- 7
- 7
- 16
- 88
- 23
- 24
- 7
- 20
- 8
- 8
- 26
- 13
- 9
- 22
- 9
- 11
- 8
- 10
- 15
- 10
- 9
- 11
- 15
- 25
- 18
- 21
- 9
- 24
- 9
- 10
- 29
- 7
- 7
- 18
- 74
- 12
- 8
- 25
- 12
- 7
- 15
- 28
- 7
- 11
- 11
- 22
- 8
- 10
- 7
- 20
- 15
- 9
- 28
- 7
- 7
- 7
- 19
- 24
- 17
- 21
- 16
- 20
- 10
- 20
- 7
- 10
- 10
- 13
- 7
- 19
- 7
- 13
- 8
- 35
- 10
- 8
- 37
- 36
- 10
- 15
- 8
- 7
- 10
- 12
- 7
- 13
- 30
- 8
- 7
- 10
- 9
- 7
- 12
- 7
- 7
- 7
- 21
- 10
- 24
- 13
- 7
- 10
- 7
- 11
- 8
- 8
- 20
- 10
- 11
- 10
- 7
- 57
- 7
- 14
- 13
- 12
- 8
- 8
- 11
- 9
- 8
- 26
- 7
- 11
- 14
- 14
- 12
- 8
- 15
- 7
- 118
- 15
- 8
- 10
- 12
- 17
- 14
- 18
- 10
- 11
- 12
- 14
- 7
- 54
- 16
- 19
- 10
- 8
- 10
- 7
- 14
- 7
- 12
- 11
- 11
- 10
- 7
- 7
- 17
- 20
- 9
- 11
- 10
- 9
- 16
- 9
- 12
- 51
- 13
- 7
- 25
- 14
- 8
- 10
- 28
- 18
- 7
- 9
- 8
- 11
- 7
- 21
- 20
- 20
- 20
- 14
- 7
- 36
- 7
- 24
- 7
- 14
- 16
- 8
- 10
- 8
- 30
- 9
- 19
- 12
- 30
- 9
- 7
- 13
- 12
- 7
- 9
- 20
- 8
- 9
- 19
- 19
- 7
- 15
- 7
- 7
- 12
- 27
- 9
- 14
- 7
- 12
- 21
- 15
- 21
- 9
- 13
- 7
- 17
- 7
- 11
- 7
- 12
- 8
- 18
- 32
- 16
- 7
- 14
- 8
- 9
- 21
- 7
- 7
- 15
- 110
- 9
- 9
- 7
- 8
- 40
- 13
- 10
- 12
- 26
- 20
- 10
- 7
- 16
- 14
- 24
- 9
- 116
- 79
- 13
- 11
- 109
- 25
- 16
- 10
- 11
- 14
- 25
- 24
- 7
- 8
- 8
- 11
- 110
- 8
- 23
- 11
- 12
- 10
- 9
- 22
- 18
- 17
- 8
- 8
- 8
- 11
- 8
- 27
- 16
- 10
- 8
- 14
- 7
- 7
- 7
- 12
- 32
- 11
- 11
- 7
- 8
- 14
- 7
- 26
- 21
- 63
- 12
- 10
- 23
- 16
- 8
- 22
- 11
- 18
- 8
- 9
- 15
- 7
- 51
- 58
- 26
- 9
- 14
- 14
- 14
- 10
- 26
- 9
- 14
- 20
- 25
- 30
- 8
- 7
- 17
- 43
- 11
- 17
- 31
- 87
- 12
- 21
- 35
- 7
- 12
- 7
- 24
- 28
- 11
- 67
- 27
- 14
- 7
- 8
- 7
- 24
- 18
- 8
- 10
- 7
- 7
- 13
- 7
- 7
- 15
- 14
- 13
- 14
- 10
- 22
- 18
- 109
- 9
- 15
- 7
- 19
- 7
- 8
- 30
- 7
- 7
- 50
- 9
- 7
- 11
- 11
- 11
- 10
- 15
- 22
- 7
- 14
- 15
- 26
- 9
- 11
- 7
- 31
- 8
- 10
- 13
- 10
- 8
- 32
- 8
- 20
- 12
- 11
- 11
- 13
- 10
- 21
- 9
- 19
- 7
- 7
- 36
- 22
- 15
- 36
- 17
- 12
- 11
- 13
- 21
- 10
- 7
- 57
- 11
- 9
- 28
- 9
- 7
- 57
- 20
- 88
- 7
- 25
- 11
- 13
- 7
- 41
- 8
- 28
- 37
- 23
- 12
- 18
- 17
- 7
- 13
- 10
- 7
- 26
- Verlag
-
- 9
- 12494
- 1616
- 1565
- 3
- 42
- 101
- 1
- 39
- Preis
-
- 50
- 498
- 12938
- 2384
- Sprachen
-
- 15860
- 22
- 15
- 1
- Verfügbarkeit
-
- 15852
- 18
- Eigenschaften
-
- 11
- Katalog
-
- 15870
- 583
-
Damiani / Farrell Integrated Formal Methods
20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10793-0Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Benz / Gopinath / Shi NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-60697-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dang / Stolz Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-17195-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48988-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Formenti / Manzoni Unconventional Computation and Natural Computation
22nd International Conference, UCNC 2025, Nice, France, September 1-5, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-15640-2Medium: 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 IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00638-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage70,61 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Zhang / Wu / Xu Combinatorial Optimization and Applications
8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12690-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Logozzo / Peled / Zuck Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78163-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Brimkov / Barneva / Hauptman Combinatorial Image Analysis
12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78275-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bravo / Hervás / Villarreal Ambient Assisted Living
Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21302-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Schlingloff / Chai Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-17107-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
An / Cuzzocrea / Hu Social Networks Analysis and Mining
17th International Conference, ASONAM 2025, Niagara Falls, ON, Canada, August 25-28, 2025, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-14106-4Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Manulis Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 23-26, 2025, Revised Selected Papers, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01822-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Taniguchi / Leung / Kozuno Neural Information Processing
32nd International Conference, ICONIP 2025, Okinawa, Japan, November 20-24, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-954380-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Palinko / Jiang / Bodenhagen Social Robotics
16th International Conference, ICSR + AI 2024, Odense, Denmark, October 23-26, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-963518-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Diehl / Cao / Herault Asynchronous Many-Task Systems and Applications
Third International Workshop, WAMTA 2025, St. Louis, MO, USA, February 19-21, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97195-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Debruyne / Panetto / Meersman On the Move to Meaningful Internet Systems: OTM 2016 Conferences
Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48471-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hommersom / Lucas Foundations of Biomedical Knowledge Representation
Methods and Applications1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28007-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Christianson / Crispo / Malcolm Security Protocols
7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67381-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17611-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Proença / Fervari / Martins Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94747-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chen / Hu / Wang Data Security and Privacy Protection
Third International Conference, DSPP 2025, Xi'an, China, October 16-18, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-953184-4Medium: 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 Papers2009Verlag: SpringerISBN: 978-3-642-10739-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Trémeau / Schettini / Tominaga Computational Color Imaging
Second International Workshop, CCIW 2009, Saint-Etienne, France, March 26-27, 2009. Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03265-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Enser / Kompatsiaris / O'Connor Image and Video Retrieval
Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004, ProceedingsErscheinungsjahr 2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27814-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
