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