Home Advanced Search

Advanced Search - Page 1

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
  • PDF
  • English
  • Year: 2002
  • Author: Matthew Dwyer (auth.), Bart Jacobs, Arend Rensink (eds.)
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Stefania Gnesi, Arend Rensink (eds.)
Theory and Practice of Model Transformation
  • PDF
  • English
  • Year: 2018
  • Author: Arend Rensink, Jesús Sánchez Cuadrado
Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Bart Jacobs (auth.), Cristian S. Calude, Vladimiro Sassone (eds.)
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Bart Jacobs, Christof Löding (eds.)
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2017
  • Author: Joost-Pieter Katoen, Rom Langerak, Arend Rensink
The Missing Manual for Swift Development
  • EPUB
  • English
  • Year: 2017
  • Author: Jacobs, Bart [Jacobs, Bart]
Mastering MVVM With Swift: Updated for Xcode 9 and Swift 4
  • EPUB
  • English
  • Year: 2017
  • Author: Jacobs, Bart [Jacobs, Bart]
Mastering Core Data With Swift: Update for Xcode 9 and Swift 4
  • EPUB
  • English
  • Year: 2017
  • Author: Bart Jacobs [Jacobs, Bart]
search