| 1761 |
Computer security
|
Dieter Gollmann
|
cop. 1999 |
Engelska |
| 1762 |
Computer aided verification. - 11th international conference, CAV'99 Trento, Italy, July 6-10, 1999 : proceedings
|
International Conference on Computer Aided Verification 1999) Trento :
|
cop. 1999 |
Engelska |
| 1763 |
Designing the Digital Transformation - 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings
|
|
2017 |
Engelska |
| 1764 |
Disinformation in Open Online Media - 5th Multidisciplinary International Symposium, MISDOOM 2023, Amsterdam, The Netherlands, November 21–22, 2023, Proceedings
|
Davide. Ceolin
|
2023 |
Engelska |
| 1765 |
Evolutionary Computation in Combinatorial Optimization - 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
|
Peter. Cowling
|
2010 |
Engelska |
| 1766 |
Internet Science - 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017, Proceedings
|
|
2017 |
Engelska |
| 1767 |
Security Standardisation Research - First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings
|
Liqun. Chen
|
2014 |
Engelska |
| 1768-1769 |
Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
(flera utgåvor)
|
Jan. Jürjens
|
2014 |
Engelska |
| 1770 |
Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings
|
|
2018 |
Engelska |
| 1771 |
Computer simulation methods in theoretical physics
|
Dieter W. Heermann
|
cop. 1990 |
Engelska |
| 1772 |
Computer security--ESORICS 2005 : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005 : proceedings / Sabrina De Capitani di Vimercati, Paul Syverson, Dieter Gollmann (eds.)
|
Italy) 2005 : (10th European Symposium on Research in Computer Security Milan
|
uuuu-uuuu |
Okänt |
| 1773 |
Large-Scale Scientific Computing - 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
|
Ivan. Lirkov
|
2010 |
Engelska |
| 1774 |
Formal Techniques for Computer Systems and Business Processes - European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
|
Mario. Bravetti
|
2005 |
Engelska |
| 1775 |
Human-Computer Interaction: Users and Contexts - 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III
|
|
2015 |
Engelska |
| 1776 |
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
|
Harrie. Swart
|
2011 |
Engelska |
| 1777 |
SOFSEM 2006: Theory and Practice of Computer Science - 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
|
Jiří. Wiedermann
|
2006 |
Engelska |
| 1778 |
Computer vision systems. - third international conference, ICVS 2003, Graz, Austria, April 1-3, 2003 : proceedings
|
Austria) ICVS (Conference) 2003 : Graz
|
cop. 2003 |
Engelska |
| 1779 |
Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings
|
|
2017 |
Engelska |
| 1780 |
High Performance Computing - ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
|
|
2017 |
Engelska |