1661 |
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
|
|
2018 |
Engelska |
1662 |
Wireless Algorithms, Systems, and Applications - 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
|
|
2018 |
Engelska |
1663 |
Computer Aided Verification - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
|
CAV (Conference)
|
2002 |
Engelska |
1664 |
Distributed Computer and Communication Networks - 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers
|
Vladimir. Vishnevsky
|
2014 |
Engelska |
1665 |
New Trends in Image Analysis and Processing – ICIAP 2017 - ICIAP International Workshops, WBICV, SSPandBE, 3AS, RGBD, NIVAR, IWBAAS, and MADiMa 2017, Catania, Italy, September 11-15, 2017, Revised Selected Papers
|
|
2017 |
Engelska |
1666 |
"Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings"
|
European Symposium on Research in Computer Security
|
2000 |
Okänt |
1667 |
"Computer security - ESORICS 2003 : 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003 : proceedings"
|
European Symposium on Research in Computer Security
|
2003 |
Okänt |
1668 |
Spatial Cognition XI - 11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 5-8, 2018, Proceedings
|
|
2018 |
Engelska |
1669 |
Computer aided systems theory. - a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, LasPalmas de Gran Canaria, Spain, February 19 - 23, 2001 : revised papers
|
International Workshop on Computer Aided Systems Theory 2001 : LasPalmas)
|
cop. 2001 |
Engelska |
1670 |
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
|
|
2016 |
Engelska |
1671 |
Computer vision - algorithms and applications
|
Richard Szeliski
|
2022 |
Engelska |
1672 |
Computer performance evaluation. - modelling techniques and tools : 10th international conference, Tools'98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings
|
Spain) International Conference on Modeling Techniques and Tools for Computer Performance Evaluation 1998 : Palma de Mallorca
|
cop. 1998 |
Engelska |
1673 |
Advances in Visual Informatics - 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15–17, 2023, Proceedings
|
Halimah. Badioze Zaman
|
2024 |
Engelska |
1674 |
Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence - 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II
|
|
2022 |
Engelska |
1675 |
Computer science logic. - 14th international workshop, CSL 2000, Fischbachau, Germany, August 21-26, 2000
|
International Workshop on Computer Science Logic 2000) Fischbachau :
|
cop. 2000 |
Engelska |
1676 |
Analytical and Stochastic Modeling Techniques and Applications electronic resource - 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
|
Khalid. Al-Begain
|
2008 |
Engelska |
1677 |
Cellular Automata electronic resource - 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
|
Samira. El Yacoubi
|
2006 |
Engelska |
1678 |
Algorithm Engineering - Selected Results and Surveys
|
|
2016 |
Engelska |
1679 |
Developments in Language Theory - 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
|
Frank. Drewes
|
2023 |
Engelska |
1680 |
Computer Mathematics - 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks
|
Ruyong. Feng
|
2014 |
Engelska |