Ergebnisse filtern
-
Doherty / Blandford Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akehurst / Vogel / Paige Model Driven Architecture - Foundations and Applications
Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72900-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blass / Cégielski / Dershowitz Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday1. Auflage 2020Verlag: SpringerISBN: 978-3-030-48005-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rensink / Warmer Model-Driven Architecture - Foundations and Applications
Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35909-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73104-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacko Human-Computer Interaction. HCI Applications and Services
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73109-2Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morisio Reuse of Off-the-Shelf Components
9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34606-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacko Human-Computer Interaction. Interaction Platforms and Techniques
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73106-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design
5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70815-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang Formal Techniques for Networked and Distributed Systems - FORTE 2005
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29189-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68892-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Di Martino / Kranzlmüller / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29009-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Capello / Herault / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75415-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Hillston Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced LecturesErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45385-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hanus Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69608-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pipek / Rosson / Wulf End-User Development
2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00425-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hudak / Warren Practical Aspects of Declarative Languages
10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77441-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gavanelli / Reppy Practical Aspects of Declarative Languages
18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28227-5Medium: Buch42,80 € (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 -
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 -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort