Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10633
- 2737
- Erscheinungsjahr
-
- 150
- 1015
- 1070
- 807
- 663
- 404
- 421
- 469
- 437
- 399
- 452
- 431
- 421
- 428
- 419
- 429
- 403
- 260
- 234
- 278
- 287
- 218
- 470
- 579
- 255
- 254
- 181
- 177
- 146
- 144
- 136
- 120
- 107
- 100
- 75
- 83
- 61
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 18
- 12
- 8
- 13
- 9
- 15
- 13
- 5
- Autoren
-
- 5
- 7
- 5
- 8
- 9
- 6
- 11
- 13
- 12
- 7
- 12
- 7
- 5
- 9
- 14
- 8
- 5
- 6
- 18
- 8
- 23
- 11
- 8
- 6
- 6
- 9
- 11
- 5
- 6
- 6
- 13
- 44
- 47
- 5
- 59
- 8
- 8
- 5
- 5
- 6
- 17
- 19
- 5
- 10
- 50
- 11
- 6
- 8
- 8
- 7
- 6
- 6
- 12
- 8
- 6
- 9
- 6
- 7
- 6
- 7
- 8
- 7
- 13
- 6
- 20
- 20
- 12
- 9
- 12
- 30
- 13
- 10
- 6
- 7
- 53
- 16
- 26
- 19
- 8
- 14
- 6
- 8
- 7
- 14
- 8
- 12
- 7
- 10
- 11
- 14
- 6
- 19
- 9
- 18
- 10
- 6
- 6
- 6
- 8
- 50
- 24
- 8
- 9
- 11
- 10
- 19
- 8
- 15
- 6
- 18
- 6
- 6
- 14
- 8
- 9
- 29
- 18
- 10
- 9
- 10
- 14
- 7
- 7
- 14
- 8
- 44
- 15
- 53
- 15
- 10
- 24
- 7
- 19
- 14
- 8
- 7
- 26
- 10
- 45
- 11
- 17
- 13
- 7
- 7
- 6
- 17
- 6
- 6
- 17
- 9
- 7
- 50
- 8
- 11
- 14
- 15
- 6
- 7
- 7
- 10
- 14
- 10
- 9
- 8
- 7
- 6
- 19
- 11
- 9
- 15
- 6
- 8
- 12
- 7
- 8
- 9
- 22
- 25
- 8
- 12
- 10
- 7
- 12
- 7
- 15
- 18
- 29
- 8
- 9
- 7
- 9
- 9
- 14
- 12
- 10
- 9
- 8
- 7
- 10
- 17
- 12
- 9
- 14
- 7
- 53
- 59
- 10
- 31
- 8
- 12
- 6
- 6
- 15
- 7
- 35
- 12
- 8
- 7
- 8
- 10
- 22
- 8
- 8
- 8
- 6
- 12
- 7
- 6
- 33
- 6
- 15
- 57
- 8
- 8
- 6
- 6
- 20
- 7
- 11
- 10
- 12
- 11
- 14
- 8
- 8
- 12
- 9
- 6
- 6
- 7
- 6
- 8
- 19
- 24
- 10
- 8
- 11
- 8
- 7
- 16
- 8
- 11
- 9
- 11
- 21
- 7
- 24
- 74
- 7
- 35
- 7
- 6
- 28
- 6
- 19
- 31
- 123
- 10
- 15
- 7
- 8
- 21
- 12
- 20
- 15
- 6
- 8
- 6
- 12
- 14
- 7
- 10
- 18
- 6
- 13
- 6
- 7
- 7
- 7
- 16
- 6
- 7
- 52
- 8
- 7
- 11
- 6
- 8
- 8
- 8
- 8
- 7
- 9
- 21
- 13
- 11
- 9
- 25
- 50
- 10
- 11
- 10
- 20
- 10
- 15
- 6
- 6
- 8
- 9
- 8
- 6
- 9
- 27
- 17
- 9
- 6
- 7
- 10
- 15
- 6
- 90
- 6
- 10
- 8
- 6
- 15
- 8
- 6
- 8
- 17
- 16
- 7
- 7
- 7
- 31
- 10
- 19
- 11
- 6
- 8
- 13
- 19
- 8
- 24
- 10
- 13
- 13
- 6
- 6
- 10
- 15
- 10
- 12
- 7
- 6
- 18
- 6
- 6
- 11
- 9
- 10
- 9
- 10
- 11
- 16
- 7
- 11
- 9
- 11
- 36
- 6
- 9
- 6
- 8
- 6
- 8
- 25
- 9
- 20
- 46
- 6
- 15
- 17
- 7
- 7
- 11
- 44
- 6
- 13
- 7
- 10
- 6
- 6
- 7
- 21
- 8
- 19
- 10
- 20
- 41
- 6
- 19
- 9
- 28
- 9
- 10
- 17
- 7
- 6
- 40
- 8
- 20
- 40
- 55
- 7
- 6
- 10
- 6
- 18
- 8
- 17
- 7
- 6
- 12
- 9
- 8
- 6
- 15
- 11
- 9
- 6
- 17
- 6
- 89
- 21
- 21
- 16
- 6
- 6
- 6
- 22
- 7
- 6
- 7
- 9
- 23
- 9
- 9
- 8
- 14
- 18
- 7
- 14
- 13
- 10
- 7
- 11
- 19
- 17
- 9
- 24
- 22
- 12
- 7
- 6
- 28
- 7
- 14
- 76
- 15
- 9
- 24
- 6
- 17
- 24
- 7
- 13
- 7
- 15
- 6
- 7
- 9
- 15
- 10
- 7
- 10
- 32
- 11
- 7
- 7
- 15
- 14
- 7
- 15
- 6
- 21
- 16
- 15
- 14
- 20
- 6
- 8
- 11
- 17
- 12
- 12
- 35
- 8
- 10
- 42
- 34
- 9
- 6
- 6
- 8
- 6
- 7
- 7
- 8
- 9
- 8
- 29
- 9
- 9
- 13
- 7
- 13
- 7
- 12
- 12
- 7
- 20
- 8
- 8
- 7
- 10
- 8
- 7
- 7
- 8
- 16
- 6
- 12
- 8
- 48
- 10
- 8
- 12
- 6
- 6
- 10
- 6
- 10
- 6
- 9
- 27
- 6
- 6
- 11
- 7
- 7
- 12
- 10
- 12
- 112
- 11
- 7
- 7
- 11
- 13
- 6
- 15
- 12
- 8
- 12
- 67
- 20
- 19
- 9
- 7
- 10
- 15
- 8
- 6
- 7
- 10
- 12
- 6
- 9
- 10
- 9
- 9
- 7
- 7
- 8
- 12
- 7
- 11
- 7
- 6
- 8
- 56
- 7
- 10
- 17
- 9
- 9
- 6
- 10
- 23
- 19
- 6
- 7
- 12
- 6
- 13
- 8
- 17
- 21
- 17
- 19
- 10
- 6
- 16
- 10
- 36
- 15
- 9
- 6
- 15
- 11
- 6
- 8
- 8
- 6
- 23
- 19
- 18
- 8
- 12
- 7
- 6
- 9
- 11
- 6
- 11
- 16
- 8
- 17
- 6
- 7
- 16
- 7
- 9
- 29
- 6
- 9
- 6
- 12
- 12
- 16
- 17
- 13
- 6
- 10
- 6
- 6
- 11
- 18
- 6
- 10
- 8
- 9
- 6
- 7
- 11
- 23
- 35
- 19
- 8
- 8
- 10
- 22
- 9
- 10
- 16
- 10
- 110
- 8
- 7
- 8
- 8
- 8
- 36
- 14
- 10
- 9
- 25
- 12
- 9
- 7
- 12
- 13
- 28
- 6
- 114
- 6
- 59
- 13
- 10
- 6
- 108
- 25
- 7
- 19
- 15
- 6
- 17
- 6
- 12
- 11
- 17
- 19
- 9
- 7
- 6
- 7
- 8
- 6
- 13
- 109
- 8
- 6
- 8
- 12
- 23
- 10
- 17
- 11
- 15
- 20
- 14
- 10
- 9
- 6
- 7
- 6
- 15
- 9
- 10
- 29
- 16
- 9
- 6
- 7
- 8
- 10
- 7
- 6
- 6
- 18
- 10
- 32
- 10
- 8
- 9
- 12
- 6
- 10
- 17
- 9
- 9
- 9
- 7
- 6
- 17
- 8
- 16
- 56
- 13
- 8
- 12
- 12
- 23
- 7
- 15
- 6
- 16
- 13
- 6
- 7
- 6
- 6
- 13
- 16
- 6
- 47
- 9
- 64
- 6
- 16
- 10
- 18
- 10
- 15
- 14
- 6
- 8
- 7
- 23
- 6
- 7
- 20
- 7
- 16
- 18
- 30
- 10
- 7
- 7
- 18
- 21
- 17
- 14
- 30
- 6
- 79
- 12
- 18
- 24
- 11
- 6
- 11
- 10
- 11
- 21
- 22
- 19
- 6
- 6
- 6
- 10
- 75
- 29
- 16
- 6
- 13
- 12
- 9
- 23
- 14
- 7
- 17
- 7
- 6
- 14
- 17
- 7
- 7
- 15
- 8
- 17
- 16
- 10
- 13
- 18
- 108
- 6
- 11
- 25
- 6
- 17
- 7
- 6
- 11
- 6
- 9
- 17
- 14
- 8
- 6
- 42
- 11
- 8
- 12
- 7
- 13
- 8
- 15
- 22
- 7
- 13
- 24
- 12
- 9
- 7
- 18
- 8
- 23
- 17
- 10
- 12
- 8
- 6
- 12
- 7
- 8
- 11
- 25
- 8
- 15
- 6
- 12
- 7
- 7
- 11
- 9
- 6
- 14
- 7
- 12
- 7
- 15
- 12
- 24
- 7
- 9
- 28
- 8
- 6
- 10
- 6
- 34
- 13
- 6
- 6
- 19
- 7
- 25
- 13
- 12
- 10
- 24
- 7
- 9
- 8
- 60
- 9
- 7
- 35
- 6
- 10
- 7
- 58
- 18
- 7
- 80
- 17
- 10
- 13
- 6
- 6
- 6
- 9
- 40
- 6
- 29
- 19
- 21
- 9
- 8
- 14
- 14
- 19
- 21
- 7
- 6
- 8
- 7
- 24
- Verlag
-
- 2
- 11587
- 42
- 1569
- 3
- 25
- 104
- 1
- 1
- 36
- Preis
-
- 47
- 469
- 10591
- 2263
- Sprachen
-
- 13362
- 20
- 15
- Verfügbarkeit
-
- 13341
- 29
- Eigenschaften
-
- 7
- Katalog
-
- 13370
- 566
-
Badger / Rozier NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-20651-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dutle / Moscato / Titolo NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-76383-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ferreira / Willemse Software Engineering and Formal Methods
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-47114-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Battiti / Brunato / Kotsireas Learning and Intelligent Optimization
12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-05347-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Cerone Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58767-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Platzer / Rozier / Pradella Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II2025Verlag: SpringerISBN: 978-3-031-71176-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dutle / Humphrey / Titolo NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93705-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Madeira / Knapp Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-77381-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cao / Bazzan / Symeonidis Agents and Data Mining Interaction
7th International Workshop, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected PapersErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-27609-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Panigraphi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing, Part II
Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part IIErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-27242-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Mutlu / Bartneck / Ham Social Robotics
Third International Conference on Social Robotics, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-25504-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Tompits / Abreu / Oetsch Applications of Declarative Programming and Knowledge Management
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41524-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Huang / Zeng / Li Neural Information Processing
19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part VErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34500-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Beneventano / Despotovic / Guerra Agents and Peer-to-Peer Computing
7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-31809-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Logozzo / Fähndrich Static Analysis
20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38856-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Riguzzi / Zelezny Inductive Logic Programming
22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38812-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Roughan / Rocky Passive and Active Measurement
14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-36516-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Berkovsky / Freyne Persuasive Technology
8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-37157-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Geva / Kamps / Schenkel Focused Retrieval of Content and Structure
10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised and Selected PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-35734-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Fei / Irwin / Ma Bio-Inspired Computational Intelligence and Applications
International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74768-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saake / Schwarz / Türker Transactions and Database Dynamics
8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27-30, 1999 Selected PapersErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67201-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wrembel / Gamper / Kotsis Big Data Analytics and Knowledge Discovery
25th International Conference, DaWaK 2023, Penang, Malaysia, August 28-30, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-39830-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-963524-5Medium: 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 IIErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-032-01806-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Gracia / Bond / McCrae Language, Data, and Knowledge
First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-59888-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort