Start Over
You searched for: author Abadi, Martín.

Search Results

Cover image for A theory of objects

A theory of objects

Joyner Library - General Stacks
Call Number: QA76.64 .A22 1996
Cover image for Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Location
Access Content Online
Cover image for Trustworthy global computing

Trustworthy global computing

Location
Access Content Online
Cover image for Theoretical aspects of computer software

Theoretical aspects of computer software

Location
Access Content Online
Cover image for Theoretical aspects of computer software

Theoretical aspects of computer software

Joyner Library - General Stacks
Call Number: QA76.751 .T33 1997
Cover image for CONCUR 2005 -- concurrency theory

CONCUR 2005 -- concurrency theory

Joyner Library - General Stacks
Call Number: QA76.58 .I53 2005
Cover image for CONCUR 2005 -- concurrency theory

CONCUR 2005 -- concurrency theory

Location
Access Content Online
Cover image for CONCUR '97

CONCUR '97

Location
Access Content Online
Cover image for Killer commodities

Killer commodities

  • 2009
  • Format: Book
Joyner Library - General Stacks
Call Number: RA 427.3 .K45 2009