Filter by
Translation technology in accessible health communication
Meng Ji, Pierrette Bouillon, Mark Seligman ; with contributions from Bastien David, Magali Norre?, Irene Strasly, Herve? Spechbach, Johanna Gerlach, Lu?cia Morado Va?squez, Silvia Rodri?guez Va?squez.
- Edition
- -
- ISBN/ISSN
- 9781108837378
- Collation
- xiii, 212 pages; illustration
- Series Title
- -
- Call Number
- 610.1 JI t
Autonomous control for a reliable internet of services :methods, models, appr…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
- Edition
- -
- ISBN/ISSN
- 9783319904153
- Collation
- xvi, 400p. : ill.
- Series Title
- -
- Call Number
- 004.678 AUT a
Automated reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edition
- -
- ISBN/ISSN
- 9783031107696
- Collation
- xv; 756 PG; ill.
- Series Title
- -
- Call Number
- 006.3 AUT a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography