Arama Sonuçları - program version https function evaluation https

1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...: identification of functional gene units -- Evaluating Reactive Answer Set Solving for General Game Playing...”
Tam Metin Erişim

Elektronik Ekitap

2

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Tam Metin Erişim

Elektronik Ekitap

3

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...”
Tam Metin Erişim

Elektronik Ekitap

4

Linking and Aligning Scores and Scales

Baskı/Yayın Bilgisi 2007

Konular: “...Assessment, Testing and Evaluation. https://scigraph.springernature.com/ontologies/product-market...”
Tam Metin Erişim

Elektronik Ekitap

5

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009 /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”
Tam Metin Erişim

Elektronik Ekitap

6

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
Tam Metin Erişim

Elektronik Ekitap

7

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

8

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

Baskı/Yayın Bilgisi 2007

İçindekiler: “...MODELLING AND ANALYZING ORGANIZATIONS -- Structural Aspects of the Evaluation of Agent...”
Tam Metin Erişim

Elektronik Ekitap

9

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
Tam Metin Erişim

Elektronik Ekitap

10

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

11

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...”
Tam Metin Erişim

Elektronik Ekitap

12

Advanced Statistical Methods for the Analysis of Large Data-Sets

Baskı/Yayın Bilgisi 2012

İçindekiler: “... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”
Tam Metin Erişim

Elektronik Ekitap

13

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Sorting: An Experimental Evaluation -- Allocating Memory in a Lock-Free Manner -- Generating Realistic...”
Tam Metin Erişim

Elektronik Ekitap

14

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...”
Tam Metin Erişim

Elektronik Ekitap

15

Unity for Absolute Beginners

Yazar: Blackman, Sue., Blackman, Sue., Wang, Jenny.
Baskı/Yayın Bilgisi 2014

Konular: “...Computer games—Programming....”
Tam Metin Erişim

Elektronik Ekitap

16

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Fault Injection Framework for Evaluating Multicore Systems -- Meeting Real-Time Requirements with Multi...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”
Tam Metin Erişim

Elektronik Ekitap

18

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
Tam Metin Erişim

Elektronik Ekitap

19

German-Japanese Interchange of Data Analysis Results

Baskı/Yayın Bilgisi 2014

Konular: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

20

Survival Analysis A Self-Learning Text /

Yazar: Kleinbaum, David G., Kleinbaum, David G., Klein, Mitchel.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... Hazards Model and Its Characteristics -- Evaluating the Proportional Hazards Assumption -- The Stratified...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt