Zoekresultaten - ((section computational) or (functions computational)) programming computing methods tools*

Alternatieven:
functions computational » functions computation , function computation , directions computational
section computational » prediction computational , design computational , effective computational
programming computing » programming comparing , programming composing , programming computer
computing methods » computer methods , computed methods , computational methods

Computational Methods

Gepubliceerd in 2006

Inhoudsopgave: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

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

Elektronisch E-boek

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”
Volledige tekst

Elektronisch E-boek

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

Gepubliceerd in 2014

Inhoudsopgave: “... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...”
Volledige tekst

Elektronisch E-boek

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Gepubliceerd in 2008

Inhoudsopgave: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Volledige tekst

Elektronisch E-boek

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

Gepubliceerd in 2014

Inhoudsopgave: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
Volledige tekst

Elektronisch E-boek

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Gepubliceerd in 2014

Inhoudsopgave: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volledige tekst

Elektronisch E-boek

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
Volledige tekst

Elektronisch E-boek

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
Volledige tekst

Elektronisch E-boek

MATLAB Matrix Algebra

door Lopez, Cesar., Lopez, Cesar.
Gepubliceerd in 2014

Onderwerpen: “...Programming languages (Electronic computers)....”
Volledige tekst

Elektronisch E-boek

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Volledige tekst

Elektronisch E-boek

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

door Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Gepubliceerd in 2015

Onderwerpen: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Volledige tekst

Elektronisch E-boek

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Gepubliceerd in 2010

Onderwerpen: “...Programming languages (Electronic computers)....”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

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

Elektronisch E-boek

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

Gepubliceerd in 2008

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

Elektronisch E-boek

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Volledige tekst

Elektronisch E-boek

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Gepubliceerd in 2015

Inhoudsopgave: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volledige tekst

Elektronisch E-boek

Quantifying Functional Biodiversity

door Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Gepubliceerd in 2012

Inhoudsopgave: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Volledige tekst

Elektronisch E-boek

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

door Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Gepubliceerd in 2015

Onderwerpen: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Volledige tekst

Elektronisch E-boek

Fuzzy Optimization Recent Advances and Applications /

Gepubliceerd in 2010

Inhoudsopgave: “...Introductory Sections -- Fuzziness, Rationality, Optimality and Equilibrium in Decision...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken