Home Advanced Search

Advanced Search - Page 1

Logics and Models of Concurrent Systems
  • PDF
  • English
  • Year: 1985
  • Author: E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
  • PDF
  • English
  • Year: 1984
  • Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)
Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)
Schnellaufende Verbrennungsmaschinen
  • PDF
  • German
  • Year: 1926
  • Author: Harry R. Ricardo B. A., A. M. I. C. E., M. I. A. E. (auth.), Dr. A. Werner, Dipl.-Ing. P. Friedmann (eds.)
Role of Apoptosis in Infection
  • PDF
  • English
  • Year: 2005
  • Author: P. Clarke, S. M. Richardson-Burns, R. L. DeBiasil (auth.), Professor Dr. Diane E. Griffin MD, PhD (eds.)
Solar Gamma-, X-, and EUV Radiation
  • PDF
  • English
  • Year: 1975
  • Author: R. W. Noyes, P. V. Foukal, M. C. E. Huber, E. M. Reeves, E. J. Schmahl, J. G. Timothy (auth.), Sharad R. Kane (eds.)
Medium Companies of Europe 1990/91: Volume 1 Medium Companies of the Continental European Economic Community
  • PDF
  • English
  • Year: 1990
  • Author: R. M. Whiteside, A. Wilson, S. Blackburn, S. E. Hörnig, C. P. Wilson (auth.), R. M. Whiteside, A. Wilson, S. Blackburn, S. E. Hörnig, C. P. Wilson (eds.)
Medium Companies of Europe 1993/94: Medium Companies of Western Europe Outside the European Community
  • PDF
  • English
  • Year: 1993
  • Author: R. M. Whiteside, A. Wilson, S. Blackburn, S. E. Hörnig, C. P. Wilson (auth.), R. M. Whiteside, A. Wilson, S. Blackburn, S. E. Hörnig, C. P. Wilson (eds.)
Major Companies of Europe 1990/91: Volume 2 Major Companies of the United Kingdom
  • PDF
  • English
  • Year: 1990
  • Author: R. M. Whiteside, A. Wilson, S. Blackburn, S. E. Hörnig, C. P. Wilson (auth.), R. M. Whiteside, A. Wilson, S. Blackburn, S. E. Hörnig, C. P. Wilson (eds.)
search