Showing 1 - 20 results of 44 for search '', query time: 0.25s Refine Results
  1. 1
    ARIS--business process modeling /
    by Scheer, August-Wilhelm
    Published 1999
    Book
  2. 2
    Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings /
    Published 2001
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Informing digital futures : strategies for citizen engagement /
    by Damodaran, Leela
    Published 2006
    Connect to the full text of this electronic book
    Publisher description
    eBook
  4. 4
    Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings /
    Published 2006
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    Validated designs for object-oriented systems /
    Published 2005
    Connect to the full text of this electronic book
    Publisher description
    eBook
  6. 6
    Advances in exception handling techniques /
    Published 2001
    Connect to the full text of this electronic book
    eBook
  7. 7
    Fuzzy systems design : social and engineering applications /
    Published 1998
    Connect to the full text of this electronic book
    eBook
  8. 8
    Principles of embedded networked systems design /
    by Pottie, Gregory J.
    Published 2005
    Publisher description
    Table of contents
    Book
  9. 9
    Conceptual modeling : current issues and future directions /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Hardware/software co-design /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Computer supported cooperative work in design I : 8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers /
    Published 2005
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  12. 12
    Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
    Published 2005
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  13. 13
    FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
    Published 2005
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    Challenges for action theories /
    by Thielscher, Michael
    Published 2000
    Connect to the full text of this electronic book
    eBook
  15. 15
    Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /
    Published 1995
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 16
    Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /
    Published 1983
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
    Published 2006
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  18. 18
    Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /
    Published 2003
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  19. 19
    Computer supported cooperative work in design. 9th International Conference, CSCWD 2005 Coventry, UK, May 24-26, 2005, revised selected papers /
    Published 2006
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  20. 20
    Component deployment : third international working conference, CD 2005, Grenoble, France, November 28-29, 2005 : proceedings /
    Published 2005
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: Get RSS Feed — Email this Search