Εμφανίζονται 281 - 300 Αποτελέσματα από 391 για την αναζήτηση '"concurrent programming"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 281
    High-Level Verification Methods and Tools for Verification of System-Level Designs /
    ανά Kundu, Sudipta, Lerner, Sorin, Gupta, Rajesh K.
    Έκδοση 2011
    Πίνακας περιεχομένων: “… -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 282
    CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 283
    Formal Methods: State of the Art and New Directions
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Ate My Vote -- Formal Methods for Biochemical Signalling Pathways -- Separation Logic and Concurrency…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 284
    Temporal Logic and State Systems
    ανά Kröger, Fred, Merz, Stephan
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- State Systems -- Verification of State Systems -- Verification of Concurrent Programs -- Structured…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 285
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 286
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 287
    Systems Programming in Unix/Linux
    ανά Wang, K.C, Wang, K.C
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Management in Unix/Linux -- Chapter 4 Concurrent Programming -- Chapter 5 Timers and Time Service -- Chapter…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 288
    Next-Generation Business Intelligence Software with Silverlight 3
    ανά Czernicki, Bart
    Έκδοση 2010
    Πίνακας περιεχομένων: “…) -- Improving Performance with Concurrent Programming -- Integrating with Business Intelligence Systems.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 289
    Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Policies in Web Services -- Parallel and Concurrent Programming -- Automatic Parallelization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 290
    Expert F#
    ανά Syme, Don, Granicz, Adam, Cisternino, Antonio
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Representations -- Reactive, Asynchronous, and Concurrent Programming -- Building Web Applications -- Working…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 291
    Lectures on Petri Nets II: Applications Advances in Petri Nets /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Petri nets, process algebras and concurrent programming languages -- Petri nets and production…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 292
    Silverlight 4 Business Intelligence Software
    ανά Czernicki, Bart
    Έκδοση 2010
    Πίνακας περιεχομένων: “…) -- Improving Performance with Concurrent Programming -- Integrating with Business Intelligence Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 293
    Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Verification of Concurrent Programs -- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 294
    Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Verification of Concurrent Programs with Chalice -- Certified Static Analysis by Abstract Interpretation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 295
    Reflections on the Work of C.A.R. Hoare
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Development of Concurrent Programs -- Avoid a Void: The Eradication of Null Dereferencing -- Unfolding CSP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 296
    Mathematical Logic for Computer Science
    ανά Ben-Ari, Mordechai
    Έκδοση 2012
    Πίνακας περιεχομένων: “… -- Verification of Concurrent Programs -- Set Theory -- Index of Symbols -- Index of Names -- Subject Index.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 297
    sicp.pdf
    Έκδοση 2019
    “… with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic…”
  18. 298
    Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… for concurrent programs -- Knowledge transfer and information leakage in protocols -- Concurrent Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 299
    More iPhone Development with Swift Exploring the iOS SDK /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 300
    Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… analyzer of concurrent programs: Problems and perspectives -- Polyvariance, polymorphism and flow analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email