1
Sestoft, Peter., Sestoft, Peter.
出版 2012
书本目录: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
获取全文
电子 电子书
2
出版 2012
书本目录: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
获取全文
电子 电子书
3
出版 2015
书本目录: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
获取全文
电子 电子书
4
出版 2010
书本目录: ...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...
获取全文
电子 电子书
5
Carsetti, A., Carsetti, A.
出版 2013
书本目录: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
获取全文
电子 电子书
6
出版 2005
书本目录: ... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...
获取全文
电子 电子书
7
Hunt, John., Hunt, John.
出版 2014
书本目录: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
获取全文
电子 电子书
8
出版 2013
书本目录: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
获取全文
电子 电子书
9
出版 2006
书本目录: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
获取全文
电子 电子书
10
Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010
书本目录: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
获取全文
电子 电子书
11
出版 2010
书本目录: ... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...
获取全文
电子 电子书
12
书本目录: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
获取全文
电子 电子书
13
书本目录: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
获取全文
电子 电子书
14
书本目录: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
获取全文
电子 电子书
15
出版 2013
书本目录: ... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...
获取全文
电子 电子书
16
出版 2006
书本目录: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
获取全文
电子 电子书
17
Raynal, Michel., Raynal, Michel.
出版 2013
书本目录: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
获取全文
电子 电子书
18
Graba, Jan., Graba, Jan.
出版 2007
书本目录: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
获取全文
电子 电子书
19
出版 2008
书本目录: ... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...
获取全文
电子 电子书
20
书本目录: ... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...
获取全文
电子 电子书