1
Autor Sestoft, Peter., Sestoft, Peter.
Vydáno 2012
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2015
Obsah: ...Paraconsistent Logics: preamble -- Constructive Discursive Logic: Paraconsistency in Constructivism...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2010
Obsah: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2012
Obsah: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ..., Innovative Solutions -- Process Management -- Evidence-Based Software Processes -- SoS Management Strategy...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2010
Obsah: ... Constructing a Compact Concept Map of Dance Motion with Motion Captured Data -- Using the Petri Nets...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2005
Obsah: ... Intelligent Strategy Repository -- Effortless Construction and Management of Program Animations on the Web...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2008
Obsah: ... of an Automated System for Assessment of Computer Programming Assignments -- Web-Based Logging of Classroom...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2010
Obsah: ... Computational Intelligence -- Incremental Construction of Alpha Lattices and Association Rules -- Intelligent...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2015
Obsah: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Získat plný text
Elektronický zdroj E-kniha
11
Autor Holt, Alan., Holt, Alan.
Vydáno 2008
Obsah: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Získat plný text
Elektronický zdroj E-kniha
12
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2005
Obsah: ... and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2010
Obsah: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2013
Obsah: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2006
Obsah: ...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...
Získat plný text
Elektronický zdroj E-kniha
17
Obsah: ...Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop...
Získat plný text
Elektronický zdroj E-kniha
18
Obsah: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2013
Obsah: ... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...
Získat plný text
Elektronický zdroj E-kniha
20
Autor Raynal, Michel., Raynal, Michel.
Vydáno 2013
Obsah: ...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání