نتایج جستجو
Algorithms in Bioinformatics: 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings
Martin Frith, Christian Nørgaard Storm Pedersen, 2016
Big Data Benchmarking: 5th International Workshop, WBDB 2014, Potsdam, Germany, August 5-6- 2014, Revised Selected Papers
Tilmann Rabl, Kai Sachs, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobson, 2015
Bioinformatics and Biomedical Engineering: 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings
Francisco Ortuño, Ignacio Rojas, 2016
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
Image Analysis and Recognition: 10th International Conference, ICIAR, Aveiro, Portugal, June 26-28, 2013, Proceedings
Mohamed Kamel, Aurelio Campilho, 2013
Mathematical Methods for Curves and Surfaces: 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers
Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker, 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
