Ergebnisse filtern
- Fachgebiet
- Medium
-
- 492
- 332
- Erscheinungsjahr
-
- 4
- 18
- 35
- 37
- 50
- 33
- 42
- 37
- 46
- 56
- 51
- 41
- 53
- 65
- 72
- 67
- 54
- 63
- Autoren
-
- 1
- 2
- 1
- 2
- 7
- 1
- 1
- 4
- 2
- 1
- 2
- 1
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 3
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 5
- 4
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 13
- 3
- 1
- 2
- 2
- 2
- 5
- 1
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 12
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 6
- 2
- 3
- 6
- 3
- 3
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 9
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 2
- 5
- 1
- 4
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 3
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 4
- 1
- 4
- 1
- 1
- 5
- 2
- 2
- 3
- 1
- 1
- 5
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 5
- 2
- 2
- 4
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 2
- 4
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 3
- 2
- 1
- 4
- 1
- 3
- 2
- 1
- 4
- 8
- 3
- 2
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 2
- 6
- 1
- 1
- 1
- 2
- 2
- 7
- 1
- 2
- 3
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 5
- 1
- 4
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 2
- 5
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 3
- 1
- 2
- 5
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 11
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 6
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 10
- 2
- 4
- 2
- 2
- 2
- 7
- 17
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 6
- 3
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 727
- 1
- 90
- 6
- Preis
-
- 51
- 731
- 42
- Sprachen
-
- 824
- Verfügbarkeit
-
- 824
- Katalog
-
- 824
- 24
-
Aoki / Taguchi Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34280-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / He Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-47462-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-76650-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-10373-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Dong / Zhu Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16901-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Merz / Pang Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Roveri Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-74781-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark78,10 € (inkl. MwSt.)
sofort verfügbar78,10 € (inkl. MwSt.)
sofort verfügbar -
Counsell / Núñez Software Engineering and Formal Methods
SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05031-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meyer / Nordio Empirical Software Engineering and Verification
International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures1. Auflage 2012Verlag: SpringerISBN: 978-3-642-25230-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hierons / Merayo / Bravetti Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40560-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ait-Ameur / Qin Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32408-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dosch / Lee / Wu Software Engineering Research and Applications
Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers2006Verlag: SpringerISBN: 978-3-540-32134-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Lau / Banach Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29797-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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: SpringerISBN: 978-3-319-22968-3Medium: 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, Proceedings2008Verlag: SpringerISBN: 978-3-540-88194-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76648-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Roveri Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74780-4Medium: Buch79,18 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,18 € (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 -
Kühne Models in Software Engineering
Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69488-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kühne Models in Software Engineering
Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers2007Verlag: SpringerISBN: 978-3-540-69489-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ghosh Models in Software Engineering
Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12260-6Medium: 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 Papers2008Verlag: SpringerISBN: 978-3-540-69073-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort