Home Books
Books : Page 85047
Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings
- English
- Year: 2007
- Author: Stephen Payne (auth.), Marco Winckler, Hilary Johnson, Philippe Palanque (eds.)
Polynomial and rational matrices: Applications in dynamical systems theory
- English
- Year: 2006
- Author: Tadeusz Kaczorek
Combinatorial Pattern Matching: 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10–12, 1996 Proceedings
- English
- Year: 1996
- Author: Ricardo Baeza-Yates, Gonzalo Navarro (auth.), Dan Hirschberg, Gene Myers (eds.)
Objektorientierte Informationssysteme: Konzepte, Darstellungsmittel, Methoden
- German
- Year: 1996
- Author: o. Univ.-Prof. Dr. Gerti Kappel, o. Univ.-Prof. Dr. Michael Schrefl (auth.)
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
- DJVU
- English
- Year: 1997
- Author: Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)