|
QA76.9.I58
|
IBM z/OS ISPF : Smart Practices.
Recommender systems /
Classification methods for internet applications /
Recommender system for improving customer loyalty / |
4 |
|
QA76.9 .I58 2009eb
|
Workshops proceedings of the 5th international conference on intelligent environments / |
1 |
|
QA76.9.I58 H53 1999eb
|
Digital sensations : space, identity, and embodiment in virtual reality / |
1 |
|
QA76.9.I58 I584 2014eb
|
Multimodal Interactive Systems Management. |
1 |
|
QA76.9.I58 S47 1987
|
Designing the user interface : strategies for effective human- computer interaction / |
1 |
|
QA76.9 .I583 1985eb
|
Distributed algorithms on graphs : proceedings of the 1st International Workshop on Distributed Algorithms : Ottawa, Canada, August 1985 / |
1 |
|
QA76.9.L36 ǂb B73 1996eb
|
Advances in Contemporary Logic and Computer Science |
1 |
|
QA76.9.L36 B73 1996
|
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / |
1 |
|
QA76.9.L63
|
Thinking programs : logical modeling and reasoning about languages, data, computations, and executions /
Logic: reference book for computer scientists /
Structured object-oriented formal language and method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised selected papers /
Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers /
Fundamentals of logic and computation : with practical automated reasoning and verification /
Dynamic logic : new trends and applications : third international workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers /
Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers /
Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings /
Computational thinking : a perspective on computer science /
Rules and reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings /
Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings /
Logics for computer and data sciences, and artificial intelligence /
Structured object-oriented formal language and method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers /
Dynamic logic : new trends and applications : second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / |
18 |
|
QA76.9.L63 D35 2023
|
Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / |
1 |
|
QA76.9.L63 H37 2000eb
|
Dynamic logic / |
1 |
|
QA76.9.L63 I58 2020
|
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / |
1 |
|
QA76.9.L63 L65 2020
|
Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday / |
1 |
|
QA76.9.L63 R85 2020
|
Rules and reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings / |
1 |
|
QA76.9.L63 R85 2021eb
|
Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / |
1 |
|
QA76.9.L63 R85 2023
|
Rules and reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings / |
1 |
|
QA76.9.M3
|
Data and Application Security : Developments and Directions / |
1 |
|
QA76.9.M3 I35 2020eb
|
Open source systems : 16th IFIP WG 2. 13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings / |
1 |
|
QA76.9.M3 I35 2021eb
|
Open source systems : 17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12-13, 2021, Proceedings / |
1 |
|
QA76.9.M3 I545 2004b
|
Introduction to pSeries provisioning / |
1 |