Ergebnisse filtern
- Fachgebiet
- Medium
-
- 503
- 483
- Erscheinungsjahr
-
- 7
- 36
- 42
- 43
- 60
- 48
- 60
- 54
- 65
- 72
- 62
- 58
- 68
- 57
- 68
- 63
- 57
- 66
- Autoren
-
- 2
- 3
- 2
- 6
- 3
- 1
- 4
- 1
- 4
- 2
- 2
- 1
- 1
- 6
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 2
- 7
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 3
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 15
- 7
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 3
- 2
- 1
- 1
- 2
- 9
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 7
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 2
- 5
- 1
- 2
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 3
- 6
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 9
- 1
- 2
- 3
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 4
- 1
- 1
- 5
- 1
- 2
- 2
- 5
- 3
- 6
- 7
- 2
- 1
- 1
- 2
- 7
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 9
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 7
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 5
- 3
- 4
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 5
- 2
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 3
- 3
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 4
- 1
- 2
- 2
- 4
- 4
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 1
- 2
- 6
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 4
- 2
- 3
- 2
- 9
- 4
- 3
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 9
- 3
- 2
- 5
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 3
- 4
- 11
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 9
- 3
- 2
- 2
- 6
- 2
- 16
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 5
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 16
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 10
- 2
- 3
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 7
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- Verlag
-
- 805
- 177
- 4
- Preis
-
- 72
- 867
- 47
- Sprachen
-
- 986
- Verfügbarkeit
-
- 986
- Katalog
-
- 986
- 25
-
Alonso Middleware 2005
ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32269-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Taha Domain-Specific Languages
IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03034-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bonakdarpour / Smolka Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11163-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Finkbeiner / Mariani Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32078-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kappel / Maamar / Motahari-Nezhad Service Oriented Computing
9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25534-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Costabile / Dittrich / Fischer End-User Development
Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21529-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Rutten It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90088-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Falcone / Sánchez Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46981-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Elisabetta / Yahyapour Towards a Service-Based Internet
Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-17693-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Misra / Nipkow / Sekerinski FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37215-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dueck / Miller Reversible Computation
5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38985-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bikakis / Fodor / Roman Rules on the Web: From Theory to Applications
8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09869-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alonso Middleware 2005
ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30323-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baresi / Chi / Suzuki Service-Oriented Computing
7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-10383-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
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, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-23381-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Finkbeiner / Mariani Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-32079-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
Agha / Danvy / Meseguer Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24932-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sokolsky / Tasiran Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77394-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dragoi / Dragoi / Mukherjee Static Analysis
28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-88806-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thomsen / Soeken Reversible Computation
11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-21499-9Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (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 I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13387-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davies / Gibbons Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73209-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gupta / Mascolo Middleware 2010
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16954-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