Arama Sonuçları - constructive computation programming care concepts case

Şunu mu demek istediniz:
constructive computation » constructive communication , constructive communications , construction competitions
computation programming » communication programming , computation programmatic , computing programming
programming care » programming case , programming core , programming cable
care concepts » core concepts , change concepts , some concepts
concepts case » concepts cases , concepts a , concepts chapter

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Tam Metin Erişim

Elektronik Ekitap

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Tam Metin Erişim

Elektronik Ekitap

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”
Tam Metin Erişim

Elektronik Ekitap

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Tam Metin Erişim

Elektronik Ekitap

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”
Tam Metin Erişim

Elektronik Ekitap

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”
Tam Metin Erişim

Elektronik Ekitap

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
Tam Metin Erişim

Elektronik Ekitap

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
Tam Metin Erişim

Elektronik Ekitap

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... methodology to support mobile application design and evaluation: a case study in m-Learning -- SCPL: a Social...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Data Mining: Applications and Theoretical Aspects 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...”
Tam Metin Erişim

Elektronik Ekitap

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...”
Tam Metin Erişim

Elektronik Ekitap

Health Impact Assessment in the United States

Yazar: Ross, Catherine L., Ross, Catherine L., Orenstein, Marla., Botchwey, Nisha.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... - Introduction to Core Concepts and Key Examples of HIA -- HIA: A Methodological Overview -- U.S. Case Studies...”
Tam Metin Erişim

Elektronik Ekitap

Educational Contexts and Borders through a Cultural Lens Looking Inside, Viewing Outside /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Cultural Lens. A Case Study: Brazil -- 6. Marina Massimi (University of São Paulo/USP, Brazil) Conceptions...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt