Home Advanced Search

Advanced Search - Page 1

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)
Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Samson Abramsky (auth.), Albert R. Meyer, Michael A. Taitslin (eds.)
Advances in Applied Self-Organizing Systems
  • PDF
  • English
  • Year: 2013
  • Author: Mikhail Prokopenko (auth.), Mikhail Prokopenko (eds.)
Peptidomics: Methods and Protocols
  • PDF
  • English
  • Year: 2010
  • Author: Mikhail Soloviev (auth.), Mikhail Soloviev (eds.)
Peptidomics: Methods and Protocols
  • PDF
  • English
  • Year: 2010
  • Author: Mikhail Soloviev (auth.), Mikhail Soloviev (eds.)
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)
Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)
search