Ergebnisse filtern
- Fachgebiet
- Medium
-
- 507
- 141
- Erscheinungsjahr
-
- 6
- 19
- 37
- 29
- 41
- 37
- 50
- 36
- 40
- 61
- 51
- 52
- 38
- 31
- 35
- 30
- 24
- 31
- Autoren
-
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 5
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 5
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 6
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 7
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 9
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 6
- 7
- 1
- 2
- 2
- 7
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 3
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 6
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 6
- 2
- 1
- 1
- 1
- 1
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 9
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 10
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 11
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- Verlag
-
- 565
- 82
- 1
- Preis
-
- 48
- 567
- 33
- Sprachen
-
- 648
- Verfügbarkeit
-
- 648
- Katalog
-
- 648
- 20
-
Edwards / Kulczycki Formal Foundations of Reuse and Domain Engineering
11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04210-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pesant Principles and Practice of Constraint Programming
21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23218-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
O'Sullivan Principles and Practice of Constraint Programming
20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10427-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rueher Principles and Practice of Constraint Programming
22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44952-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beck Principles and Practice of Constraint Programming
23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66157-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bassiliades / Governatori / Paschke Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-22546-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Beck Principles and Practice of Constraint Programming
23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66158-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bassiliades / Governatori / Paschke Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22545-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hooker Principles and Practice of Constraint Programming
24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-98333-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Johnsen Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures2015Verlag: SpringerISBN: 978-3-319-18940-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paskevich / Wies Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-72308-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Giannakopoulou / Kroening Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12153-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paskevich / Wies Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-72307-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chakraborty / Navas Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-41599-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gurfinkel / Seshia Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29612-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abrahamsson / Baddoo / Margaria Software Process Improvement
14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74765-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chandrasekaran / Juckeland Accelerator Programming Using Directives
4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74895-5Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clarke / Wrigstad / Noble Aliasing in Object-Oriented Programming
Types, Analysis and Verification1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36945-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Becker / Plasil / Reussner Quality of Software Architectures Models and Architectures
4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87878-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kreowski / Montanari / Orejas Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24936-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bhalachandra / Daley / Melesse Vergara Accelerator Programming Using Directives
8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-97758-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calinescu / Jackson Foundations of Computer Software
Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21291-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chandrasekaran / Juckeland / Wienke Accelerator Programming Using Directives
5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-12273-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bennedsen / Caspersen / Kölling Reflections on the Teaching of Programming
Methods and ImplementationsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77933-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11652-5Medium: 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