Home Books

Books : Page 42258

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
  • PDF
  • English
  • Year: 1993
  • Author: Robert Kurshan (auth.), Robert Kurshan (eds.)
Bioelectricity: A Quantitative Approach
  • PDF
  • English
  • Year: 1988
  • Author: Robert Plonsey, Roger C. Barr (auth.)
Solar Energy Applications to Buildings and Solar Radiation Data: Proceedings of the EC Contractors’ Meeting held in Brussels, Belgium, 1 and 2 October 1987
  • PDF
  • English
  • Year: 1988
  • Author: Dr. K. Scharmer (auth.), T. C. Steemers (eds.)
Karriereberatung: Leser Fragen — VDI-Nachrichten Antworten
  • PDF
  • German
  • Year: 1995
  • Author: Heiko Mell (auth.)
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
  • PDF
  • English
  • Year: 1989
  • Author: Dirk A. Taubner (auth.)
Technische Schwingungslehre
  • PDF
  • German
  • Year: 1992
  • Author: Dipl.-Math. Manfred Knaebel (auth.)
Rechnerstrukturen: Verhaltensbeschreibung und Entwurfsebenen Eine Einführung für Elektrotechniker und Informatiker
  • PDF
  • German
  • Year: 1987
  • Author: Professor Dr.-Ing. Klaus Lagemann (auth.)
Theoretische Informatik: Grundlagen und praktische Anwendungen
  • PDF
  • German
  • Year: 1995
  • Author: Werner Brecht (auth.)
Discrete Transforms
  • PDF
  • English
  • Year: 1992
  • Author: Jean M. Firth (auth.)
Third Generation Wireless Information Networks
  • PDF
  • English
  • Year: 1992
  • Author: Lawrence J. Movshin (auth.), Sanjiv Nanda, David J. Goodman (eds.)
search