-
Foundations of data science
Computer science;Statistics;Quantitative research;e-böcker
Blum, Avrim;Hopcroft, John E;Kannan, Ravindran - Cambridge University Press 2020
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Logic design;Software engineering;Computer science;Computer software;Artificial intelligence;Computer logic;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Mathematical Logic and Formal Languages;Algorithm Analysis and Problem Complexity;Logic in AI
Vojnar, Tomáš;Zhang, Lijun - Imprint: Springer 2019 1st ed. 2019.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Logic design;Computer science;Software engineering;Artificial intelligence;Computer system performance;Computer industry;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Software Engineering/Programming and Operating Systems;System Performance and Evaluation;The Computing Profession
Vojnar, Tomáš;Zhang, Lijun - Imprint: Springer 2019 1st ed. 2019.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6â11, 2019, Proceedings, Part III
Logic design;Software engineering;Computer science;Computer industry;Computer system performance;Computer simulation;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Mathematical Logic and Formal Languages;The Computing Profession;System Performance and Evaluation;Simulation and Modeling
Beyer, Dirk;Huisman, Marieke;Kordon, Fabrice;Steffen, Bernhard - Imprint: Springer 2019 1st ed. 2019.
-
Mediatized religion in Asia : studies on digital media and religion
e-böcker
Radde-Antweiler, Kerstin;Zeiler, Xenia - Routledge, Taylor & Francis Group 2019
-
High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
Computer system performance;Computer Communication Networks;Computer science;Logic design;Operating systems (Computers);System Performance and Evaluation;Processor Architectures;Information Systems Applications (incl. Internet);Operating Systems
KoÅodziej, Joanna;González-Vélez, Horacio - Imprint: Springer 2019 1st ed. 2019.
-
RCAR : 2017 IEEE International Conference on Real-time Computing and Robotics : 14-18 July 2017, Okinawa, Japan
Real-time data processing;Robotics
- Institute of Electrical and Electronics Engineers 2018
-
Context-aware computing
Context-aware computing
Feng, Ling - De Gruyter 2018
-
Multiple criteria decision aid : methods, examples and Python implementations
Computational complexity;Computer science;Python (Computer program language);Electronic book
Papathanasiou, Jason;Ploskas, Nikolaos - Springer 2018
-
Blogging in Beirut : an Ethnography of a Digital Media Practice
Digital media;e-böcker
Jurkiewicz, Sarah - Transcipt Verlag 2018 new
-
Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) : October 15-17, 2081, Madrid, Spain
Real-time data processing;Electronic data processing
Besada, Eva - Institute of Electrical and Electronics Engineers 2018
-
NetGames : 2018 16th Annual Workshop on Network and Systems Support for Games : 12-15 June 2018, Amsterdam, Netherlands
Multimedia systems;Multimedia communications
- Institute of Electrical and Electronics Engineers 2018
-
CCGrid 2018 : 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing : proceedings : 1-4 May 2018, Washington, DC
Cloud computing;Computational grids (Computer systems)
- IEEE Computer Society 2018
-
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Logic design;Software engineering;Artificial intelligence;Computer science;Computer software;Computer simulation;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Algorithm Analysis and Problem Complexity;Simulation and Modeling
Chockler, Hana;Weissenbacher, Georg - Imprint: Springer 2018 1st ed. 2018. new
-
UEMCON : 2017 IEEE 8th annual Ubiquitous Computing, Electronics and Mobile Communication Conference : 19-21 October 2017
Ubiquitous computing;Mobile communication systems
- IEEE 2018 new
-
2017 Computing Conference : 18-20 July 2017
Cloud computing
- IEEE 2018 new
-
iCAST 2017 : proceedings : 2017 IEEE 8th International Conference on Awareness Science and Technology : November 8-10, 2017, at the Splendor Hotel, Taichung, Taiwan
Context-aware computing;Artificial intelligence;Autonomic computing
- IEEE 2018
-
Histoire(s) de(s) données mumériques
Digital media;Multimedia systems
Droesbeke, Jean-Jacques;Didier, Emmanuel;Vermandele, Catherine - EDP Sciences 2018
-
Cloud computing : a self-teaching introduction
Cloud computing;e-böcker
Chopra, Rajiv - Mercury Learning & Information 2018
-
Parallel computing is everywhere
Parallel processing (Electronic computers);Conference papers and proceedings;e-böcker
Bassini, Sanzio;Danelutto, Marco;Dazzi, Patrizio;Joubert, G. R;Peters, F. J - IOS Press 2018