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