Search Results - "programming"

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

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Teaching Dante

Subjects: “…great books programs…”
DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Nutritional Modulation of Dietary Sugars as a Strategy to Improve Insulin Resistance and Energy Balance in Diabetes

Subjects: “…disease programming…”
DOAB: download the publication
DOAB: description of the publication

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Subjects: “…Database programming…”
DOAB: download the publication
DOAB: description of the publication

Energy Management Systems for Optimal Operation of Electrical Micro/Nanogrids

Subjects: “…flexible programming…”
DOAB: download the publication
DOAB: description of the publication

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings

Subjects: “…Database programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Black Men Teaching in Urban Schools Reassessing Black Masculinity by Brockenbrough, Edward

Subjects: “…teacher preparation programs…”
DOAB: download the publication
DOAB: description of the publication

Teaching to Transform Urban Schools and Communities

Subjects: “…Hollins; conceptualizing; planning and engaging in powerful teaching; novice teacher professional development; novice teachers; preservice teacher preparation; teacher preparation for urban classrooms; teacher preparation programs; teaching and learning in urban classroom; urban schools; urban students…”
OAPEN Library: description of the publication

Black Men Teaching in Urban Schools Reassessing Black Masculinity by Brockenbrough, Edward

Subjects: “…teacher preparation programs…”
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

Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication

Knowledge Graphs and Big Data Processing

Subjects: “…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...

Subjects: “…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

Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…programming languages…”
DOAB: download the publication
DOAB: description of the publication

Exact and Heuristic Scheduling Algorithms by Werner, Frank

Subjects: “…quadratic programming…”
DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…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...

Subjects: “…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

Subjects: “…programming languages…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Knowledge Graphs and Big Data Processing

Subjects: “…Database programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication