Home Advanced Search

Advanced Search - Page 1

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.)
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis (auth.), Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book (eds.)
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
Saline Lakes: Proceedings of the Fourth International Symposium on Athalassic (inland) Saline Lakes, held at Banyoles, Spain, May 1988
  • PDF
  • English
  • Year: 1990
  • Author: A. V. Arakel, G. Jacobson, W. B. Lyons (auth.), Franciso A. Comín, Thoma G. Northcote (eds.)
Trace Elements in Clinical Medicine: Proceedings of the Second Meeting of the International Society for Trace Element Research in Humans (ISTERH) August 28–September 1, 1989, Tokyo
  • PDF
  • English
  • Year: 1990
  • Author: Ananda S. Prasad (auth.), Hiroshi Tomita M.D. (eds.)
The Tropical Rain Forest: A First Encounter
  • PDF
  • English
  • Year: 1988
  • Author: Marius Jacobs (auth.), Remke Kruk (eds.)
Electron Microscopy in Forensic, Occupational, and Environmental Health Sciences
  • PDF
  • English
  • Year: 1987
  • Author: S. Basu (auth.), Samarendra Basu Ph.D., James R. Millette Ph.D. (eds.)
Provenance of Arenites
  • PDF
  • English
  • Year: 1985
  • Author: Abhijit Basu (auth.), G. G. Zuffa (eds.)
Recent Trends in Fuel Cell Science and Technology
  • PDF
  • English
  • Year: 2007
  • Author: R. K. Shah (auth.), Suddhasatwa Basu (eds.)
search