1
Por Sestoft, Peter., Sestoft, Peter.
Publicado em 2012
Sumário: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2012
Sumário: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2015
Sumário: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Por Carsetti, A., Carsetti, A.
Publicado em 2013
Sumário: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Hunt, John., Hunt, John.
Publicado em 2014
Sumário: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado em 2010
Sumário: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2013
Sumário: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Sumário: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2013
Sumário: ... Students Learn to Program -- Soundness and Completeness of Relational Concept Analysis -- Contextual...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2006
Sumário: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Por Raynal, Michel., Raynal, Michel.
Publicado em 2013
Sumário: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Por Brainerd, Walter S., Brainerd, Walter S.
Publicado em 2015
Sumário: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Por Hausser, Roland R., Hausser, Roland R.
Publicado em 2006
Sumário: ... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Por Graba, Jan., Graba, Jan.
Publicado em 2007
Sumário: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
Obter o texto integral
Recurso Electrónico livro electrónico