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