نتایج جستجو
New Trends in Database and Information Systems II: Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II
Nick Bassiliades, Mirjana Ivanovic, Margita Kon-Popovska, Yannis Manolopoulos, Themis Palpanas, Goce Trajcevski, Athena Vakali (eds.), 2015
Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers
Achim Ebert, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon, Inga Scheler (eds.), 2014
Handbook of Climate Change and Agroecosystems: Global and Regional Aspects and Implications
Daniel Hillel, Cynthia Rosenzweig (eds.), 2012
Plasma Deposition, Treatment, and Etching of Polymers. The Treatment and Etching of Polymers
Riccardo d'Agostino, Daniel L. Flamm and Orlando Auciello (Eds.), 1990
Optimization, Parallel Processing and Applications: Proceedings of the Oberwolfach Conference on Operations Research, February 16–21, 1987 and the Workshop on Advanced Computation Techniques, Parallel Processing and Optimization Held at Karlsruhe, West Germany, February 22–25, 1987
B. Bank, R. Mandel (auth.), Prof. Dr. Alexander Kurzhanski, Prof. Dr. Klaus Neumann, Prof. Dr. Diethard Pallaschke (eds.), 1988
Dependable and Adaptable Networks and Services: 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
Christian Emig, Frank Brandt, Sebastian Kreuzer, Sebastian Abeck (auth.), Aiko Pras, Marten van Sinderen (eds.), 2007
Dependable and Adaptable Networks and Services: 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
Christian Emig, Frank Brandt, Sebastian Kreuzer, Sebastian Abeck (auth.), Aiko Pras, Marten van Sinderen (eds.), 2007
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
Molecular Diversity and PCR-detection of Toxigenic Fusarium Species and Ochratoxigenic Fungi: Under the aegis of COST Action 835 ‘Agriculturally Important Toxigenic Fungi 1998–2003’, EU project (QLK1-CT-1998-01380) and the ISPP ‘Fusarium Committee’
Keith A. Seifert, C. André Lévesque (auth.), G. Mulè, J. A. Bailey, B. M. Cooke, A. Logrieco (eds.), 2004
Bioluminescence and Chemiluminescence. Basic Chemistry and Analytical Applications
Marlene A. Deluca and William D. McElroy (Eds.), 1981
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
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
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
