Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2114
- Erscheinungsjahr
-
- 43
- 150
- 141
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 51
- 41
- 30
- 52
- 41
- 41
- 81
- 59
- 64
- 77
- 71
- 61
- 120
- 105
- 95
- 78
- 59
- 51
- 40
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 6
- 2
- 2
- 4
- 3
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 3
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 8
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 7
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 4
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 5
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 4
- 6
- 3
- 2
- 4
- 12
- 5
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 25
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 7
- 4
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 20
- 2
- 3
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 5
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 4
- 3
- 2
- 3
- 4
- 4
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 6
- 5
- 2
- 4
- 4
- 5
- 2
- 3
- 2
- 2
- 7
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 2
- 2
- 6
- 6
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 6
- 7
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 5
- 2
- 12
- 24
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 9
- 2
- 2
- 4
- 5
- 2
- 5
- 5
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 4
- 15
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 20
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 3
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 9
- 2
- 3
- 2
- 2
- 2
- 4
- 11
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 13
- 14
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 34
- 2
- 3
- 5
- 5
- 6
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 16
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 4
- 11
- 4
- 6
- 3
- 3
- 4
- 8
- 3
- 5
- 5
- 6
- 5
- 6
- 4
- 5
- 3
- 4
- 5
- 4
- 3
- 17
- 4
- 8
- 3
- 3
- 6
- 5
- Verlag
-
- 2106
- 1
- 7
- Preis
-
- 4
- 90
- 1688
- 332
- Sprachen
-
- 2114
- Verfügbarkeit
-
- 2113
- 1
- Eigenschaften
-
- 5
- Katalog
-
- 2114
- 136
-
Czarnecki / Hedin Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36088-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Devitt / Lanese Reversible Computation
8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40577-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davidson / Min Languages, Compilers, and Tools for Embedded Systems
ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41781-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Briot / Geib / Yonezawa Object-Based Parallel and Distributed Computation
France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bugliesi / Preneel / Sassone Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35907-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paul / Robinet International Symposium on Programming
6th Colloquium, Toulouse, April 17-19, 1984. Proceedings1. Auflage 1984Verlag: SpringerISBN: 978-3-540-12925-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96561-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Teixeira Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12085-4Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dalpiaz / Spoletini Requirements Engineering: Foundation for Software Quality
27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-73127-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64353-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90652-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-61361-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ogata / Martí-Oliet Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-65940-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aldini Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66020-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reynolds / Tasiran Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66063-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Balke / Golub / Manolopoulos Linking Theory and Practice of Digital Libraries
29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, Tampere, Finland, September 23-26, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-05408-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Santos / Álvarez / Hernández-Leo Collaboration Technologies and Social Computing
30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-67997-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ábrahám / Abbas Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-74233-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Foster / Sampaio The Application of Formal Methods
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement2024Verlag: SpringerISBN: 978-3-031-67113-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tekinerdogan / Spalazzese / Sözer Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66325-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-61358-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chamberlain / Taha / Törngren Cyber Physical Systems. Model-Based Design
8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23702-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Xia / Zhang Services - SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23380-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Wang Design, User Experience, and Usability. Practice and Case Studies
8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IV1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23534-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chamberlain / Taha / Törngren Cyber Physical Systems. Design, Modeling, and Evaluation
7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17909-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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