Ergebnisse filtern
- Fachgebiet
- Medium
-
- 499
- 138
- Erscheinungsjahr
-
- 6
- 25
- 42
- 34
- 46
- 43
- 52
- 31
- 43
- 55
- 38
- 39
- 36
- 29
- 34
- 26
- 26
- 32
- Autoren
-
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 5
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 11
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 15
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 1
- 8
- 1
- 3
- 3
- 3
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 4
- 1
- 2
- 3
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 7
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 5
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 8
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 8
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 4
- 2
- 2
- 11
- 2
- 5
- 4
- Verlag
-
- 553
- 82
- 2
- Preis
-
- 45
- 547
- 45
- Sprachen
-
- 637
- Verfügbarkeit
-
- 636
- 1
- Katalog
-
- 637
- 19
-
Dragoi / Dragoi / Mukherjee Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88805-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72919-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Podelski Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99724-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aleven / Kay / Mostow Intelligent Tutoring Systems
10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part IIErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13437-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Reinhartz-Berger / Sadiq Advances in Conceptual Modeling
ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88358-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar -
Howar / Barnat Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-00244-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ranzato Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66706-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kumar / Troussas Intelligent Tutoring Systems
16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-49663-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Grumberg / Kaminski / Katz Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th BirthdayErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01747-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dean / Hall / Rotolo Semantic Web Rules
International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16288-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stephanidis Universal Access in Human-Computer Interaction. Ambient Interaction
4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73280-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taha Domain-Specific Languages
IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03033-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerri / Clancey / Papadourakis Intelligent Tutoring Systems
11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30949-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
van Hentenryck Practical Aspects of Declarative Languages
8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ranzato Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66705-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fogli / Tetteroo / Barricelli End-User Development
8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-79839-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dal Cin / Kaâniche / Pataricza Dependable Computing - EDCC 2005
5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25723-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dittrich / Burnett / Morch End-User Development
4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38705-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barnes Ada 2005 Rationale
The Language, The Standard LibrariesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79700-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reinhartz-Berger / Sadiq Advances in Conceptual Modeling
ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88357-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dongol / Troubitsyna Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-63460-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Miller / Stroulia / Lee Web Services - ICWS 2019
26th International Conference, 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-23498-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leue / Merino Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79706-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ikeda / Ashlay / Chan Intelligent Tutoring Systems
8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35159-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dan / Gittler / Toumani Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16132-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort