Resultados da pesquisa - "program"

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Assuntos: “...computer programming...”
DOAB: download the publication
DOAB: description of the publication

Knowledge Graphs and Big Data Processing

Assuntos: “...Database programming...”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Assuntos: “...computer programming...”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Assuntos: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

Assuntos: “...programming languages...”
DOAB: download the publication
DOAB: description of the publication

Exact and Heuristic Scheduling Algorithms Por Werner, Frank

Assuntos: “...quadratic programming...”
DOAB: download the publication
DOAB: description of the publication

Porous Materials for Environmental Applications

Assuntos: “...temperature-programmed reaction...”
DOAB: download the publication
DOAB: description of the publication

Probability in Electrical Engineering and Computer Science An Application-Driven Course Por Walrand, Jean

Assuntos: “...Stochastic dynamic programming...”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Assuntos: “...computer programming...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

Assuntos: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Knowledge Graphs and Big Data Processing

Assuntos: “...Database programming...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Assuntos: “...computer programming...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Assuntos: “...programming languages...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Probability in Electrical Engineering and Computer Science An Application-Driven Course Por Walrand, Jean

Assuntos: “...Stochastic dynamic programming...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Modelling and Analysis of Sustainability Related Issues in New Era Por Tsai, Wen-Hsien

Assuntos: “...mathematical programming...”
DOAB: download the publication
DOAB: description of the publication

Adaptive Catchment Management and Reservoir Operation Por Ni, Guangheng

Assuntos: “...stochastic linear programming...”
DOAB: download the publication
DOAB: description of the publication

Control and Nonlinear Dynamics on Energy Conversion Systems Por Iu, Herbert Ho-Ching

Assuntos: “...adaptive dynamic programming (ADP)...”
DOAB: download the publication
DOAB: description of the publication

Selected Papers from PRES 2018 The 21st Conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction

Assuntos: “...goal programming...”
DOAB: download the publication
DOAB: description of the publication

Early Life Nutrition and Future Health Por Connor, Kristin

Assuntos: “...programming...”
DOAB: download the publication
DOAB: description of the publication

Innovative Learning Environments in STEM Higher Education Opportunities, Challenges, and Looking Forward

Assuntos: “...Statistics and Computing/Statistics Programs...”
DOAB: download the publication
DOAB: description of the publication