Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming systems » programming system, programming series, programming problems
arrays a » arrays _
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming systems » programming system, programming series, programming problems
arrays a » arrays _
1
2
Được phát hành 2005
Mục lục:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2015
Mục lục:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2012
Mục lục:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2015
Mục lục:
“... Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2005
Mục lục:
“... Universality in Symbolic Dynamical Systems -- Real Recursive Functions and Real Extensions of Recursive...”lấy văn bản
Điện tử
eBook
7
8
Được phát hành 2007
Mục lục:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2006
Mục lục:
“... Complexities for Linear Temporal Logic Model Checking of Pushdown Systems -- A Logic and Decision Procedure...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2010
Mục lục:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2010
Mục lục:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”lấy văn bản
Điện tử
eBook