Home Advanced Search

Advanced Search - Page 1

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Social Network Analysis in Predictive Policing: Concepts, Models and Methods
  • PDF
  • English
  • Year: 2016
  • Author: Mohammad A. Tayebi, Uwe Glässer (auth.)
A distributed implementation of Flat Concurrent Prolog on message-passing microprocessor systems
  • DJVU
  • English
  • Year: 1993
  • Author: Glässer, Uwe
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Maxime Amblard (auth.), Sylvain Pogodalla, Jean-Philippe Prost (eds.)
Phénoménologie de la religion et herméneutique théologique dans la pensée du jeune Heidegger: Commentaire analytique des Fondements philosophiques de la mystique médiévale (1916-1919)
  • PDF
  • French
  • Year: 2007
  • Author: Camilleri Sylvain (auth.), Camilleri Sylvain (eds.)
Phénoménologie de la religion et herméneutique théologique dans la pensée du jeune Heidegger: Commentaire analytique des Fondements philosophiques de la mystique médiévale (1916-1919)
  • PDF
  • French
  • Year: 2007
  • Author: Camilleri Sylvain (auth.), Camilleri Sylvain (eds.)
Schumpeterian Perspectives on Innovation, Competition and Growth
  • PDF
  • English
  • Year: 2009
  • Author: Uwe Cantner, Jean-Luc Gaffard, Lionel Nesta (auth.), Uwe Cantner, Jean-Luc Gaffard, Lionel Nesta (eds.)
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
  • EPUB
  • English
  • Year: 2023
  • Author: Uwe Glässer; Jose Creissac Campos; Dominique Méry; Philippe Palanque
Complexity of Computer Computations: Proceedings of a symposium on the Complexity of Computer Computations, held March 20–22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, and sponsored by the Office of Naval Research, Mathematics Program, IBM World Trade Corporation, and the IBM Research Mathematical Sciences Department
  • PDF
  • English
  • Year: 1972
  • Author: Volker Strassen (auth.), Raymond E. Miller, James W. Thatcher, Jean D. Bohlinger (eds.)
search