Sökresultat - information abstraction practical functions data compiled

Menade du:
information abstraction » information extraction , information abstracts , information instruction
abstraction practical » abstract practical , abstraction particle , diffraction practical
practical functions » practical function , practical foundations , fractional functions
functions data » functional data
data compiled » data compared , data complex , data coupled

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”
Hämta fulltext

Elektronisk E-bok

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

Publicerad 2013

Innehållsförteckning: “... and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information...”
Hämta fulltext

Elektronisk E-bok

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015...

Publicerad 2015

Innehållsförteckning: “... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”
Hämta fulltext

Elektronisk E-bok

Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Announcement: A Practical Transactional Memory Interface -- Brief Announcement: On Dynamic and Multi-functional...”
Hämta fulltext

Elektronisk E-bok

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Publicerad 2010

Innehållsförteckning: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Hämta fulltext

Elektronisk E-bok

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013...

Publicerad 2013

Innehållsförteckning: “...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”
Hämta fulltext

Elektronisk E-bok

Python Programming Fundamentals

av Lee, Kent D., Lee, Kent D.
Publicerad 2014

Innehållsförteckning: “...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Hämta fulltext

Elektronisk E-bok

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29...

Publicerad 2008

Innehållsförteckning: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Hämta fulltext

Elektronisk E-bok

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”
Hämta fulltext

Elektronisk E-bok

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicerad 2014

Innehållsförteckning: “... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”
Hämta fulltext

Elektronisk E-bok

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Hämta fulltext

Elektronisk E-bok

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...-temporal Data -- Situation Prediction Nets -- Model Abstraction, Feature Modeling, and Filtering...”
Hämta fulltext

Elektronisk E-bok

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
Hämta fulltext

Elektronisk E-bok

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen