1
出版 2008
書本目錄: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
獲取全文
電子 電子書
2
Lopez, Cesar., Lopez, Cesar.
出版 2014
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
3
書本目錄: ... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...
獲取全文
電子 電子書
4
書本目錄: ... Handling -- Array Computing and Curve Plotting -- Files, Strings and Dictionaries -- Introduction...
獲取全文
電子 電子書
5
書本目錄: ... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...
獲取全文
電子 電子書
6
書本目錄: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
獲取全文
電子 電子書
7
出版 2015
書本目錄: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...
獲取全文
電子 電子書
9
Wang, Wallace., Wang, Wallace.
出版 2015
書本目錄: ...Chapter 1: Understanding Programming -- Chapter 2: Getting to Know Xcode -- Chapter 3: The Basic...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ... -- Towards Practical Feasibility of Core Computation in Data Exchange -- Data-Oblivious Stream Productivity...
獲取全文
電子 電子書
11
書本目錄: ...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...
獲取全文
電子 電子書
12
Hunt, John., Hunt, John.
出版 2014
書本目錄: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
獲取全文
電子 電子書
13
出版 2005
書本目錄: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
獲取全文
電子 電子書
14
出版 2007
書本目錄: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
獲取全文
電子 電子書
15
出版 2013
書本目錄: ... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...
獲取全文
電子 電子書
16
出版 2013
書本目錄: ... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...
獲取全文
電子 電子書
17
出版 2005
書本目錄: ... Abstract Programs as Boolean Satisfiability -- Efficient Communication Scheduling Methods for Irregular...
獲取全文
電子 電子書
18
出版 2007
書本目錄: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
獲取全文
電子 電子書
19
出版 2010
書本目錄: ... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...
獲取全文
電子 電子書
20
書本目錄: ... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...
獲取全文
電子 電子書