Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10638
- 2697
- Erscheinungsjahr
-
- 163
- 1007
- 1054
- 802
- 668
- 400
- 400
- 426
- 409
- 423
- 437
- 444
- 400
- 446
- 452
- 400
- 416
- 271
- 249
- 272
- 291
- 225
- 478
- 585
- 262
- 254
- 179
- 178
- 133
- 136
- 137
- 120
- 112
- 98
- 75
- 84
- 57
- 60
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 5
- 5
- 7
- 5
- 6
- 5
- 6
- 10
- 9
- 5
- 12
- 11
- 11
- 6
- 5
- 8
- 14
- 10
- 17
- 7
- 28
- 6
- 12
- 6
- 5
- 9
- 11
- 7
- 8
- 6
- 13
- 36
- 52
- 7
- 61
- 9
- 9
- 6
- 6
- 20
- 20
- 12
- 7
- 51
- 6
- 5
- 7
- 5
- 7
- 5
- 6
- 8
- 6
- 7
- 16
- 9
- 6
- 5
- 6
- 5
- 10
- 6
- 7
- 7
- 8
- 7
- 14
- 6
- 5
- 24
- 6
- 20
- 10
- 9
- 24
- 9
- 11
- 7
- 58
- 8
- 19
- 12
- 8
- 15
- 12
- 10
- 7
- 7
- 12
- 6
- 8
- 12
- 7
- 8
- 17
- 6
- 13
- 21
- 9
- 21
- 6
- 7
- 8
- 51
- 13
- 8
- 9
- 7
- 9
- 19
- 8
- 8
- 14
- 15
- 7
- 18
- 13
- 9
- 27
- 6
- 15
- 6
- 13
- 13
- 6
- 12
- 6
- 15
- 9
- 49
- 14
- 58
- 10
- 10
- 22
- 18
- 7
- 9
- 7
- 10
- 24
- 8
- 48
- 12
- 15
- 11
- 6
- 7
- 6
- 8
- 17
- 12
- 17
- 6
- 10
- 10
- 51
- 11
- 12
- 13
- 20
- 6
- 6
- 7
- 8
- 16
- 13
- 6
- 8
- 8
- 20
- 12
- 10
- 17
- 8
- 8
- 8
- 6
- 14
- 7
- 22
- 27
- 8
- 11
- 7
- 13
- 6
- 7
- 18
- 27
- 9
- 8
- 7
- 6
- 8
- 14
- 7
- 9
- 7
- 13
- 21
- 14
- 6
- 9
- 13
- 7
- 50
- 55
- 10
- 32
- 6
- 7
- 20
- 8
- 31
- 13
- 7
- 8
- 9
- 22
- 6
- 8
- 7
- 7
- 6
- 8
- 6
- 36
- 6
- 20
- 60
- 15
- 8
- 6
- 20
- 8
- 9
- 11
- 9
- 15
- 21
- 6
- 12
- 9
- 6
- 7
- 6
- 11
- 18
- 13
- 11
- 8
- 10
- 7
- 17
- 9
- 8
- 6
- 11
- 17
- 6
- 6
- 19
- 77
- 8
- 6
- 36
- 6
- 8
- 36
- 10
- 20
- 35
- 7
- 127
- 9
- 14
- 9
- 10
- 18
- 10
- 7
- 21
- 15
- 6
- 8
- 11
- 11
- 6
- 13
- 18
- 9
- 8
- 7
- 6
- 7
- 14
- 56
- 6
- 7
- 7
- 9
- 7
- 7
- 8
- 26
- 14
- 9
- 12
- 26
- 51
- 12
- 8
- 10
- 18
- 8
- 13
- 8
- 7
- 9
- 7
- 6
- 9
- 6
- 17
- 17
- 9
- 6
- 7
- 10
- 13
- 81
- 8
- 10
- 12
- 9
- 6
- 11
- 6
- 17
- 7
- 14
- 7
- 14
- 9
- 31
- 9
- 14
- 6
- 10
- 6
- 7
- 11
- 6
- 6
- 21
- 7
- 20
- 7
- 6
- 13
- 8
- 6
- 15
- 9
- 9
- 12
- 6
- 17
- 7
- 6
- 6
- 6
- 10
- 6
- 10
- 17
- 9
- 11
- 9
- 8
- 40
- 6
- 11
- 6
- 8
- 6
- 10
- 28
- 8
- 10
- 23
- 46
- 6
- 6
- 9
- 12
- 16
- 17
- 7
- 10
- 39
- 6
- 14
- 6
- 7
- 10
- 6
- 6
- 7
- 7
- 10
- 20
- 6
- 8
- 21
- 6
- 24
- 42
- 6
- 22
- 13
- 8
- 29
- 6
- 6
- 8
- 14
- 10
- 6
- 38
- 17
- 42
- 51
- 6
- 7
- 10
- 6
- 7
- 6
- 11
- 8
- 20
- 11
- 8
- 7
- 17
- 6
- 6
- 12
- 7
- 8
- 6
- 11
- 10
- 6
- 8
- 17
- 6
- 7
- 90
- 30
- 30
- 19
- 6
- 6
- 21
- 7
- 7
- 11
- 21
- 9
- 9
- 7
- 10
- 16
- 18
- 6
- 6
- 7
- 11
- 14
- 19
- 7
- 24
- 21
- 9
- 25
- 7
- 14
- 84
- 13
- 8
- 24
- 8
- 6
- 16
- 26
- 7
- 11
- 8
- 14
- 7
- 8
- 6
- 18
- 9
- 6
- 8
- 31
- 10
- 7
- 16
- 12
- 15
- 6
- 22
- 18
- 17
- 15
- 25
- 6
- 6
- 11
- 9
- 7
- 6
- 15
- 11
- 11
- 36
- 8
- 11
- 41
- 35
- 8
- 6
- 9
- 7
- 8
- 9
- 9
- 30
- 10
- 7
- 7
- 7
- 12
- 9
- 6
- 8
- 9
- 13
- 7
- 24
- 7
- 6
- 7
- 6
- 9
- 12
- 8
- 12
- 8
- 8
- 16
- 6
- 6
- 13
- 6
- 7
- 51
- 8
- 12
- 6
- 7
- 12
- 7
- 7
- 24
- 8
- 7
- 7
- 6
- 11
- 9
- 7
- 7
- 11
- 8
- 118
- 15
- 7
- 7
- 9
- 16
- 8
- 10
- 13
- 6
- 9
- 12
- 59
- 27
- 22
- 8
- 8
- 10
- 10
- 7
- 7
- 8
- 10
- 6
- 9
- 8
- 8
- 13
- 8
- 7
- 10
- 6
- 6
- 8
- 6
- 12
- 61
- 10
- 8
- 6
- 19
- 10
- 12
- 6
- 22
- 15
- 7
- 13
- 7
- 19
- 21
- 17
- 10
- 21
- 11
- 6
- 11
- 10
- 35
- 16
- 11
- 8
- 17
- 9
- 6
- 8
- 21
- 15
- 8
- 15
- 14
- 7
- 10
- 10
- 12
- 17
- 8
- 17
- 8
- 8
- 17
- 6
- 9
- 27
- 9
- 8
- 13
- 6
- 15
- 7
- 9
- 13
- 17
- 15
- 6
- 9
- 7
- 7
- 11
- 23
- 8
- 12
- 11
- 6
- 6
- 7
- 8
- 15
- 32
- 15
- 8
- 9
- 10
- 25
- 7
- 8
- 11
- 13
- 7
- 120
- 8
- 9
- 10
- 9
- 34
- 14
- 14
- 7
- 24
- 11
- 9
- 11
- 14
- 13
- 26
- 8
- 121
- 6
- 61
- 13
- 12
- 11
- 117
- 28
- 7
- 19
- 6
- 16
- 7
- 17
- 11
- 20
- 14
- 10
- 6
- 7
- 10
- 6
- 6
- 11
- 117
- 7
- 6
- 9
- 15
- 26
- 6
- 9
- 18
- 11
- 23
- 17
- 13
- 8
- 9
- 8
- 7
- 15
- 7
- 13
- 32
- 15
- 7
- 7
- 15
- 6
- 7
- 6
- 7
- 19
- 9
- 32
- 6
- 6
- 6
- 8
- 11
- 15
- 11
- 9
- 10
- 11
- 6
- 12
- 9
- 17
- 50
- 14
- 9
- 9
- 11
- 23
- 12
- 6
- 15
- 8
- 16
- 15
- 8
- 6
- 8
- 12
- 14
- 7
- 51
- 8
- 47
- 7
- 14
- 8
- 12
- 9
- 13
- 15
- 6
- 9
- 7
- 23
- 9
- 8
- 7
- 6
- 9
- 17
- 10
- 15
- 19
- 33
- 7
- 6
- 6
- 18
- 30
- 15
- 17
- 31
- 81
- 14
- 21
- 25
- 11
- 11
- 8
- 11
- 20
- 24
- 21
- 7
- 9
- 11
- 77
- 27
- 17
- 9
- 10
- 17
- 19
- 15
- 6
- 17
- 9
- 18
- 7
- 6
- 14
- 10
- 6
- 16
- 16
- 10
- 13
- 14
- 117
- 6
- 12
- 6
- 13
- 6
- 17
- 7
- 7
- 6
- 9
- 15
- 16
- 9
- 9
- 46
- 8
- 11
- 6
- 13
- 8
- 16
- 6
- 9
- 15
- 21
- 11
- 12
- 24
- 12
- 7
- 7
- 21
- 7
- 23
- 8
- 14
- 8
- 8
- 9
- 9
- 7
- 7
- 11
- 8
- 9
- 30
- 10
- 17
- 8
- 14
- 7
- 10
- 9
- 7
- 14
- 7
- 14
- 6
- 15
- 10
- 24
- 7
- 7
- 14
- 19
- 9
- 6
- 33
- 12
- 7
- 19
- 7
- 6
- 28
- 15
- 8
- 7
- 15
- 10
- 11
- 24
- 9
- 7
- 9
- 6
- 63
- 14
- 7
- 7
- 6
- 31
- 9
- 54
- 19
- 6
- 84
- 24
- 6
- 6
- 10
- 9
- 40
- 11
- 6
- 24
- 26
- 21
- 11
- 12
- 13
- 6
- 18
- 17
- 6
- 7
- 6
- 28
- Verlag
-
- 1
- 11565
- 40
- 1552
- 14
- 3
- 115
- 1
- 1
- 43
- Preis
-
- 47
- 485
- 10518
- 2285
- Sprachen
-
- 13327
- 20
- 15
- Verfügbarkeit
-
- 13305
- 30
- Eigenschaften
-
- 6
- Katalog
-
- 13335
- 555
-
Nürnberg Metainformatics
International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40218-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leuschel Logic Based Program Synthesis and Transformation
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40438-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yamashita / Minato Reversible Computation
6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08493-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eder / Louren?o / Shehory Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34187-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hansen / Scedrov / de Queiroz Logic, Language, Information, and Computation
29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-39783-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hasegawa Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38945-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lan / Mei / Jiang Intelligent Robotics and Applications
17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part IIIErscheinungsjahr 2025Verlag: Springer SingaporeISBN: 978-981-960795-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar -
Rapp / Di Caro / Meziane Natural Language Processing and Information Systems
29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25–27, 2024, Proceedings, Part IErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-70239-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Ågotnes / Doder Logic and Argumentation
6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer SingaporeISBN: 978-981-967956-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Nambiar / Poess Performance Evaluation and Benchmarking
15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 – September 1, 2023, Revised Selected PapersErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-68031-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar -
Chen / Min / Guo Network and Parallel Computing
20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7–8, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: Springer SingaporeISBN: 978-981-962830-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
Özbudak / Rodriguez-Henriquez Arithmetic of Finite Fields
4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31661-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grabowski / Nielsen Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use
9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42735-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sun Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02449-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Groth / Vidal / Suchanek The Semantic Web
19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-06980-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flener Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65765-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hsu / Kallel / Lan Internet of Vehicles. Technologies and Services Toward Smart Cities
6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38650-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kostitsyna / Orponen Unconventional Computation and Natural Computation
19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87992-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shi / Pérez-González / Kim Digital-Forensics and Watermarking
11th International Workshop, IWDW 2012, Shanghai, China, October 31--November 3, 2012, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40098-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dürrschnabel / López Rodríguez Formal Concept Analysis
17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35948-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Applebaum / Lin Theory of Cryptography
23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12295-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papavassiliou / Ruehrup Ad-hoc, Mobile, and Wireless Networks
14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-19661-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rashid / Popov Critical Information Infrastructures Security
15th International Conference, CRITIS 2020, Bristol, UK, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58294-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (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