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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /

.
XX, 476 p. 89 illus., 62 illus. in color. 9783031456084

]]> Place hold on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /

By Morazán, Marco T..
.
XXIII, 524 p. 163 illus., 38 illus. in color. 9783031439735

]]> Place hold on Programming-Based Formal Languages and Automata Theory

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

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /

.
XXII, 229 p. 65 illus., 40 illus. in color. 9783031521836

]]> Place hold on Formal Aspects of Component Software

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

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

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

The French School of Programming

.
XXIV, 439 p. 66 illus., 25 illus. in color. 9783031345180

]]> Place hold on The French School of Programming

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

Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25–27, 2023, Revised Selected Papers /

.
XXIV, 300 p. 75 illus., 38 illus. in color. 9783031659904

]]> Place hold on Metadata and Semantic Research

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

Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings /

.
XVII, 362 p. 185 illus., 87 illus. in color. 9783031669972

]]> Place hold on Intelligent Computer Mathematics

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /

.
XIV, 375 p. 94 illus., 65 illus. in color. 9783031671142

]]> Place hold on The Application of Formal Methods

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /

.
XIV, 316 p. 80 illus., 47 illus. in color. 9783031666735

]]> Place hold on The Practice of Formal Methods

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /

.
XXVIII, 316 p. 74 illus., 45 illus. in color. 9783031666766

]]> Place hold on The Practice of Formal Methods

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /

.
XVII, 147 p. 71 illus., 41 illus. in color. 9783031712616

]]> Place hold on Formal Aspects of Component Software

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