نتایج جستجو
Digitale Hardware/Software-Systeme: Synthese und Optimierung
PD Dr.-Ing. Jürgen Teich (auth.), 1997
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings
Neil Immerman (auth.), Vikraman Arvind, Sundar Ramanujam (eds.), 1998
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings
Neil Immerman (auth.), Vikraman Arvind, Sundar Ramanujam (eds.), 1998
Foundations of Software Technology and Theoretical Computer Science: 19th Conference Chennai, India, December 13-15, 1999 Proceedings
Micha Sharir (auth.), C. Pandu Rangan, V. Raman, R. Ramanujam (eds.), 1999
A Practical Approach to Software Quality
Gerard O’Regan (auth.), 2002
Marktspiegel Customer Relationship Management: Anbieter von CRM-Software im Vergleich
Stefan Helmke, Prof. Dr. Wilhelm Dangelmaier (auth.), 2001
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Jack Greenfield, Keith Short, Steve Cook, Stuart Kent, John Crupi, 2004
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.), 1986
Software Architecture and Design Illuminated
Kai Qian, Xiang Fu, Lixin Tao, Chong-wei Xu, 2009
Software Architecture and Design Illuminated (Jones and Bartlett Illuminated)
Kai Qian, Xiang Fu, Lixin Tao, Chong-wei Xu, 2009
Software Architecture and Design Illuminated (Jones and Bartlett Illuminated)
Kai Qian, Xiang Fu, Lixin Tao, Chong-wei Xu, 2009
Software development : a rigorous approach
Jones C.B., 1980
Complex Automated Negotiations: Theories, Models, and Software Competitions
Enrique de la Hoz, Miguel A. Lopez-Carmona, Mark Klein, Ivan Marsa-Maestre (auth.), Takayuki Ito, Minjie Zhang, Valentin Robu, Tokuro Matsuo (eds.), 2013
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross (auth.), Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper (eds.), 2005
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross (auth.), Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper (eds.), 2005
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross (auth.), Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper (eds.), 2005
Component-Based Software Testing with UML
Hans-Gerhard Gross, 2005
Component-Based Software Testing with UML
Hans-Gerhard Gross (auth.), 2005
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.), 2005
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.), 2005
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.), 2006
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.), 2008
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.), 2008
