Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming courses » programming core, programming cases, programming congresses
courses https » nurses https, congresses https
1
Beeld op de omslag
door Spear, Chris., Spear, Chris.
Gepubliceerd in 2008
Inhoudsopgave: “...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
door Alagić, Suad., Alagić, Suad.
Gepubliceerd in 2015
Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
door Revesz, Peter., Revesz, Peter.
Gepubliceerd in 2010
Inhoudsopgave: “... -- The MLPQ System -- The DISCO System -- Database Design -- Interoperability -- Data Integration...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
door Alagar, V.S., Alagar, V.S., Periyasamy, K.
Gepubliceerd in 2011
Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
door Roscoe, A.W., Roscoe, A.W.
Gepubliceerd in 2010
Inhoudsopgave: “... Verification -- Exploring Concurrency -- Shared-Variable Programs -- Understanding Shared-Variable Concurrency...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Aspects of Software Development and Analysis -- Towards Modeling-Language Independent Integration...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
7
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Graphics Studio Courses -- A Workflow Based Process Visual Analyzer (ProVisZer) for Teaching and Learning...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “... Course Delivery: A Study of Critical Success Factors for Instructional Systems Design -- A Game-Based...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
10
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op