1
بواسطة Hunt, John., Hunt, John.
منشور في 2014
جدول المحتويات: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2012
جدول المحتويات: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2015
جدول المحتويات: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2013
جدول المحتويات: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2010
جدول المحتويات: ... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2008
جدول المحتويات: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2007
جدول المحتويات: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2014
جدول المحتويات: ...A cost based reweighed scheme of Principal Support Vector Machine -- Power assessment of a new test...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2012
جدول المحتويات: ... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
بواسطة Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
منشور في 2007
جدول المحتويات: ... (Putting It All Together) -- Block-Level Testing -- Chip-Level Testing -- Things to Remember -- Examples...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
بواسطة Sack, Joseph., Sack, Joseph.
منشور في 2006
جدول المحتويات: ...Select -- Insert, Update, Delete -- Transactions, Locking, Blocking, and Deadlocking -- Tables...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2008
جدول المحتويات: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
بواسطة Alvo, Mayer., Alvo, Mayer., Yu, Philip L.H.
منشور في 2014
جدول المحتويات: ... -- Testing for randomness, agreement and interaction -- Block Designs -- General Theory of Hypothesis Testing...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2007
جدول المحتويات: ..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2006
جدول المحتويات: ...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ... -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني