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

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /

.
XIII, 456 p. 132 illus., 114 illus. in color. 9783031460029

]]> Place hold on Bridging the Gap Between AI and Reality

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

Structural Decision Diagrams in Digital Test Theory and Applications /

By Ubar, Raimund..
.
XIII, 595 p. 318 illus., 62 illus. in color. 9783031447341

]]> Place hold on Structural Decision Diagrams in Digital Test

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /

.
X, 157 p. 35 illus., 20 illus. in color. 9783031556302

]]> Place hold on Inductive Logic Programming

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /

.
XII, 309 p. 92 illus., 25 illus. in color. 9783031562228

]]> Place hold on Taming the Infinities of Concurrency

Coding Examples from Simple to Complex Applications in MATLAB® /

By Gagniuc, Paul A..
.
X, 271 p. 274 illus., 269 illus. in color. 9783031538056

]]> Place hold on Coding Examples from Simple to Complex

Coding Examples from Simple to Complex Applications in Python™ /

By Gagniuc, Paul A..
.
X, 236 p. 257 illus., 253 illus. in color. 9783031538124

]]> Place hold on Coding Examples from Simple to Complex

Coding Examples from Simple to Complex Applications in JavaScript™ /

By Gagniuc, Paul A..
.
X, 238 p. 264 illus., 259 illus. in color. 9783031538209

]]> Place hold on Coding Examples from Simple to Complex

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /

.
XXVII, 314 p. 9789819723003

]]> Place hold on Functional and Logic Programming

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /

.
XII, 273 p. 49 illus., 11 illus. in color. 9783031617164

]]> Place hold on Logics and Type Systems in Theory and Practice

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /

.
X, 353 p. 86 illus., 17 illus. in color. 9783031608780

]]> Place hold on Logic and Engineering of Natural Language Semantics

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /

.
XXIV, 288 p. 99 illus., 73 illus. in color. 9783031637421

]]> Place hold on Unconventional Computation and Natural Computation

Mathematics in Programming

By Liu, Xinyu..
.
XII, 383 p. 197 illus. 9789819724321

]]> Place hold on Mathematics in Programming

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

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /

.
X, 209 p. 20 illus., 9 illus. in color. 9783031659416

]]> Place hold on Rewriting Logic and Its Applications

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings /

.
XXI, 364 p. 77 illus., 19 illus. in color. 9783031711121

]]> Place hold on Implementation and Application of Automata

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /

.
XVI, 241 p. 57 illus., 19 illus. in color. 9783031712944

]]> Place hold on Logic-Based Program Synthesis and Transformation

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

Computational Thinking First Algorithms, Then Code /

By Ferragina, Paolo..
.
XII, 197 p. 80 illus. 9783031599224

]]> Place hold on Computational Thinking