نتایج جستجو
Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich (eds.), 2016
AJCC Cancer Staging Manual Edition 7
Stephen B. Edge, David R. Byrd, Carolyn C. Compton, April G. Fritz, Frederick L. Greene, 2009
91. Kongreß: Gehalten zu Wiesbaden vom 14. bis 18. April 1985
F. Anschütz, F. Krück, H. Kreuzer, E. Ritz, G. Schettler, H. Greten (auth.), Professor Dr. Klaus Miehlke (eds.), 1985
Kongreß: gehalten zu Wiesbaden vom 26. bis 30. April 1987
D. G. Mathey, J. Schofer, F. H. Sheehan, H.-J. Krebber, M. Justen, G. Rodewald (auth.), Professor Dr. Klaus Miehlke (eds.), 1987
Verhandlungen der Deutschen Gesellschaft für Innere Medizin: Kongreß gehalten zu Wiesbaden vom 2. bis 6. April 1989
G. Gerken, M. Manns, W. H. Gerlich, A. Kyriatsoulis, G. Hess (auth.), Professor Dr. Klaus Miehlke (eds.), 1989
Verhandlungen der Deutschen Gesellschaft für Innere Medizin: Kongreß Gehalten zu Wiesbaden vom 6. bis 10. April 1986
N. Zöllner (auth.), Professor Dr. Klaus Miehlke (eds.), 1986
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
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: 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
Advances in Information Retrieval: 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings
Mounia Lalmas, Stefan Rüger, Theodora Tsikrika, Alexei Yavlinsky (auth.), Mounia Lalmas, Andy MacFarlane, Stefan Rüger, Anastasios Tombros, Theodora Tsikrika, Alexei Yavlinsky (eds.), 2006
Frontiers in the Roman World: Proceedings of the Ninth Workshop of the International Network Impact of Empire (Durham, 16-19 April 2009)
Olivier Hekster, Ted Kaizer, 2011
CPU (April 2005)
2005
CPU (April 2007)
2007
