Search Results - "Execution"
Suggested Topics within your search.
Suggested Topics within your search.
- Politics & government 45
- Social & cultural history 40
- British & Irish history 28
- History of science 28
- Psychology 28
- Medicine 26
- History 25
- Neurosciences 25
- Computer science 24
- Public administration 24
- Law 22
- Society & social sciences 22
- Political structure & processes 20
- Technology: general issues 20
- Software Engineering 19
- Biography & True Stories 18
- Humanities 17
- Management 17
- Business 16
- Political science 16
- Comparative politics 15
- Political science & theory 15
- Business ethics & social responsibility 14
- Dictionaries of biography (Who's Who) 14
- Education 14
- International relations 14
- Business strategy 13
- Computing & information technology 13
- History of engineering & technology 13
- Sociology 13
-
2941
-
2942
-
2943
-
2944
-
2945
-
2946
-
2947
-
2948
-
2949
-
2950
Becoming Citizens in a Changing World IEA International Civic and Citizenship Education Study 2016 International Report /
Published 2018Table of Contents: “…Executive Summary -- 1. Introduction to the International Study of Civic and Citizenship Education -- 2. …”
Link to Metadata
Electronic eBook -
2951
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata
Electronic eBook -
2952
Python for Everybody Exploring Data Using Python 3
Published 2016Table of Contents: “…-- 2 Variables, expressions, and statements -- 3 Conditional execution -- 4 Functions -- 5 Iteration -- 6 Strings -- 7 Files -- 8 Lists -- 9 Dictionaries -- 10 Tuples -- 11 Regular expressions -- 12 Networked programs -- 13 Using Web Services -- 14 Object-Oriented Programming -- 15 Using databases and SQL -- 16 Visualizing data -- A Contributions -- B Copyright Detail…”
Access online version
Electronic eBook -
2953
Transactional Drafting Introduction to Contract Drafting and Transactional Practice
Published 2021Access online version
Electronic eBook -
2954
-
2955
Iconographie du quotidien dans l'art provincial romain : modèles régionaux
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2956
A Lexicon of Medieval Nordic Law
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2957
La liberté d'expression en Révolution : Les mœurs, l'honneur, la calomnie
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2958
-
2959
Le sang des princes : Cultes et mémoires des souverains suppliciés (XVIe-XXIe siècles)
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2960
Rheumatoid Arthritis Therapy Reappraisal Strategies, Opportunities and Challenges
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter