Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 1 Berechenbarkeitstheorie, Komplexitätstheorie
- 45 Künstliche Intelligenz
- 150 Logik, formale Sprachen, Automaten
- 6 Mathematik für Informatiker
- 31 Mensch-Maschine-Interaktion
- 2 Natürliche Sprachen & Maschinelle Übersetzung
- 13 Rechnerarchitektur
- 10 Theoretische Informatik
-
- 236
-
- 235
- 1
-
- 11
- 206
- 19
-
- 236
-
- 236
-
- 236
- 5
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 -
Bessiere Principles and Practice of Constraint Programming - CP 2007
13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74969-1Medium: Buch106,99 € (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 -
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 -
Groves / Sun Formal Methods and Software Engineering
15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41201-1Medium: 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 -
Dosch / Lee / Wu Software Engineering Research and Applications
Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32133-0Medium: 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 -
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 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 Werktage -
Eleftherakis / Hinchey / Holcombe Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33825-0Medium: Buch53,49 € (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 -
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 -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures1. Auflage 2020Verlag: SpringerISBN: 978-3-030-55088-2Medium: 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 -
Sauer / Bogdan / Forbrig Human-Centered Software Engineering
5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44810-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt / Crnkovic / Heineman Component-Based Software Engineering
10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73550-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bogdan / Kuusinen / Lárusdóttir Human-Centered Software Engineering
7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-05908-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winckler / Forbrig / Bernhaupt Human-Centered Software Engineering
4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34346-9Medium: 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 -
Padgham / Zambonelli Agent-Oriented Software Engineering VII
7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Liu / Yi Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25941-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Weyns / Gleizes Agent-Oriented Software Engineering XI
11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22635-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Garcia / Choren / Lucena Software Engineering for Multi-Agent Systems IV
Research Issues and Practical Applications1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33580-1Medium: 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