Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 2 Berechenbarkeitstheorie, Komplexitätstheorie
- 47 Künstliche Intelligenz
- 148 Logik, formale Sprachen, Automaten
- 12 Mathematik für Informatiker
- 32 Mensch-Maschine-Interaktion
- 1 Natürliche Sprachen & Maschinelle Übersetzung
- 15 Rechnerarchitektur
- 8 Theoretische Informatik
-
- 236
-
- 236
-
- 12
- 200
- 24
-
- 236
-
- 236
-
- 236
- 4
Informatik
-
Sawyer / Paech / Heymans Requirements Engineering: Foundation for Software Quality
13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73030-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sloane / Aßmann Software Language Engineering
4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28829-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malloy / Staab / van den Brand Software Language Engineering
Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19439-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 Werktage -
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 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 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 Werktage -
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 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 Werktage -
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 Werktage -
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 Werktage -
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 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 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 Werktage -
Le Goues / Yoo Search-Based Software Engineering
6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09939-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Gorton / Heinemann / Crnkovic Component-Based Software Engineering
9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35628-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grunske / Reussner / Plasil Component-Based Software Engineering
13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / Zambonelli Agent-Oriented Software Engineering VI
6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34097-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Larsen / Sokolsky / Wang Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-69482-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gleizes / Gomez-Sanz Agent-Oriented Software Engineering X
10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19207-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Odell / Giorgini / Müller Agent-Oriented Software Engineering V
5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24286-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luck / Padgham Agent-Oriented Software Engineering VIII
8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79487-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort