نتایج جستجو
Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November ... Computer Science and General Issues)
Jin Akiyama, William Y.C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu, 2007
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.), 2003
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.), 2003
Information and Communication Technologies, Society and Human Beings: Theory and Framework
Darek Haftor, Darek Haftor, Anita Mirijamdotter, 2010
Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions: Theory and Algorithms with MATLAB®
Anish Deb, Srimanti Roychoudhury, Gautam Sarkar (auth.), 2016
Software Engineering and Knowledge Engineering: Theory and Practice: Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)
Zheng Shengbao, Jiang Shuping, Wang Xiaowen (auth.), Wei Zhang (eds.), 2012
Object Relations and Integrative Psychotherapy: Tradition and Innovation in Theory and Practice
Patrick Nolan, Inger Safvestad-Nolan, 2005
Bleaching and Purifying Fats and Oils: Theory and Practice, Second Edition
Banga, Surinder S.; Kumar, Arvind; Kumar, Priya Ranjan; Meena, Prabhu Dayal, 2010
Advanced Derivatives Pricing and Risk Management. Theory, Tools and Hands-On Programming Application
Claudio Albanese and Giuseppe Campolieti (Auth.), 2006
Control Theory and Design. An RH₂ and RH∞ Viewpoint
Patrizio Colaneri, José C. Geromel, Arturo Locatelli, José C. Geromel and Arturo Locatelli (Auth.), 1997
Introduction to microlithography : theory, materials, and processing : based on a workshop sponsored by the ACS Division of Organic Coatings and Plastics Chemistry at the 185th Meeting of the American Chemical Society, Seattle, Washington, March 20-25, 1983
LF Thompson; CG Willson; MJ Bowden; American Chemical Society. Division of Organic Coatings and Plastics Chemistry.; American Chemical Society. Meeting(eds.), 1983
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
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.), 2009
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.), 2009
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.), 2011
