Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: computer 202935 träffar

Titel Författare År Språk
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

Förra sidan 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.