檢索結果 - ((functions computation) or (structures computational)) programming defining basic text*

搜索替代詞:
functions computation » function computation , functions composition , function composition
programming defining » programming designing , programming learning , programming reasoning
defining basic » defining seasia , defining cases , training basic
basic text » basic texts

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

出版 2005

書本目錄: “... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”
獲取全文

電子電子書

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

出版 2006

書本目錄: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
獲取全文

電子電子書

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

出版 2008

書本目錄: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
獲取全文

電子電子書

Foundations of Programming Languages

由 Lee, Kent D., Lee, Kent D.
出版 2014

主題: “...Programming languages (Electronic computers)....”
獲取全文

電子電子書

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版 2005

書本目錄: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
獲取全文

電子電子書

Java Methods for Financial Engineering Applications in Finance and Investment /

由 Barker, Philip., Barker, Philip.
出版 2007

主題: “...Computer programming....”
獲取全文

電子電子書

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings /

出版 2007

書本目錄: “... i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design...”
獲取全文

電子電子書

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

出版 2012

書本目錄: “...Preface -- Blowings-up of Vector Fields (F. Cano) -- Basics of o-Minimality and Hardy Fields (C...”
獲取全文

電子電子書

R for SAS and SPSS Users

由 Muenchen, Robert A., Muenchen, Robert A.
出版 2011

書本目錄: “...Introduction -- Installing and Updating R -- Running R -- Help and Documentation -- Programming...”
獲取全文

電子電子書

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

由 Spear, Chris., Spear, Chris.
出版 2008

書本目錄: “... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
獲取全文

電子電子書

CGAL Arrangements and Their Applications A Step-by-Step Guide /

由 Fogel, Efi., Fogel, Efi., Halperin, Dan., Wein, Ron.
出版 2012

書本目錄: “...Introduction -- Basic Arrangements -- Queries and Free Functions -- Arrangements of Unbounded...”
獲取全文

電子電子書

Foundations of Algebraic Specification and Formal Software Development

由 Sannella, Donald., Sannella, Donald., Tarlecki, Andrzej.
出版 2012

書本目錄: “... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
獲取全文

電子電子書

Molecular Sensors for Cardiovascular Homeostasis

出版 2007

書本目錄: “... Function as Cardiac Lactic Acid Sensors During Myocardial Ischemia -- Molecular Components of Neural...”
獲取全文

電子電子書

縮小搜索