نتایج جستجو
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
Database Machines: Fourth International Workshop Grand Bahama Island, March 1985
K. Hahne, P. Pilgram, D. Schuett, H. Schweppe, G. Wolf (auth.), D. J. DeWitt, H. Boral (eds.), 1985
Advances in Database Technology - EDBT 2004: 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004
Richard Hull (auth.), Elisa Bertino, Stavros Christodoulakis, Dimitris Plexousakis, Vassilis Christophides, Manolis Koubarakis, Klemens Böhm, Elena Ferrari (eds.), 2004
Advances in Global Sourcing. Models, Governance, and Relationships: 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers
Marko Nöhren, Armin Heinzl, Tommi Kramer (auth.), Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks (eds.), 2013
Constructive Side-Channel Analysis and Secure Design: 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers
Juliane Krämer, Dmitry Nedospasov (auth.), Emmanuel Prouff (eds.), 2013
CPU (March 2007)
2007
Heterojunctions and Semiconductor Superlattices: Proceedings of the Winter School Les Houches, France, March 12–21, 1985
L. Esaki (auth.), Dr. Guy Allan, Dr. Michel Lannoo, Dr. Gérald Bastard, Dr. Michel Voos, Professor Nino Boccara (eds.), 1986
The Ecological Bases for Lake and Reservoir Management: Proceedings of the Ecological Bases for Management of Lakes and Reservoirs Symposium, held 19–22 March 1996, Leicester, United Kingdom
Brian Moss (auth.), David M. Harper, Bill Brierley, Alastair J. D. Ferguson, Geoff Phillips (eds.), 1999
Standard guidelines for the design of urban subsurface drainage : ANSI/ASCE 12-92, ANSI approved March 15, 1993, Standard guidelines for installation of urban subsurface drainage : ASCE 13-93, Standard guidelines for operation and maintenance of urban subsurface drainage : ASCE 14-93
American Society of Civil Engineers.; American National Standards Institute, 1994
Two-Dimensional Systems, Heterostructures, and Superlattices: Proceedings of the International Winter School Mauterndorf, Austria, February 26 – March 2, 1984
Wlodek Zawadzki (auth.), Professor Dr. Günther Bauer, Professor Dr. Friedemar Kuchar, Professor Dr. Helmut Heinrich (eds.), 1984
Advances in Solid State Physics: Plenary Lectures of the 48th Annual Meeting of the German Physical Society (DPG) and of the Divisions “Semiconductor Physics” “Metal Physics” “Low Temperature Physics” “Thermodynamics and Statistical Physics” “Thin Films” “Surface Physics” “Magnetism” “Physics of Polymers” “Molecular Physics” Münster, March 12…17, 1984
T. Patrick Martin (auth.), P. Grosse (eds.), 1984
Amorphous Solids and the Liquid State
J. E. Enderby (auth.), Norman H. March, Robert A. Street, Mario P. Tosi (eds.), 1985
Chemical Bonds Outside Metal Surfaces
Norman H. March (auth.), 1986
Advances in Database Technology — EDBT'98: 6th International Conference on Extending Database Technology Valencia, Spain, March 23–27, 1998 Proceedings
Gerhard Weikum (auth.), Hans-Jörg Schek, Gustavo Alonso, Felix Saltor, Isidro Ramos (eds.), 1998
A Comparison of the Dynamical Evolution of Planetary Systems: Proceedings of the Sixth Alexander von Humboldt Colloquium on Celestial Mechanics Bad Hofgastein (Austria), 21–27 March 2004
Andrea Milani, Zoran Knežević (auth.), Rudolf Dvorak, Sylvio Ferraz-Mello (eds.), 2005
Agent-Mediated Knowledge Management: International Symposium AMKM 2003, Stanford, CA, USA, March 24-26, Revised and Invited Papers
Ludger van Elst, Virginia Dignum, Andreas Abecker (auth.), Ludger van Elst, Virginia Dignum, Andreas Abecker (eds.), 2004
