Εμφανίζονται 441 - 460 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 441
    Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… logics -- Visualising the behaviour of intelligent networks -- Formal methods and customized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 442
    Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 443
    Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 444
    Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Formal methods -- Largest Common Prefix of a Regular Tree Language -- Winning Strategies for Streaming…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 445
    Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 446
    Challenges for Action Theories
    ανά Thielscher, Michael, Thielscher, Michael
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 447
    Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 448
    Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 449
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 450
    Secure Systems Development with UML
    ανά Jürjens, Jan
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 451
    Modelling and Implementation of Complex Systems Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 452
    Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 453
    Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 454
    Lectures on Embedded Systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… systems with an experiment in hybrid control -- Formal methods in the design of a storm surge barrier…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 455
    Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Mathematical Models of the Covert Channels -- Open Issues in Formal Methods for Cryptographic Protocol Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 456
    Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Privacy Protection -- Formal Methods -- Certifying Native Java Card API by Formal Refinement -- A Low…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 457
    Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 458
    Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Formal Methods in Software Development I -- Automated Derivation of ILP Implementations from SDL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 459
    The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions /
    ανά O'Regan, Gerard, O'Regan, Gerard
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Computers -- Eliza Program -- Email Communication -- E-Commerce -- Formal Methods -- GPS System -- Graphical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 460
    Advances in Digital Forensics III IFIP International Conference on Digital Forensics, National Centre for Forensic Science, Orlando, Florida, January 28-January 31, 2007 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Integrity Model to Evidence Management -- Formal Methods -- Investigating Computer Attacks Using Attack…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email