Home Advanced Search

Advanced Search - Page 1

FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Stefania Gnesi, Arend Rensink (eds.)
High Performance Computing: International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Bret A. Marsolf, Aart J. C. Bik, Kyle A. Gallivan (auth.), Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya (eds.)
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)
Modeling Time in Computing
  • PDF
  • English
  • Year: 2012
  • Author: Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi (auth.)
Informatica teorica
  • PDF
  • Italian
  • Year: 2011
  • Author: Paola Spoletini Dino Mandrioli
Theoretical foundations of computer science
  • DJVU
  • English
  • Year: 1988
  • Author: Dino Mandrioli; Carlo Ghezzi
Imitation and Creativity in Japanese Arts: From Kishida Ryusei to Miyazaki Hayao
  • AZW3
  • English
  • Year: 2017;2016
  • Author: Araki, Nobuyoshi;Kishida, Ryūsei;Lucken, Michael;Simkin, Francesca
Emerging Development of Agriculture in East Africa: Markets, Soil, and Innovations
  • PDF
  • English
  • Year: 2011
  • Author: Takashi Yamano, Keijiro Otsuka, Frank Place (auth.), Takashi Yamano, Keijiro Otsuka, Frank Place (eds.)
Advances in Nuclear Science and Technology
  • PDF
  • English
  • Year: 1996
  • Author: K. Kishida (auth.)
search