Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
interactive globalization » interaction globalization, interactive visualization, alternative globalization
globalization problems » globalization process, globalization processes, globalization cross
programs using » programming using
program using » programming using
interactive globalization » interaction globalization, interactive visualization, alternative globalization
globalization problems » globalization process, globalization processes, globalization cross
programs using » programming using
program using » programming using
1
Pubblicazione 2008
Sommario:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Testo
Elettronico
eBook
3
Pubblicazione 2014
Sommario:
“... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”Testo
Elettronico
eBook
4
Pubblicazione 2015
Soggetti:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Testo
Elettronico
eBook
5
Pubblicazione 2013
Sommario:
“... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”Testo
Elettronico
eBook
7
Sommario:
“... -- Local and Global Bifurcations -- The Second Part of Hilbert#x2019;s Sixteenth Problem -- Linear Discrete...”
Testo
Testo
Elettronico
eBook
8
Sommario:
“... -- Local and Global Bifurcations -- The Second Part of Hilbert’s Sixteenth Problem -- Linear Discrete...”
Testo
Testo
Elettronico
eBook
9
Sommario:
“... in the Plane -- Local and Global Bifurcations -- The Second Part of Hilbert's Sixteenth Problem -- Neural...”
Testo
Testo
Elettronico
eBook
10
Pubblicazione 2013
Sommario:
“... Waste (e-waste) Using the Theory of Planned Behavior: A Case Study in Urban Areas of Vietnam -- A Design...”Testo
Elettronico
eBook
11
Pubblicazione 2005
Sommario:
“... of Studies Using 15N Tracers -- Tree Species Management and Nitrate Contamination of Groundwater: A Central...”Testo
Elettronico
eBook
12
Sommario:
“... Versatile Program for the Design of Digital Filters Using Differential Evolution -- Optimization of Radial...”
Testo
Testo
Elettronico
eBook
13
Pubblicazione 2013
Sommario:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”Testo
Elettronico
eBook
14
Pubblicazione 2007
Sommario:
“...Globalization and Diversity: Promise or Problem? -- Teacher Education in a New Millennium...”Testo
Elettronico
eBook
15
Pubblicazione 2010
Sommario:
“...-Scale Global Optimization Using Cooperative Coevolution with Variable Interaction Learning -- EvoShelf...”Testo
Elettronico
eBook
16
Pubblicazione 2007
Sommario:
“... Data -- Video Tracking Association Problem Using Estimation of Distribution Algorithms in Complex...”Testo
Elettronico
eBook
17
Pubblicazione 2010
Sommario:
“... Dependency Modelling Help? Using a Randomized Landscape Generator to Compare Algorithms in Terms of Problem...”Testo
Elettronico
eBook
18
Pubblicazione 2005
Sommario:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Testo
Elettronico
eBook
19
Pubblicazione 2014
Sommario:
“... Technique -- Word Recognition using Barthannwin Wave Filter and Neural Network -- Graph Colouring Problem...”Testo
Elettronico
eBook
20
Pubblicazione 2010
Sommario:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”Testo
Elettronico
eBook