Home Advanced Search

Advanced Search - Page 1

Principles of the Spin Model Checker
  • PDF
  • English
  • Year: 2008
  • Author: Mordechai Ben-Ari BSc, MSc, PhD (auth.)
Mathematical Logic for Computer Science
  • PDF
  • English
  • Year: 2012
  • Author: Ben-Ari, Mordechai
Mathematical Logic for Computer Science
  • PDF
  • English
  • Year: 2012
  • Author: Mordechai Ben-Ari
Mathematical Surprises
  • PDF
  • English
  • Year: 2022
  • Author: Mordechai Ben-Ari
Mathematical Surprises
  • PDF
  • English
  • Year: 2022
  • Author: Mordechai Ben-Ari
Logica matematica per l'informatica
  • DJVU
  • Italian
  • Year: 1998
  • Author: Mordechai Ben-Ari
Principles of concurrent and distributed programming
  • CHM
  • English
  • Year: 2006
  • Author: Mordechai Ben-Ari
Ada for software engineers
  • PDF
  • English
  • Year: 2009
  • Author: Mordechai Ben-Ari
Mathematical logic for computer science
  • DJVU
  • English
  • Year: 1993
  • Author: Mordechai Ben-Ari
EC2ND 2006: Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK
  • PDF
  • English
  • Year: 2007
  • Author: Andrew Blyth BSc, MSc, PhD, Iain Sutherland BSc, MSc, PhD (auth.)
search