| 681 |
The Disappearing Computer electronic resource - Interaction Design, System Infrastructures and Applications for Smart Environments
|
Norbert. Streitz
|
2007 |
Engelska |
| 682 |
Computer Supported Education - 12th International Conference, CSEDU 2020, Virtual Event, May 2–4, 2020, Revised Selected Papers
|
|
2021 |
Engelska |
| 683 |
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
|
James H. Davenport
|
2011 |
Engelska |
| 684 |
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
|
Ganesh. Gopalakrishnan
|
2011 |
Engelska |
| 685 |
Computer Science Logic - 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
|
Erich. Grädel
|
2009 |
Engelska |
| 686 |
Computer Science Logic - 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 687 |
Algorithms - ESA 2006 electronic resource - 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings
|
Yossi. Azar
|
2006 |
Engelska |
| 688 |
Visual Informatics: Bridging Research and Practice - First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings
|
Halimah. Badioze Zaman
|
2009 |
Engelska |
| 689 |
Future Multimedia Networking - Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
|
Andreas. Mauthe
|
2009 |
Engelska |
| 690 |
Combinatorial Image Analysis - 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings
|
Petra. Wiederhold
|
2009 |
Engelska |
| 691 |
Biomedical Simulation - 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings
|
Fernando. Bello
|
2010 |
Engelska |
| 692 |
Image Analysis and Recognition - 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I
|
Aurélio. Campilho
|
2010 |
Engelska |
| 693 |
Cellular Automata and Discrete Complex Systems - 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
|
Jarkko. Kari
|
2013 |
Engelska |
| 694 |
SOFSEM 2014: Theory and Practice of Computer Science - 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
|
Viliam. Geffert
|
2014 |
Engelska |
| 695 |
CVRMed-MRCAS'97 electronic resource : First Joint Conference, Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery, Grenoble, France, March 19-22, 1997, Proceedings / edited by Jocelyne Troccaz, Eric Grimson, Ralph Mösges
|
Virtual Reality and Robotics in Medicine and Medical Robotics and Computer Assisted Surgery Joint Conference Computer Vision
|
uuuu-uuuu |
Okänt |
| 696 |
Computer and Communication Engineering - Third International Conference, CCCE 2023, Stockholm, Sweden, March 10–12, 2023, Revised Selected Papers
|
Filippo. Neri
|
2023 |
Engelska |
| 697 |
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
|
|
2017 |
Engelska |
| 698 |
Computer Performance Evaluation and Benchmarking - SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
|
David. Kaeli
|
2009 |
Engelska |
| 699 |
Smart Graphics - 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised Selected Papers
|
|
2017 |
Engelska |
| 700 |
Computer Aided Verification - 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
|
CAV (Conference)
|
1992 |
Engelska |