1
Publicado em 2012
Sumário: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Sumário: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Sumário: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Sumário: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2014
Sumário: ... by SLIC or Sequence and Ligation Independent Cloning -- Quick and Clean Cloning -- Hierarchical Ligation...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Sumário: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Bjørner, Dines., Bjørner, Dines.
Publicado em 2006
Sumário: ... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2007
Sumário: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2013
Sumário: ... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2012
Sumário: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2015
Sumário: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2005
Sumário: ... in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information...
Obter o texto integral
Recurso Electrónico livro electrónico