Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10820
- 2687
- Erscheinungsjahr
-
- 378
- 1028
- 1072
- 791
- 634
- 414
- 403
- 440
- 440
- 392
- 435
- 430
- 418
- 473
- 442
- 395
- 393
- 252
- 238
- 273
- 285
- 244
- 454
- 552
- 256
- 250
- 179
- 176
- 156
- 140
- 136
- 118
- 110
- 95
- 76
- 88
- 58
- 60
- 46
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 8
- 6
- 6
- 6
- 9
- 7
- 5
- 13
- 11
- 12
- 8
- 5
- 5
- 5
- 11
- 11
- 6
- 20
- 19
- 7
- 9
- 6
- 6
- 8
- 10
- 5
- 5
- 13
- 38
- 51
- 7
- 48
- 7
- 7
- 8
- 8
- 15
- 14
- 15
- 5
- 6
- 45
- 8
- 7
- 5
- 6
- 15
- 18
- 9
- 8
- 5
- 6
- 10
- 8
- 11
- 7
- 12
- 9
- 8
- 5
- 6
- 17
- 5
- 7
- 26
- 10
- 15
- 10
- 6
- 9
- 9
- 7
- 30
- 11
- 11
- 7
- 56
- 8
- 28
- 19
- 11
- 6
- 10
- 6
- 9
- 8
- 6
- 11
- 14
- 10
- 17
- 8
- 17
- 14
- 16
- 6
- 7
- 6
- 11
- 45
- 26
- 6
- 8
- 7
- 7
- 19
- 14
- 10
- 23
- 6
- 6
- 16
- 14
- 6
- 12
- 27
- 6
- 19
- 8
- 9
- 12
- 13
- 8
- 8
- 9
- 48
- 14
- 56
- 6
- 15
- 8
- 14
- 24
- 11
- 8
- 25
- 11
- 46
- 12
- 15
- 18
- 6
- 8
- 17
- 6
- 6
- 6
- 17
- 12
- 9
- 45
- 6
- 11
- 9
- 16
- 7
- 6
- 7
- 11
- 14
- 11
- 6
- 6
- 8
- 21
- 11
- 8
- 20
- 11
- 6
- 6
- 6
- 8
- 8
- 7
- 6
- 6
- 12
- 21
- 23
- 12
- 13
- 9
- 10
- 11
- 11
- 13
- 14
- 27
- 8
- 12
- 8
- 7
- 10
- 7
- 9
- 15
- 7
- 10
- 21
- 13
- 7
- 11
- 10
- 12
- 53
- 51
- 8
- 29
- 8
- 13
- 16
- 32
- 12
- 6
- 9
- 7
- 8
- 20
- 6
- 13
- 6
- 12
- 30
- 8
- 21
- 49
- 13
- 7
- 19
- 9
- 10
- 9
- 9
- 12
- 20
- 6
- 9
- 7
- 9
- 8
- 10
- 9
- 9
- 7
- 12
- 25
- 24
- 9
- 14
- 7
- 6
- 10
- 6
- 13
- 6
- 7
- 15
- 24
- 6
- 71
- 43
- 6
- 28
- 15
- 20
- 40
- 113
- 6
- 14
- 11
- 7
- 6
- 22
- 7
- 14
- 6
- 6
- 24
- 14
- 9
- 15
- 10
- 6
- 6
- 19
- 7
- 17
- 8
- 6
- 8
- 7
- 15
- 9
- 6
- 58
- 6
- 14
- 12
- 7
- 6
- 8
- 14
- 21
- 6
- 13
- 7
- 25
- 45
- 8
- 8
- 13
- 19
- 7
- 11
- 6
- 7
- 6
- 7
- 9
- 6
- 6
- 21
- 19
- 9
- 6
- 7
- 11
- 7
- 6
- 87
- 7
- 8
- 10
- 6
- 7
- 11
- 6
- 6
- 8
- 7
- 19
- 6
- 15
- 14
- 25
- 7
- 13
- 8
- 7
- 10
- 13
- 6
- 9
- 23
- 17
- 11
- 6
- 11
- 13
- 10
- 13
- 12
- 15
- 6
- 9
- 7
- 9
- 12
- 12
- 15
- 16
- 8
- 6
- 7
- 10
- 7
- 11
- 9
- 38
- 6
- 13
- 6
- 8
- 6
- 6
- 28
- 11
- 6
- 22
- 39
- 7
- 6
- 6
- 15
- 19
- 6
- 9
- 43
- 6
- 6
- 10
- 12
- 6
- 6
- 10
- 20
- 8
- 6
- 17
- 24
- 35
- 22
- 10
- 7
- 20
- 7
- 8
- 7
- 19
- 9
- 7
- 36
- 18
- 34
- 6
- 53
- 8
- 9
- 8
- 9
- 6
- 11
- 6
- 6
- 17
- 6
- 8
- 8
- 8
- 10
- 13
- 7
- 7
- 21
- 8
- 29
- 121
- 18
- 6
- 6
- 23
- 6
- 6
- 9
- 19
- 9
- 11
- 7
- 6
- 15
- 18
- 8
- 14
- 6
- 6
- 6
- 7
- 7
- 13
- 14
- 10
- 22
- 6
- 24
- 8
- 6
- 33
- 13
- 7
- 81
- 17
- 7
- 9
- 12
- 26
- 12
- 10
- 7
- 9
- 11
- 8
- 11
- 18
- 11
- 13
- 33
- 10
- 7
- 7
- 6
- 6
- 14
- 14
- 6
- 13
- 19
- 15
- 16
- 16
- 24
- 7
- 6
- 12
- 11
- 9
- 40
- 10
- 7
- 6
- 43
- 35
- 7
- 7
- 8
- 6
- 12
- 24
- 10
- 10
- 22
- 9
- 6
- 12
- 24
- 12
- 7
- 8
- 8
- 11
- 9
- 6
- 6
- 8
- 15
- 6
- 8
- 7
- 40
- 7
- 14
- 8
- 8
- 10
- 6
- 6
- 12
- 24
- 9
- 6
- 10
- 6
- 11
- 9
- 7
- 11
- 9
- 104
- 12
- 6
- 13
- 7
- 14
- 8
- 17
- 8
- 10
- 9
- 7
- 11
- 7
- 56
- 10
- 22
- 11
- 6
- 6
- 10
- 6
- 9
- 11
- 11
- 6
- 12
- 6
- 12
- 11
- 13
- 8
- 7
- 7
- 16
- 7
- 7
- 12
- 9
- 6
- 11
- 61
- 6
- 9
- 6
- 23
- 8
- 9
- 6
- 25
- 21
- 6
- 14
- 8
- 7
- 13
- 20
- 21
- 19
- 7
- 17
- 8
- 9
- 33
- 6
- 6
- 16
- 6
- 10
- 15
- 14
- 7
- 7
- 22
- 9
- 10
- 7
- 20
- 7
- 16
- 9
- 6
- 7
- 12
- 21
- 15
- 6
- 8
- 9
- 21
- 8
- 27
- 9
- 7
- 13
- 6
- 13
- 14
- 13
- 8
- 7
- 7
- 6
- 20
- 13
- 11
- 8
- 9
- 12
- 33
- 7
- 13
- 7
- 8
- 22
- 13
- 14
- 10
- 6
- 120
- 8
- 6
- 7
- 7
- 10
- 7
- 7
- 33
- 13
- 9
- 9
- 32
- 15
- 9
- 6
- 12
- 12
- 12
- 26
- 124
- 6
- 60
- 13
- 12
- 13
- 119
- 27
- 6
- 14
- 6
- 13
- 6
- 12
- 8
- 9
- 11
- 26
- 19
- 6
- 7
- 12
- 10
- 6
- 12
- 120
- 6
- 8
- 27
- 7
- 6
- 13
- 12
- 13
- 21
- 21
- 11
- 10
- 6
- 9
- 7
- 14
- 12
- 8
- 29
- 21
- 7
- 7
- 16
- 9
- 6
- 9
- 9
- 17
- 10
- 7
- 34
- 8
- 7
- 8
- 12
- 6
- 7
- 7
- 15
- 10
- 12
- 9
- 12
- 6
- 24
- 10
- 22
- 26
- 36
- 9
- 6
- 22
- 11
- 7
- 6
- 14
- 13
- 17
- 11
- 6
- 6
- 10
- 9
- 7
- 49
- 10
- 58
- 20
- 8
- 14
- 8
- 16
- 14
- 8
- 8
- 6
- 27
- 6
- 7
- 10
- 9
- 19
- 11
- 17
- 19
- 30
- 11
- 7
- 15
- 10
- 27
- 17
- 33
- 70
- 13
- 19
- 23
- 10
- 6
- 11
- 6
- 6
- 7
- 11
- 18
- 23
- 21
- 6
- 12
- 6
- 6
- 10
- 70
- 6
- 27
- 15
- 12
- 7
- 10
- 21
- 11
- 6
- 9
- 17
- 6
- 13
- 6
- 6
- 15
- 9
- 7
- 16
- 16
- 7
- 17
- 15
- 7
- 14
- 119
- 11
- 24
- 19
- 10
- 10
- 7
- 7
- 14
- 11
- 8
- 8
- 40
- 6
- 12
- 6
- 13
- 16
- 13
- 13
- 24
- 9
- 13
- 12
- 24
- 9
- 8
- 8
- 8
- 7
- 15
- 9
- 6
- 20
- 9
- 11
- 13
- 6
- 9
- 7
- 11
- 6
- 13
- 7
- 7
- 10
- 32
- 6
- 15
- 13
- 6
- 7
- 7
- 11
- 8
- 7
- 8
- 6
- 17
- 15
- 10
- 7
- 22
- 6
- 16
- 7
- 8
- 7
- 7
- 20
- 7
- 13
- 8
- 36
- 18
- 6
- 20
- 7
- 6
- 6
- 7
- 24
- 11
- 9
- 16
- 9
- 7
- 10
- 22
- 11
- 8
- 8
- 57
- 6
- 13
- 7
- 7
- 9
- 7
- 32
- 6
- 9
- 7
- 55
- 8
- 23
- 86
- 6
- 24
- 7
- 14
- 9
- 8
- 6
- 37
- 7
- 7
- 6
- 34
- 26
- 21
- 8
- 9
- 14
- 6
- 13
- 16
- 7
- 7
- 29
- Verlag
-
- 2
- 11702
- 28
- 1591
- 2
- 6
- 3
- 2
- 135
- 1
- 1
- 34
- Preis
-
- 47
- 498
- 10623
- 2339
- Sprachen
-
- 13499
- 19
- 15
- Verfügbarkeit
-
- 13496
- 11
- Eigenschaften
-
- 36
- Katalog
-
- 13507
- 571
-
Yang / Huang / Pan Cognitive Computing - ICCC 2025
9th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06309-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Sapino / Han Database Systems for Advanced Applications
28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-30636-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Nicola / Hennicker Software, Services, and Systems
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software EngineeringErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-15545-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Jirásková / Pighizzini Descriptional Complexity of Formal Systems
22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-62536-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mira / Sanchez-Andres Foundations and Tools for Neural Modeling
International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume IErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66069-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bordihn / Tran / Vaszil Descriptional Complexity of Formal Systems
25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-34326-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar64,19 € (inkl. MwSt.)
sofort verfügbar -
Massoni / Mousavi Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03043-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Jiang / Crespi Network and Parallel Computing
21st IFIP WG 10.3 International Conference, NPC 2025, Nha Trang, Vietnam, November 14-16, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10458-8Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sommer / Zeevi Algebraic Frames for the Perception-Action Cycle
Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41013-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Christianson / Crispo / Malcolm Security Protocols
11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28389-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König / Heiner / Wolisz Formal Techniques for Networked and Distributed Systems - FORTE 2003
23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 20031. Auflage 2003Verlag: SpringerISBN: 978-3-540-20175-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abrial / Glässer Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11446-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Buyya / Baker Grid Computing - GRID 2000
First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41403-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hameurlain / Küng / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48566-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mata-Rivera / Zagal-Flores / Siabato Web and Wireless Geographical Information Systems
22nd International Symposium, W2GIS 2025, Mexico City, Mexico, September 8-9, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01722-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage128,39 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Enea / Piskac Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-11245-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Song / Tong Web-Age Information Management
WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47121-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Black / Modgil / Oren Theory and Applications of Formal Argumentation
Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28460-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
Koucheryavy / Mamatas / Matta Wired / Wireless Internet Communication
10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-30630-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Lacroix / Vidal Resource Discovery
Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Seleted PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-27392-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Chung / Yung Information Security Applications
11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected PapersErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-17955-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Falcone / Sánchez Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46982-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Navathe / Wu / Shekhar Database Systems for Advanced Applications
21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-32049-6Medium: 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