Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
function design » functional design, foundation design, education design
https function » its function, sites function, ups function
design https » vision https
program execution » program evaluation, process execution, project execution
execution https » exertion https, execution status, execution actors
function design » functional design, foundation design, education design
https function » its function, sites function, ups function
design https » vision https
1
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Tam Metin Erişim
Elektronik
Ekitap
5
İçindekiler:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Tam Metin Erişim
Elektronik
Ekitap
7
İçindekiler:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Modeling with UsiXML -- Designing Graphical Elements for Cognitively Demanding Activities: An Account...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... for Pattern-Driven and Model-Based UI Development -- Pattern-Based UI Design: Adding Rigor with User...”Tam Metin Erişim
Elektronik
Ekitap
10
Yazar: Lalanda, Philippe., Lalanda, Philippe., McCann, Julie A., Diaconescu, Ada.
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”Baskı/Yayın Bilgisi 2013
Tam Metin Erişim
Elektronik
Ekitap
11
İçindekiler:
“...Introduction to Multicore Systems On-Chip -- Multicore SoCs Design Methods -- Multicore SoC...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
12
İçindekiler:
“...Introduction.- The Food Safety Management Team.- The Food Safety Management Program -- Systems...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... in Distributed Component-Based Software -- A Study of Execution Environments for Software Components...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Tam Metin Erişim
Elektronik
Ekitap
16
İçindekiler:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
17
İçindekiler:
“...Introduction -- Related Work -- Background -- Execution-based Model Checking for High-Level Designs...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...Invited Talks -- Embedded Systems Design — Scientific Challenges and Work Directions -- Antichain...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented...”Tam Metin Erişim
Elektronik
Ekitap



