نتایج جستجو
Computer Vision in Control Systems-1: Mathematical Theory
Margarita N. Favorskaya, Lakhmi C. Jain, 2014
5699: Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
Miroslaw Kutylowski, Maciej Gebala, Witold Charatonik, 2009
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
Leszek Gąsieniec, Frank Wolter, 2013
Fundamentals of Computation Theory: 20th International Symposium, FCT 2015, GdaÅsk, Poland, August 17-19, 2015, Proceedings
Adrian Kosowski, Igor Walukiewicz, 2015
Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11â13, 2017, Proceedings
Ralf Klasing, Marc Zeitoun, 2017
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, ...
Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia, 2013
Research and Advanced Technology for Digital Libraries: 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, PoznaÅ, ...
Sarantos Kapidakis, Cezary Mazurek, Marcin Werla, 2017
Research and Advanced Technology for Digital Libraries: 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016
Norbert Fuhr, László Kovács, Thomas Risse, Wolfgang Nejdl, 2016
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Enrico Giunchiglia, Armando Tacchella, 2004
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Holger H. Hoos, David G. Mitchell, 2005
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Joao Marques-Silva, Karem A. Sakallah, 2007
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Hans Kleine Büning, Xishun Zhao, 2008
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Ofer Strichman, Stefan Szeider, 2010
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Karem A. Sakallah, Laurent Simon, 2011
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Alessandro Cimatti, Roberto Sebastiani, 2012
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Matti Jarvisalo, Allen Van Gelder, 2013
Theory and Practice of Digital Libraries: Second International Conference, TPDL 2012, Paphos, Cyprus, September 23-27, 2012, Proceedings
Panayiotis Zaphiris, George Buchanan, Edie Rasmussen, Fernando Loizides, 2012
Programming Language Theory and Its Implementation
Michael J.C. Gordon, 1988
Quantum Information Theory and the Foundations of Quantum Mechanics
Christopher G. Timpson, 2013
