Arama Sonuçları - alternating specifications programming programming control http

Şunu mu demek istediniz:
alternating specifications » alternative specifications , integrating specification , lighting specifications
specifications programming » specification programming , specifications program , verification programming
programming programming » programming programmed , programming program
programming control » programming contract , programming contest , programming context
control http » control https , control held , control how

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
Tam Metin Erişim

Elektronik Ekitap

A Sensorless Positioning System For Linear Dc Motor

Yazar: Mat Saat, Ezril Hisham
Baskı/Yayın Bilgisi 2008

Konular: “...Electric machinery - Alternating current - Automatic control...”
Tam Metin Erişim

Tez

A sensorless positioning system for linear DC motor /

Yazar: Ezril Hisham Mat Saat.

Konular: “...Electric machinery Alternating current Automatic control....”
Tam Metin Erişim

Tez Kitap

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Tam Metin Erişim

Elektronik Ekitap

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Identity Management Based on Privacy Attribute Ontology -- Process mgt and Design -- Beyond Control-Flow...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... for Control Systems -- SVG Web Environment for Z Specification Language....”
Tam Metin Erişim

Elektronik Ekitap

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Alternative Architectures -- Hierarchical Verification in Maude of LfP Software Architectures -- First Class...”
Tam Metin Erişim

Elektronik Ekitap

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... File System for Cluster Grids -- Cooperative Write-Behind Data Buffering for MPI I/O -- Hint Controlled...”
Tam Metin Erişim

Elektronik Ekitap

Multi-objective scientific workflow scheduling algorithm in multi-cloud environment for satisfying QoS requirements

Yazar: Ramadhan, Mazen Farid Ebrahim
Baskı/Yayın Bilgisi 2022

Konular: “...Workflow - Management - Computer programs...”
Tam Metin Erişim

Tez

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”
Tam Metin Erişim

Elektronik Ekitap

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”
Tam Metin Erişim

Elektronik Ekitap

An Economic Evaluation of Integrated Pest Management Practices in English Cabbage Production in Cameron Highlands, Malaysia

Yazar: Mohd Amir, Hairuddin
Baskı/Yayın Bilgisi 2006

Konular: “...Cabbage - Pahang - Pests - Integrated control - Case studies...”
Tam Metin Erişim

Tez

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Evidence -- GRASShopper: Complete Heap Verification with Mixed Specifications -- Alternating Runtime...”
Tam Metin Erişim

Elektronik Ekitap

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
Tam Metin Erişim

Elektronik Ekitap

Influence of post-flood impacts on farmers’ social adaptation level in Kelantan, Malaysia

Yazar: Zahari, Mohd Hazran
Baskı/Yayın Bilgisi 2018

Konular: “...Flood control - Social aspects...”
Tam Metin Erişim

Tez

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Probability as an Alternative to Logic for Rational Sensory–Motor Reasoning and Decision -- Basic...”
Tam Metin Erişim

Elektronik Ekitap

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... and Alternative Approaches -- Composing with Style – Components Meet Architecture -- Abstracts of the Tutorials...”
Tam Metin Erişim

Elektronik Ekitap

Dissemination of natural resource management technology for irrigated rice in the Philippines: on-farm validation to national extension

Yazar: Corales, A. M., Sibayan, E. B., Palis, F. G.
Baskı/Yayın Bilgisi 2015

Konular: “...Rodent control...”
Tam Metin Erişim

Journal Contribution

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt