Rezultati - functions computational programming definition based tool*

Poišči alternative:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming definition » programming designation , programming decision , programming defining
definition based » definition case , definition basic , definition causes

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Izdano 2006

Kazalo: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Polni tekst

Elektronski eKnjiga

Gröbner Bases Statistics and Software Systems /

Izdano 2013

Kazalo: “... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”
Polni tekst

Elektronski eKnjiga

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

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

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Polni tekst

Elektronski eKnjiga

VEE Pro: Practical Graphical Programming

od Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Izdano 2005

Kazalo: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Izdano 2013

Kazalo: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Izdano 2007

Kazalo: “...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”
Polni tekst

Elektronski eKnjiga

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II /

Izdano 2010

Kazalo: “... Toolbox QuPAT on Scilab -- Agent Based Evacuation Model with Car-Following Parameters by Means of Cellular...”
Polni tekst

Elektronski eKnjiga

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Izdano 2006

Kazalo: “... Definition, Assurance, and Enforcement -- Ontology-Based Model Transformation -- Modeling Turnpike: A Model...”
Polni tekst

Elektronski eKnjiga

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Izdano 2006

Kazalo: “... Toolbox for Multi-modal Context Recognition -- Memory Systems -- Dynamic Dictionary-Based Data Compression...”
Polni tekst

Elektronski eKnjiga

Frontier and Innovation in Future Computing and Communications

Izdano 2014

Kazalo: “... Computing; P.P. Hung, et al -- Study on Encryption of Wireless Network-Based Mobility Energy-Enterprise...”
Polni tekst

Elektronski eKnjiga

Mathematica®: A Problem-Centered Approach

od Hazrat, Roozbeh., Hazrat, Roozbeh.
Izdano 2015

Kazalo: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Polni tekst

Elektronski eKnjiga

Improving GIS-based Wildlife-Habitat Analysis

od Keller, Jeffrey K., Keller, Jeffrey K., Smith, Charles R.
Izdano 2014

Kazalo: “...Chapter 1. Working Definitions -- Chapter 2. Image Resolution vs. Habitat Selection Scale in a...”
Polni tekst

Elektronski eKnjiga

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Izdano 2013

Kazalo: “... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison Computer Tool...”
Polni tekst

Elektronski eKnjiga

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”
Polni tekst

Elektronski eKnjiga

Mathematica®: A Problem-Centered Approach

od Hazrat, Roozbeh., Hazrat, Roozbeh.
Izdano 2010

Kazalo: “... -- 8. Substitution, Mathematica rules -- 9. Pattern matching -- 10. Functions with multiple definitions...”
Polni tekst

Elektronski eKnjiga

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Izdano 2014

Kazalo: “... Invariant Analyzer Tool -- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs....”
Polni tekst

Elektronski eKnjiga

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Izdano 2008

Kazalo: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
Polni tekst

Elektronski eKnjiga

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Izdano 2007

Kazalo: “... for Heterogeneous Context Aware Services -- Community Computing Model Supporting Community Situation Based Strict...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje