Suggested Topics within your search.
Suggested Topics within your search.
1
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow...”View full text
Electronic
eBook
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
4
5
Published 2005
Table of Contents:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Distribution: An Overview of Explicit Parallel Programming Languages -- A Fast Parallel Graph Partitioner...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in C Programs -- Automatic Implementation of Programming Language Consistency Models -- Parallel...”View full text
Electronic
eBook
8
Table of Contents:
“...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
View full text
View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”View full text
Electronic
eBook
13
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... and Topological Models for DNA Recombinant Processes -- Contributed Papers -- Regular Expressions for Two...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- PlasmidPL: A Plasmid-Inspired Language for Genetic Programming -- Using Genetic Programming for Turing...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... to Provability Logic -- Characterising Probabilistic Processes Logically -- fCube: An Efficient Prover...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Developments in the Natural Language Industry: Translingual Automatic Language Exploration System (TALES...”View full text
Electronic
eBook