Showing 1 - 20 results of 1,907 for search '', query time: 0.05s Refine Results
  1. 1
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
    by Dovier, Agostino
    Published 2010
    Get full text
    Electronic Kit Book
  5. 5
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
    by Kurki-Suonio, Reino
    Published 2005
    Get full text
    Electronic Kit Book
  6. 6
    A Theory of Distributed Objects Asynchrony β€” Mobility β€” Groups β€” Components
    by Caromel, Denis
    Published 2005
    Get full text
    Electronic Kit Book
  7. 7
    Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
    by Geurts, Frederic, Geurts, Frederic
    Published 1998
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Abstract Computing Machines A Lambda Calculus Perspective
    by Kluge, William S.
    Published 2005
    Get full text
    Electronic Kit Book
  10. 10
    Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by Frappier, Marc
    Published 2010
    Get full text
    Electronic Kit Book
  14. 14
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle, Morgan, Carroll
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search