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