„(Keywords)Model Generation“

Suchergebnisse

1.000+ Treffer

• Applications of declarative programming and knowledge management – 18th international conference ; revised selected papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer
• Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques
  Simani, Silvio ; Fantuzzi, Cesare ; Patton, Ron J. 2003 Springer London
• Verification-based software-fault detection
  Gladisch, Christoph
• Evaluation of Novel Approaches to Software Engineering – 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
  Maciaszek, Leszek A. ; Loucopoulos, Pericles 2011 Springer Berlin Heidelberg
• Future Generation Information Technology – Third International Conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Ślęzak, Dominik ; Sandnes, Frode Eika ; Song, Xiaofeng ; Chung, Kyo-il ; Arnett, Kirk P. 2011 Springer Berlin Heidelberg
• Software Engineering, Business Continuity, and Education – International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Kim, Kwang-hŏn ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; Kang, Byeong Ho 2011 Springer Berlin Heidelberg
• Applications of Declarative Programming and Knowledge Management – 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer Berlin Heidelberg
• Generative and Transformational Techniques in Software Engineering III – International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
  Fernandes, João M. ; Lämmel, Ralf ; Visser, Joost ; Saraiva, João 2011 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• Distributed Computing and Networking – 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings
  Aguilera, Marcos K. ; Yu, Haifeng ; Vaidya, Nitin H. ; Srinivasan, Vikram ; Choudhury, Romit Roy 2011 Springer Berlin Heidelberg
• Exploring the Grand Challenges for Next Generation E-Business – 8th Workshop on E-Business, WEB 2009, Phoenix, AZ, USA, December 15, 2009, Revised Selected Papers
  Sharman, Raj ; Rao, H. Raghav ; Raghu, T. S. 2011 Springer Berlin Heidelberg
• Signal Processing and Multimedia – International Conferences, SIP and MulGraB 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
  Kim, T'ae-hun ; Pal, Sankar Kumar ; Grosky, William I. ; Pissinou, Niki ; Shih, Timothy K. ; Ślęzak, Dominik 2010 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Business model generation – ein Handbuch für Visionäre, Spielveränderer und Herausforderer
  Osterwalder, Alexander ; Pigneur, Yves ; Wegberg, Jordan T. A. 2011 Campus-Verl.
• Advances in artificial intelligence – proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2010 Springer
• Generative and transformational techniques in software engineering III – international summer school ; revised papers
  Fernandes, João M. ; Lämmel, Ralf ; Visser, Joost ; Saraiva, João 2011 Springer
• Business Model Generation – Ein Handbuch für Visionäre, Spielveränderer und Herausforderer
  Osterwalder, Alexander ; Pigneur, Yves ; Wegberg, Jordan T. A. 2011 Campus Verlag
• Microeconometric analyses of education production in Germany
  Piopiunik, Marc 2011 Ifo-Inst.