Home Advanced Search

Advanced Search - Page 1

Software Engineering 1: Abstraction and Modelling
  • DJVU
  • English
  • Year: 2006
  • Author: Dines Bjorner
Elements of Microcomputer Interfacing
  • DJVU
  • English
  • Year: 1990
  • Author: Dines Bjorner, C.A.R. Hoare, Hans Langmaack
Integrating Decision Procedures for Temporal Verification
  • PDF
  • English
  • Year: 1999
  • Author: Nikolaj Skallerud Bjorner
Combinatorics of Coxeter groups
  • PDF
  • English
  • Year: 2005
  • Author: Bjorner A., Brenti F.
Pornland
  • EPUB
  • English
  • Year: 2011
  • Author: Gail Dines
Domain Science and Engineering. A Foundation for Software Development.
  • PDF
  • English
  • Year: 2021
  • Author: Dines Bjørner
Domains, requirements, and software design
  • PDF
  • English
  • Year: 2006
  • Author: Bjørner, Dines
Pornolândia: como a pornografia sequestrou nossa sexualidade
  • PDF
  • Portuguese
  • Year: 2023
  • Author: Gail Dines
Tuff City: Urban Change and Contested Space in Central Naples
  • PDF
  • English
  • Year: 2012
  • Author: Nick Dines
The Literature of Suburban Change: Narrating Spatial Complexity in Metropolitan America
  • PDF
  • English
  • Year: 2022
  • Author: Martin Dines
search