Home Advanced Search

Advanced Search - Page 1

String Analysis for Software Verification and Security
  • PDF
  • English
  • Year: 2017
  • Author: Tevfik Bultan,Fang Yu,Muath Alkhalaf,Abdulbaki Aydin (auth.)
String Analysis for Software Verification and Security
  • PDF
  • english
  • Year: 2017
  • Author: Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Tevfik Bultan (auth.), Dirk Beyer, Michele Boreale (eds.)
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
China’s New Urbanization: Developmental Paths, Blueprints and Patterns
  • PDF
  • English
  • Year: 2016
  • Author: Chuanglin Fang, Danlin Yu (auth.)
Introduction to Chinese Cursive Script
  • PDF
  • Chinese-English
  • Author: Fang Yu-Wang.
Uncoupling American Empire : Cultural Politics of Deviance and Unequal Difference, 1890-1910
  • EPUB
  • English
  • Year: 2014
  • Author: Yu-Fang Cho
Global Constitutionalism: A Socio-legal Perspective
  • PDF
  • English
  • Year: 2018
  • Author: Aydin Atilgan (auth.)
HIV Interactions with Host Cell Proteins
  • PDF
  • English
  • Year: 2009
  • Author: Anna Maria Niewiadomska, Xiao-Fang Yu (auth.), Paul Spearman, Eric O. Freed (eds.)
Geo-Architecture and Landscape in China’s Geographic and Historic Context : Volume 1 Geo-Architecture Wandering in the Landscape
  • PDF
  • English
  • Year: 2016
  • Author: Fang Wang (auth.)
search