Ergebnisse filtern
- Fachgebiet
- Medium
-
- 498
- 139
- Erscheinungsjahr
-
- 5
- 29
- 36
- 40
- 45
- 42
- 51
- 36
- 40
- 54
- 36
- 42
- 35
- 29
- 34
- 26
- 25
- 32
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 8
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 2
- 11
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 1
- 1
- 1
- 13
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 8
- 1
- 3
- 3
- 3
- 5
- 1
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 7
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 4
- 6
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 7
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 8
- 1
- 2
- 1
- 3
- 2
- 2
- 4
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 4
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 8
- 10
- 1
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 10
- 2
- 2
- 4
- 2
- Verlag
-
- 555
- 80
- 2
- Preis
-
- 42
- 550
- 45
- Sprachen
-
- 637
- Verfügbarkeit
-
- 636
- 1
- Katalog
-
- 637
- 18
-
Duan / Ong Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68690-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Giannakopoulou / Salaün Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10430-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Camara / Steffen Software Engineering and Formal Methods
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57505-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Canal / Idani Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15200-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ogata / Lawford / Liu Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47845-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qin / Qiu Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24558-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Maibaum / Araki Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88193-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calinescu / Rumpe Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22969-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Bianculli / Calinescu / Rumpe Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-662-49223-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dong / Zhu Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16900-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Conchon / Zaïdi Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25422-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe / Pardo / Schneider Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24689-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghosh Models in Software Engineering
Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-12261-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Chaudron Models in Software Engineering
Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01647-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giese Models in Software Engineering
Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69069-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ruhe / Zhang Search Based Software Engineering
5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39742-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Barros / Labiche Search-Based Software Engineering
7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-22182-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arbab / Sirjani Fundamentals of Software Engineering
Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29319-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Le Goues / Yoo Search-Based Software Engineering
6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-09940-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar58,84 € (inkl. MwSt.)
sofort verfügbar -
Liu / Zhang Engineering Trustworthy Software Systems
First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29627-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nejati / Gay Search-Based Software Engineering
11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings1. Auflage 2019Verlag: SpringerMedium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cohen / O Cinneide Search Based Software Engineering
Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23715-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures1. Auflage 2017Verlag: SpringerISBN: 978-3-319-56840-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernhaupt / Forbrig / Gulliksen Human-Centred Software Engineering
Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16487-3Medium: 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