Výsledky vyhledávání - program part https implementation https https

1

Reflections on the Teaching of Programming Methods and Implementations /

Vydáno 2008

Obsah: “...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”
Získat plný text

Elektronický zdroj E-kniha

2

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Vydáno 2006

Obsah: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Získat plný text

Elektronický zdroj E-kniha

3

Object-Oriented Analysis, Design and Implementation An Integrated Approach /

Autor Dathan, Brahma., Dathan, Brahma., Ramnath, Sarnath.
Vydáno 2015

Obsah: “... -- Language Features for Object-Oriented Implementation -- Part II: Introduction to Object-Oriented Analysis...”
Získat plný text

Elektronický zdroj E-kniha

4

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Vydáno 2006

Obsah: “...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...”
Získat plný text

Elektronický zdroj E-kniha

5

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Vydáno 2005

Obsah: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Získat plný text

Elektronický zdroj E-kniha

6

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part...

Vydáno 2012

Témata: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text

Elektronický zdroj E-kniha

7

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part...

Vydáno 2011

Témata: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text

Elektronický zdroj E-kniha

8

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Vydáno 2008

Obsah: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Získat plný text

Elektronický zdroj E-kniha

9

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Vydáno 2007

Obsah: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Získat plný text

Elektronický zdroj E-kniha

10

Parallel Processing and Applied Mathematics, Part I 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 /

Vydáno 2010

Obsah: “... Three Dimensional Second Order Partial Differential Equation -- Hardware Implementation of the Exponent...”
Získat plný text

Elektronický zdroj E-kniha

11

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Vydáno 2013

Obsah: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
Získat plný text

Elektronický zdroj E-kniha

12

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Získat plný text

Elektronický zdroj E-kniha

13

Implementing Semantic Web Services The SESA Framework /

Vydáno 2008

Témata: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Získat plný text

Elektronický zdroj E-kniha

14

ENTERprise Information Systems, Part I International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “... and Knowledge Society: Challenges and Reflections -- EIS Design, Implementation and Impact -- Management Model...”
Získat plný text

Elektronický zdroj E-kniha

15

ENTERprise Information Systems, Part II International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II /

Vydáno 2010

Obsah: “... Implementations: Exploring the Impact of Coordination Structures and Their Properties -- A Model for Cooperation...”
Získat plný text

Elektronický zdroj E-kniha

16

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Vydáno 2010

Obsah: “... Axes: XPath Implementation Tips -- Neighbour Replica Transaction Failure Framework in Data Grid...”
Získat plný text

Elektronický zdroj E-kniha

17

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Vydáno 2010

Obsah: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Získat plný text

Elektronický zdroj E-kniha

18

Networked Digital Technologies, Part I Second International Conference, NDT 2010, Prague, Czech Republic /

Vydáno 2010

Obsah: “... Factorization on GPU -- Chatbot Enhanced Algorithms: A Case Study on Implementation in Bahasa Malaysia Human...”
Získat plný text

Elektronický zdroj E-kniha

19

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Vydáno 2010

Obsah: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Získat plný text

Elektronický zdroj E-kniha

20

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání