Ergebnisse filtern
-
Romijn / Smith / van de Pol Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30492-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71155-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lalanne / Kohlas Human Machine Interaction
Research Results of the MMI Program1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00436-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hermenegildo / Cabeza Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24362-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72919-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity
Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73278-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Riis Nielson / Filé Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74060-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34893-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