Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10718
- 2640
- Erscheinungsjahr
-
- 284
- 1016
- 1053
- 799
- 628
- 390
- 406
- 440
- 421
- 432
- 418
- 439
- 400
- 438
- 442
- 398
- 367
- 270
- 246
- 281
- 293
- 223
- 475
- 580
- 264
- 253
- 179
- 177
- 134
- 135
- 137
- 121
- 112
- 98
- 75
- 84
- 57
- 60
- 46
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 6
- 5
- 5
- 7
- 10
- 6
- 15
- 12
- 6
- 5
- 5
- 9
- 12
- 11
- 5
- 20
- 8
- 22
- 7
- 10
- 6
- 8
- 11
- 11
- 5
- 7
- 13
- 31
- 52
- 7
- 49
- 9
- 7
- 6
- 6
- 20
- 17
- 12
- 5
- 5
- 7
- 46
- 7
- 6
- 5
- 7
- 5
- 10
- 7
- 6
- 19
- 7
- 5
- 8
- 8
- 9
- 5
- 9
- 7
- 5
- 7
- 10
- 12
- 6
- 7
- 21
- 6
- 9
- 21
- 12
- 8
- 8
- 18
- 12
- 11
- 7
- 57
- 19
- 13
- 7
- 12
- 11
- 9
- 7
- 7
- 6
- 7
- 12
- 9
- 11
- 15
- 13
- 18
- 14
- 16
- 7
- 8
- 46
- 15
- 8
- 9
- 6
- 7
- 10
- 19
- 7
- 12
- 14
- 13
- 6
- 18
- 10
- 9
- 25
- 6
- 17
- 12
- 13
- 6
- 11
- 8
- 13
- 7
- 8
- 49
- 11
- 61
- 7
- 15
- 9
- 20
- 20
- 11
- 7
- 30
- 9
- 48
- 11
- 15
- 13
- 9
- 11
- 8
- 17
- 6
- 9
- 15
- 10
- 11
- 46
- 9
- 12
- 9
- 17
- 6
- 8
- 10
- 7
- 17
- 12
- 7
- 7
- 7
- 8
- 22
- 12
- 7
- 18
- 11
- 8
- 9
- 6
- 8
- 22
- 22
- 8
- 9
- 6
- 6
- 7
- 9
- 16
- 25
- 9
- 9
- 6
- 6
- 11
- 7
- 7
- 7
- 11
- 6
- 11
- 19
- 12
- 7
- 11
- 11
- 9
- 54
- 51
- 6
- 30
- 6
- 11
- 20
- 11
- 28
- 17
- 7
- 7
- 8
- 14
- 8
- 22
- 7
- 7
- 10
- 11
- 7
- 31
- 7
- 6
- 18
- 54
- 14
- 8
- 19
- 12
- 9
- 11
- 12
- 24
- 6
- 9
- 8
- 9
- 6
- 11
- 20
- 14
- 12
- 6
- 6
- 10
- 9
- 12
- 16
- 17
- 69
- 43
- 11
- 6
- 30
- 15
- 22
- 34
- 111
- 7
- 14
- 10
- 8
- 22
- 8
- 9
- 23
- 16
- 9
- 9
- 7
- 6
- 11
- 21
- 9
- 16
- 9
- 8
- 9
- 6
- 8
- 7
- 15
- 7
- 53
- 6
- 13
- 6
- 10
- 7
- 7
- 6
- 14
- 26
- 11
- 10
- 10
- 25
- 46
- 11
- 6
- 6
- 15
- 19
- 15
- 8
- 7
- 9
- 7
- 6
- 9
- 6
- 14
- 19
- 8
- 6
- 6
- 10
- 7
- 87
- 6
- 14
- 14
- 8
- 8
- 8
- 6
- 19
- 8
- 11
- 7
- 10
- 11
- 24
- 7
- 8
- 15
- 10
- 6
- 15
- 6
- 7
- 22
- 17
- 7
- 6
- 6
- 8
- 13
- 6
- 6
- 7
- 6
- 17
- 9
- 7
- 6
- 14
- 6
- 18
- 7
- 8
- 7
- 11
- 6
- 13
- 12
- 16
- 6
- 8
- 6
- 9
- 10
- 9
- 7
- 7
- 6
- 38
- 8
- 10
- 13
- 6
- 9
- 8
- 31
- 8
- 9
- 6
- 21
- 46
- 7
- 6
- 7
- 11
- 11
- 19
- 6
- 34
- 6
- 15
- 9
- 6
- 7
- 19
- 6
- 18
- 6
- 28
- 42
- 23
- 12
- 8
- 28
- 7
- 14
- 10
- 8
- 35
- 17
- 36
- 46
- 6
- 8
- 11
- 8
- 11
- 9
- 19
- 11
- 6
- 17
- 6
- 10
- 7
- 8
- 8
- 6
- 9
- 9
- 7
- 17
- 8
- 6
- 90
- 30
- 33
- 7
- 17
- 6
- 6
- 21
- 7
- 7
- 7
- 19
- 8
- 8
- 13
- 18
- 6
- 18
- 6
- 9
- 7
- 7
- 10
- 7
- 11
- 15
- 7
- 20
- 7
- 21
- 6
- 6
- 29
- 8
- 12
- 8
- 7
- 83
- 8
- 6
- 22
- 7
- 8
- 6
- 15
- 28
- 9
- 14
- 6
- 12
- 10
- 7
- 6
- 10
- 6
- 21
- 9
- 6
- 9
- 27
- 10
- 6
- 7
- 6
- 14
- 15
- 17
- 6
- 19
- 22
- 20
- 10
- 23
- 7
- 7
- 12
- 9
- 6
- 12
- 9
- 10
- 30
- 8
- 12
- 7
- 44
- 35
- 8
- 9
- 6
- 9
- 10
- 21
- 10
- 6
- 7
- 6
- 7
- 8
- 6
- 10
- 12
- 8
- 9
- 6
- 12
- 9
- 26
- 8
- 6
- 6
- 7
- 11
- 10
- 12
- 9
- 15
- 6
- 10
- 7
- 43
- 6
- 13
- 12
- 6
- 8
- 6
- 20
- 7
- 8
- 7
- 15
- 8
- 7
- 10
- 7
- 7
- 9
- 11
- 6
- 102
- 16
- 8
- 6
- 10
- 7
- 9
- 20
- 8
- 10
- 6
- 7
- 10
- 13
- 52
- 16
- 6
- 21
- 7
- 8
- 16
- 9
- 12
- 7
- 6
- 8
- 11
- 6
- 8
- 7
- 10
- 9
- 11
- 8
- 7
- 8
- 10
- 8
- 13
- 61
- 8
- 8
- 21
- 9
- 6
- 23
- 15
- 6
- 6
- 7
- 6
- 13
- 7
- 18
- 18
- 19
- 11
- 18
- 9
- 7
- 12
- 34
- 15
- 9
- 10
- 17
- 8
- 7
- 7
- 24
- 6
- 14
- 16
- 17
- 6
- 6
- 13
- 11
- 8
- 18
- 8
- 18
- 8
- 10
- 21
- 8
- 25
- 9
- 10
- 12
- 6
- 14
- 7
- 6
- 13
- 17
- 12
- 6
- 10
- 7
- 6
- 7
- 7
- 23
- 6
- 9
- 10
- 9
- 6
- 8
- 14
- 31
- 7
- 17
- 8
- 7
- 11
- 25
- 7
- 11
- 8
- 11
- 6
- 122
- 7
- 9
- 10
- 7
- 32
- 9
- 12
- 23
- 12
- 9
- 11
- 15
- 10
- 28
- 8
- 123
- 6
- 60
- 15
- 12
- 14
- 120
- 32
- 6
- 15
- 8
- 13
- 8
- 13
- 15
- 18
- 15
- 12
- 7
- 6
- 6
- 6
- 10
- 11
- 12
- 13
- 120
- 6
- 9
- 15
- 29
- 12
- 16
- 11
- 6
- 12
- 26
- 16
- 13
- 10
- 8
- 10
- 7
- 12
- 6
- 10
- 29
- 10
- 7
- 13
- 6
- 6
- 7
- 12
- 14
- 6
- 34
- 9
- 6
- 7
- 6
- 7
- 7
- 15
- 11
- 9
- 11
- 11
- 16
- 20
- 40
- 21
- 9
- 11
- 10
- 25
- 10
- 6
- 12
- 10
- 16
- 12
- 8
- 9
- 11
- 6
- 49
- 9
- 43
- 7
- 15
- 10
- 13
- 9
- 14
- 13
- 6
- 9
- 26
- 7
- 10
- 8
- 7
- 11
- 12
- 21
- 8
- 23
- 36
- 6
- 6
- 7
- 8
- 15
- 7
- 29
- 13
- 18
- 33
- 71
- 12
- 20
- 22
- 10
- 15
- 8
- 11
- 21
- 22
- 17
- 12
- 9
- 12
- 75
- 25
- 15
- 10
- 7
- 16
- 20
- 12
- 10
- 17
- 9
- 15
- 12
- 8
- 6
- 16
- 16
- 10
- 9
- 16
- 6
- 120
- 6
- 12
- 6
- 14
- 20
- 8
- 6
- 7
- 6
- 6
- 8
- 6
- 17
- 11
- 6
- 10
- 43
- 7
- 12
- 9
- 7
- 18
- 9
- 17
- 25
- 11
- 14
- 26
- 9
- 8
- 8
- 6
- 20
- 8
- 24
- 8
- 15
- 8
- 8
- 11
- 9
- 8
- 11
- 10
- 9
- 7
- 33
- 7
- 17
- 8
- 12
- 7
- 7
- 10
- 8
- 9
- 7
- 10
- 7
- 15
- 13
- 10
- 7
- 20
- 15
- 7
- 17
- 11
- 29
- 12
- 6
- 20
- 6
- 6
- 6
- 27
- 8
- 12
- 6
- 8
- 13
- 10
- 9
- 20
- 7
- 9
- 7
- 8
- 61
- 16
- 7
- 9
- 7
- 28
- 7
- 7
- 6
- 58
- 20
- 80
- 8
- 21
- 8
- 6
- 13
- 8
- 9
- 9
- 38
- 7
- 9
- 8
- 23
- 23
- 23
- 11
- 10
- 6
- 14
- 15
- 7
- 31
- Verlag
-
- 3
- 11573
- 40
- 1548
- 2
- 2
- 14
- 5
- 3
- 123
- 1
- 1
- 5
- 38
- Preis
-
- 47
- 486
- 10544
- 2281
- Sprachen
-
- 13350
- 19
- 15
- Verfügbarkeit
-
- 13338
- 20
- Eigenschaften
-
- 26
- Katalog
-
- 13358
- 550
-
Bowen / Turrini Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial LecturesErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-958616-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horváth Central European Functional Programming School
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46843-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems
Advanced Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26278-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74791-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects
Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-0-387-97226-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Houstis / Papatheodorou / Polychronopoulos Supercomputing
1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18991-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jin / Rana / Pan Algorithms and Architectures for Parallel Processing
7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72904-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Westort Digital Earth Moving
First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42586-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wei / Margetis Human-Centered Design, Operation and Evaluation of Mobile Communications
5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part IErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-60458-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Blanc-Talon / Helbert / Philips Advanced Concepts for Intelligent Vision Systems
19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01448-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhou / Yung / Han Applied Cryptography and Network Security
First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20208-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45489-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36749-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe / Dybjer / Pinto Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44044-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boer / Bonsangue / Graf Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-39656-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hall / Sundar Languages and Compilers for Parallel Computing
31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34626-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sharp Higher-Level Hardware Synthesis
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21306-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berardi / Coppo / Damiani Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected PapersErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-24849-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Vigna Mobile Agents and Security
Erscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-68671-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Knuth / Neuhold Specification and Design of Software Systems
Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings1983Verlag: SpringerISBN: 978-3-540-12284-5Medium: Buch21,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage21,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cortesi Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43631-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Mitchell / Martin Trusted Computing
Second International Conference, Trust 2009 Oxford, UK, April 6-8, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-00586-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kivinen / Szepesvári / Ukkonen Algorithmic Learning Theory
22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24411-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mohaisen / Wies Networked Systems
11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37764-8Medium: 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