Arama Sonuçları - program methods https computing semantics https

1

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /

Baskı/Yayın Bilgisi 2012

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

2

Semantics with Applications: An Appetizer

Yazar: Riis Nielson, Hanne., Riis Nielson, Hanne., Nielson, Flemming.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Denotational Semantics -- More on Denotational Semantics -- Program Analysis -- More on Program Analysis...”
Tam Metin Erişim

Elektronik Ekitap

3

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics /

Yazar: Majkić, Zoran., Majkić, Zoran.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
Tam Metin Erişim

Elektronik Ekitap

4

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /

Baskı/Yayın Bilgisi 2013

Konular: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Tam Metin Erişim

Elektronik Ekitap

5

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...”
Tam Metin Erişim

Elektronik Ekitap

6

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Tam Metin Erişim

Elektronik Ekitap

7

Computational Methods

Baskı/Yayın Bilgisi 2006

İçindekiler: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Tam Metin Erişim

Elektronik Ekitap

8

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated...

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State...”
Tam Metin Erişim

Elektronik Ekitap

9

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill...”
Tam Metin Erişim

Elektronik Ekitap

10

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer...

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through...”
Tam Metin Erişim

Elektronik Ekitap

11

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Issues for Composite Semantic Services -- Parallel Computation Techniques for Ontology Reasoning...”
Tam Metin Erişim

Elektronik Ekitap

12

Formal Methods for Quantitative Aspects of Programming Languages 10th International School...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum...”
Tam Metin Erişim

Elektronik Ekitap

13

Compiler Design Syntactic and Semantic Analysis /

Yazar: Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut., Hack, Sebastian.
Baskı/Yayın Bilgisi 2013

İçindekiler: “...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....”
Tam Metin Erişim

Elektronik Ekitap

14

The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Schema Matching Methods -- Debugging and Semantic Clarification by Pinpointing -- An Argumentation...”
Tam Metin Erişim

Elektronik Ekitap

15

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...”
Tam Metin Erişim

Elektronik Ekitap

16

Operational Semantics and Verification of Security Protocols

Yazar: Cremers, Cas., Cremers, Cas., Mauw, Sjouke.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

17

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- UTP Semantics for Web Services -- Combining Mobility with State -- Algebraic Approaches to Formal...”
Tam Metin Erişim

Elektronik Ekitap

18

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”
Tam Metin Erişim

Elektronik Ekitap

19

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Matchmaking -- Adding Data Mining Support to SPARQL Via Statistical Relational Learning Methods -- A Semantic...”
Tam Metin Erişim

Elektronik Ekitap

20

Canadian Semantic Web

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Keynote session -- Service-Oriented Computing: Multiagent Foundation, Robust Applications...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt