Home Advanced Search

Advanced Search - Page 1

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Márcio Cornélio, Bill Roscoe (eds.)
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Márcio Barros, Yvan Labiche (eds.)
Formal Methods
  • PDF
  • English
  • Year: 2018
  • Author: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Modelling & Analysis of Security Protocols
  • PDF
  • English
  • Year: 2000
  • Author: Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe
Germânia
  • EPUB
  • Portuguese
  • Year: 2001
  • Author: Publius Cornélio Tácito
Reflections on the Work of C.A.R. Hoare
  • PDF
  • English
  • Year: 2010
  • Author: C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)
A Menina Morta
  • PDF
  • Portuguese
  • Author: Cornélio de Oliveira Penna
Moral Issues in International Affairs: Problems of European Integration
  • PDF
  • English
  • Year: 1998
  • Author: Bill McSweeney (eds.)
The Media and Northern Ireland: Covering the Troubles
  • PDF
  • English
  • Year: 1991
  • Author: Bill Rolston (eds.)
法理学 /Fa li xue
  • PDF
  • Chinese, English
  • Year: 2004
  • Author: Pound, Roscoe
search