نتایج جستجو
![Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings](http://cdn.ketabkoo.com/covers/1/146404-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/146765-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/147827-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/147828-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/147830-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/147831-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148394-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150290-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150291-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150292-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150293-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150294-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150295-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150300-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150301-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/150302-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/151686-n.jpg)
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)](http://cdn.ketabkoo.com/covers/1/153292-n.jpg)
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)](http://cdn.ketabkoo.com/covers/1/155374-n.jpg)
CPU (April 2005)
2005![CPU (April 2007)](http://cdn.ketabkoo.com/covers/1/155375-n.jpg)
CPU (April 2007)
2007![Computational Aerosciences in the 21st Century: Proceedings of the ICASE/LaRC/NSF/ARO Workshop, conducted by the Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, The National Science Foundation and the Army Research Office, April 22–24, 1998](http://cdn.ketabkoo.com/covers/1/157545-n.jpg)