Temporal Logic and State Systems - Fred Kr ̈ oger and Stephan Merz
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003
Web Information Systems Engineering - WISE 2008 Workshops: WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008, Proceedings (Lecture ... Applications, incl. Internet-Web, and HCI)
Web Information Systems Engineering - WISE 2008 Workshops: WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008, Proceedings (Lecture ... Applications, incl. Internet-Web, and HCI)
Computer Systems 3rd Edition - Randal E. Bryant and David R. O’Hallaron
Computer Systems 3rd Edition - Randal E. Bryant and David R. O’Hallaron
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, Part I
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, Part I
Intelligence in Communication Systems: IFIP International Conference, INTELLCOMM 2004, Bangkok, Thailand, November 23-26, 2004. Proceedings