Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10640
- 2697
- Erscheinungsjahr
-
- 166
- 1008
- 1054
- 802
- 668
- 400
- 400
- 426
- 408
- 422
- 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
- 5
- 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
- 9
- 6
- 7
- 16
- 9
- 6
- 6
- 5
- 10
- 6
- 7
- 7
- 8
- 7
- 14
- 6
- 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
- 6
- 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
- 24
- 46
- 6
- 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
- 7
- 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
- 14
- 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
- 12
- 15
- 11
- 8
- 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
- 22
- 6
- 6
- 10
- 9
- 40
- 11
- 6
- 24
- 26
- 21
- 11
- 12
- 13
- 6
- 18
- 17
- 6
- 7
- 6
- 28
- Verlag
-
- 1
- 11565
- 40
- 1551
- 14
- 3
- 3
- 115
- 1
- 1
- 43
- Preis
-
- 47
- 485
- 10519
- 2286
- Sprachen
-
- 13329
- 20
- 15
- Verfügbarkeit
-
- 13305
- 32
- Eigenschaften
-
- 8
- Katalog
-
- 13337
- 555
-
Costa / d'Amato / Fanizzi Uncertainty Reasoning for the Semantic Web I
ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89764-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Snyers / Thayse From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swart / Orlowska / Schmidt Theory and Applications of Relational Structures as Knowledge Instruments
COST Action 274, TARSKI, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhu / Yu / Nadamoto Database Systems for Advanced Applications
30th International Conference, DASFAA 2025, Singapore, Singapore, May 26-29, 2025, Proceedings, Part VIErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-954157-7Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chau / Wang / Chen Intelligence and Security Informatics
11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31862-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Armas / Ramalhinho / Voß Computational Logistics
13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-16578-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Galil / Ukkonen Combinatorial Pattern Matching
6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qiu Algorithms and Architectures for Parallel Processing
20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60244-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Huynh / Das Wireless Algorithms, Systems, and Applications
Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88581-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haslhofer / Budurushi / Xu Financial Cryptography and Data Security. FC 2025 International Workshops
CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00491-8Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage79,17 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Glück / Kafle Logic-Based Program Synthesis and Transformation
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-45783-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Feng / He / Zhang Blockchain - ICBC 2024
7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-77094-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wachter-Zeh / Bartz / Liva Code-Based Cryptography
9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-030-98364-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort