1
Baskı/Yayın Bilgisi 2012
İçindekiler: ... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2013
İçindekiler: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2012
İçindekiler: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2005
İçindekiler: ... and How Usability Techniques and Activities Should Be Integrated -- Coping with Complexity -- Towards a...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2015
İçindekiler: ... Valorisation -- Part III: Methods and Applications -- Global Optimization of Simulation Based Complex Systems...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2011
İçindekiler: ... Software Development Projects -- Classification of Software Projects' Complexity -- Application of Project...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2010
İçindekiler: ...’ Information Retrieval Environment. -Genetic Programming Modeling and Complexity Analysis...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Scheduling with a Tabu Search Strategy -- Nature-inspired methods -- Solving the Capacitated Multi-Facility...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2010
İçindekiler: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Tam Metin Erişim
Elektronik Ekitap
15
Yazar: Hollenstein, Tom., Hollenstein, Tom.
Baskı/Yayın Bilgisi 2013
Konular: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Tam Metin Erişim
Elektronik Ekitap
16
Yazar: Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
Baskı/Yayın Bilgisi 2006
Konular: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
Tam Metin Erişim
Elektronik Ekitap
17
Yazar: Madenci, Erdogan., Madenci, Erdogan., Guven, Ibrahim.
Baskı/Yayın Bilgisi 2015
Konular: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
Tam Metin Erişim
Elektronik Ekitap
18
Yazar: Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Baskı/Yayın Bilgisi 2010
İçindekiler: ... for Interface Driven Architecture: Easing the Transition from Prototype to Application -- Development Tools...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2007
İçindekiler: ...Fault Tolerance -- On Fault Tolerance in Law-Governed Multi-agent Systems -- On Developing Open...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System...
Tam Metin Erişim
Elektronik Ekitap