Biblioteca Universității "Dunărea de Jos" Search for 'an:66664'

Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence

.
XVII, 226 p. 9 illus., 6 illus. in color. 9789819963270

]]> Place hold on Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /

.
XXII, 153 p. 39 illus., 17 illus. in color. 9783031493423

]]> Place hold on Formal Methods: Foundations and Applications

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /

.
XVIII, 340 p. 108 illus., 71 illus. in color. 9783031505218

]]> Place hold on Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /

.
XVIII, 352 p. 81 illus., 51 illus. in color. 9783031505249

]]> Place hold on Verification, Model Checking, and Abstract Interpretation

R-Calculus, V: Description Logics

By Li, Wei..
.
XIII, 384 p. 4 illus., 1 illus. in color. 9789819964604

]]> Place hold on R-Calculus, V: Description Logics

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /

.
XI, 137 p. 19 illus., 6 illus. in color. 9783031517778

]]> Place hold on Dynamic Logic. New Trends and Applications

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers /

.
XII, 221 p. 35 illus., 24 illus. in color. 9783031549755

]]> Place hold on Chatbot Research and Design

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /

.
XI, 408 p. 114 illus., 69 illus. in color. 9783031552458

]]> Place hold on Human and Artificial Rationalities

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /

.
XXI, 402 p. 56 illus., 12 illus. in color. 9783031569401

]]> Place hold on Foundations of Information and Knowledge Systems

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /

.
XV, 398 p. 137 illus., 101 illus. in color. 9783031637902

]]> Place hold on Rigorous State-Based Methods

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /

.
IX, 217 p. 38 illus., 13 illus. in color. 9783031664380

]]> Place hold on Coalgebraic Methods in Computer Science

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /

.
IX, 109 p. 77 illus., 17 illus. in color. 9783031660641

]]> Place hold on Verified Software. Theories, Tools and Experiments

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /

.
XIV, 298 p. 48 illus., 17 illus. in color. 9783031661594

]]> Place hold on Developments in Language Theory

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings /

.
X, 261 p. 28 illus., 11 illus. in color. 9783031682797

]]> Place hold on Relational and Algebraic Methods in Computer Science

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /

.
IX, 141 p. 39 illus., 34 illus. in color. 9783031713798

]]> Place hold on Formal Methods Teaching

Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings /

.
XX, 250 p. 45 illus., 31 illus. in color. 9783031724077

]]> Place hold on Rules and Reasoning

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /

.
XXVI, 239 p. 31 illus., 15 illus. in color. 9783031726217

]]> Place hold on Reachability Problems

Foundations of probabilistic logic programming : languages, semantics, inference and learning /

By Riguzzi, Fabrizio,.
.
1 online resource. 9788770227063 | 8770227063 | 9781003427421 | 1003427421 | 9781000923223 | 1000923223 | 9781000923216 | 1000923215

]]> Place hold on Foundations of probabilistic logic programming :