Rezultati - ((functions computational) or (functions computation)) programming decision based text*

Poišči alternative:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming decision » programming decisions , programming recursion , programming design
decision based » decision aid
based text » based test

Stochastic Linear Programming Models, Theory, and Computation /

od Kall, Peter., Kall, Peter., Mayer, János.
Izdano 2005

Kazalo: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Polni tekst

Elektronski eKnjiga

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Izdano 2010

Kazalo: “... Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy...”
Polni tekst

Elektronski eKnjiga

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Izdano 2006

Kazalo: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Polni tekst

Elektronski eKnjiga

IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids /

od John, Karl Heinz., John, Karl Heinz., Tiegelkamp, Michael.
Izdano 2010

Kazalo: “...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
Polni tekst

Elektronski eKnjiga

Patterns of Advanced Computer Applications in Singapore

od Han, Chun Kwong
Izdano 1983

Teme: “...Electronic digital computers - Programming...”
Polni tekst

Thesis

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

Izdano 2007

Kazalo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Polni tekst

Elektronski eKnjiga

Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference...

Izdano 2013

Kazalo: “... Identification of Waste Cooking Oil with Near Infrared Spectroscopy Based on Support Vector Machine -- A Decision...”
Polni tekst

Elektronski eKnjiga

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Izdano 2005

Kazalo: “...-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization...”
Polni tekst

Elektronski eKnjiga

Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings /

Izdano 2010

Kazalo: “... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”
Polni tekst

Elektronski eKnjiga

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Session 10: Program and Shape Analysis -- A Numerical Abstract Domain Based on Expression Abstraction...”
Polni tekst

Elektronski eKnjiga

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Izdano 2005

Kazalo: “... Constraints -- A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs -- Highly Efficient...”
Polni tekst

Elektronski eKnjiga

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Izdano 2010

Kazalo: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Polni tekst

Elektronski eKnjiga

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Izdano 2015

Kazalo: “... Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative Reasoning...”
Polni tekst

Elektronski eKnjiga

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

Izdano 2008

Kazalo: “...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”
Polni tekst

Elektronski eKnjiga

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Izdano 2015

Kazalo: “... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”
Polni tekst

Elektronski eKnjiga

Embedded and Ubiquitous Computing IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings /

Izdano 2007

Kazalo: “...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”
Polni tekst

Elektronski eKnjiga

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Izdano 2005

Kazalo: “... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”
Polni tekst

Elektronski eKnjiga

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings /

Izdano 2013

Kazalo: “... Mathematical Programming -- How to Put through Your Agenda in Collective Binary Decisions -- Exact Approaches...”
Polni tekst

Elektronski eKnjiga

Decision Procedures An Algorithmic Point of View /

od Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Izdano 2008

Kazalo: “... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...”
Polni tekst

Elektronski eKnjiga

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Izdano 2007

Kazalo: “... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...”
Polni tekst

Elektronski eKnjiga

1
2
3
4
5
6
7
8
9
10
11
Naslednji »
[15]

Zoži iskanje