Ergebnisse filtern
- Fachgebiet
- Medium
-
- 499
- 326
- Erscheinungsjahr
-
- 4
- 26
- 31
- 40
- 47
- 34
- 44
- 35
- 40
- 60
- 51
- 38
- 52
- 66
- 74
- 68
- 54
- 61
- Autoren
-
- 1
- 2
- 2
- 3
- 7
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 6
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 14
- 3
- 1
- 2
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 5
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 12
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 3
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 10
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 2
- 5
- 1
- 5
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 2
- 5
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 5
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 4
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 3
- 2
- 1
- 2
- 8
- 4
- 1
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 5
- 1
- 2
- 6
- 1
- 1
- 1
- 2
- 2
- 8
- 1
- 2
- 2
- 3
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 5
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 4
- 2
- 5
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 3
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 3
- 2
- 5
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 9
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 7
- 3
- 3
- 3
- 3
- 3
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 9
- 2
- 4
- 2
- 2
- 2
- 6
- 16
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 3
- 3
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- Verlag
-
- 730
- 5
- 87
- 3
- Preis
-
- 51
- 731
- 43
- Sprachen
-
- 825
- Verfügbarkeit
-
- 824
- 1
- Katalog
-
- 825
- 23
-
Dubois / Wolff Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gogolla / Wolff Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21767-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beckert / Hähnle Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-79124-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Benzmüller / Ricca / Parent Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99905-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gabmeyer / Johnsen Tests and Proofs
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-61466-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brucker / Julliand Tests and Proofs
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30472-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Markopoulos / IJsselsteijn / Rowland Fun and Games
Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88321-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fraser / Gargantini Tests and Proofs
4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13976-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aichernig / Furia Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41134-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dubois / Wolff Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-92994-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kühne / Selic / Gervais Modelling Foundations and Applications
6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13594-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kühne / Selic / Gervais Modelling Foundations and Applications
6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13595-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Pierantonio / Trujillo Modelling Foundations and Applications
14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92996-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Damiani / Dardha Coordination Models and Languages
23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hierons / Bowen / Harman Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78916-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Traore / Woungang / Awad Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-69154-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Field / Vasconcelos Coordination Models and Languages
11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02052-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibson-Robinson / Hopcroft / Lazic Concurrency, Security, and Puzzles
Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday1. Auflage 2017Verlag: SpringerISBN: 978-3-319-51045-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Taentzer / Bordeleau Modelling Foundations and Applications
11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-21150-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hierons / Bowen / Harman Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers2008Verlag: SpringerISBN: 978-3-540-78917-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Van Gorp / Ritter / Rose Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fonseca i Casas / Sancho / Sherratt System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-30690-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
González Nieto / Wang / Reif Autonomic and Trusted Computing
6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02704-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Paschke / Governatori / Hall Rule Interchange and Applications
International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-04985-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Clarke / Agha Coordination Models and Languages
12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13413-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