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