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