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