نتایج جستجو
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
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012
Astral projection, ritual magic, and alchemy : Golden Dawn material by S.L. MacGregor Mathers and others ; edited and introduced by Francis King ; additional material by R.A. Gilbert
SLMacGregor Mathers; Francis King; RA Gilbert; Hermetic Order of the Golden Dawn, 1987
An Illustrated Guide To Taping Techniques: Principles and Practice, Second Edition
Thomas John Hewetson MSc Sports Injury and TherapyBSc(Hons)Osteopathic MedicineDiploma OsteopathyPG Dip Sports Injury and TherapyPG Cert Sports Science, Karin Austin BPTBSc, Kathryn Gwynn-Brett BScPT, Sarah Marshall BScPT, 2009
Mathematical Modeling of Biological Systems, Volume II: Epidemiology, Evolution and Ecology,Immunology, Neural Systems and the Brain, and Innovative Mathematical Methods
Robert J. Smith (auth.), Andreas Deutsch, Rafael Bravo de la Parra, Rob J. de Boer, Odo Diekmann, Peter Jagers, Eva Kisdi, Mirjam Kretzschmar, Petr Lansky, Hans Metz (eds.), 2008
Convolution Equations and Singular Integral Operators: Selected Papers of Israel Gohberg and Georg Heinig Israel Gohberg and Nahum Krupnik
Leonid Lerer, Vadim Olshevsky (auth.), Leonid Lerer, Vadim Olshevsky, Ilya M. Spitkovsky (eds.), 2010
Freud and the Far East: Psychoanalytic Perspectives on the People and Culture of China, Japan, and Korea
Salman Akhtar (ed.), 2009
Dynamics of Fibre Formation and Processing: Modelling and Application in Fibre and Textile Industry
Roland Beyreuther, Harald Brünig, 2010
Dynamics of Fibre Formation and Processing: Modelling and Application in Fibre and Textile Industry
Prof.Dr.-Ing. habil. Roland Beyreuther, Dr. rer. nat. Harald Brünig (auth.), 2007
Historic Textile and Paper Materials II. Conservation and Characterization
S. Haig Zeronian and Howard L. Needles (Eds.), 1989
Abacus and Mah Jong: Sino-Mauritian Settlement and Economic Consolidation (European Expansion and Indigenous Response, V. 1)
Marina Carter, James Ng Foong Kwong, 2009
Global Change and Regional Impacts: Water Availability and Vulnerability of Ecosystems and Society in the Semiarid Northeast of Brazil
Thomas Gaiser, Luiz.G. R. Ferreira, Karl Stahr (auth.), Dr. Thomas Gaiser, Dr. Maarten Krol, Professor Horst Frischkorn, Professor Jose C. de Araújo (eds.), 2003
Biotechnology and Plant Breeding. Applications and Approaches for Developing Improved Cultivars
Aluízio Borém and Roberto Fritsche-Neto (Eds.), 2014
