Home Advanced Search

Advanced Search - Page 1

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

PDF
English
Year: 2012
Author: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

PDF
English
Year: 2012
Author: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

PDF
English
Year: 2013
Author: John Rushby (auth.), Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (eds.)

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings

PDF
English
Year: 1999
Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

PDF
English
Year: 2015
Author: David Naumann (eds.)

Advances in Web-Based Learning – ICWL 2013: 12th International Conference, Kenting, Taiwan, October 6-9, 2013. Proceedings

PDF
English
Year: 2013
Author: Nick Rushby (auth.), Jhing-Fa Wang, Rynson Lau (eds.)

Proof, Computation and Agency: Logic at the Crossroads

PDF
English
Year: 2011
Author: John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)

Economic evaluation

PDF
English
Year: 2005
Author: Cairns, John; Fox-Rushby, Julia A

The Wiley handbook of learning technology

PDF
English
Year: 2018
Author: Rushby, Nicholas John;Surry, Daniel W

Peripheralization: The Making of Spatial Dependencies and Social Injustice

PDF
English
Year: 2013
Author: Andrea Fischer-Tahir, Matthias Naumann (auth.), Andrea Fischer-Tahir, Matthias Naumann (eds.)