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

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers /

.
XII, 267 p. 72 illus., 36 illus. in color. 9789819977437

]]> Place hold on Theoretical Computer Science

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023 /

.
XIII, 314 p. 148 illus., 102 illus. in color. 9789819982110

]]> Place hold on Parallel and Distributed Computing, Applications and Technologies

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

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /

.
XX, 167 p. 37 illus., 31 illus. in color. 9783031487965

]]> Place hold on Search-Based Software Engineering

Foundations for Functional Modeling of Technical Artefacts

By Lind, Morten..
.
XVII, 328 p. 154 illus., 7 illus. in color. 9783031459184

]]> Place hold on Foundations for Functional Modeling of Technical Artefacts

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I /

.
XVII, 413 p. 60 illus., 30 illus. in color. 9783031491900

]]> Place hold on Computing and Combinatorics

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II /

.
XVII, 419 p. 61 illus., 30 illus. in color. 9783031491931

]]> Place hold on Computing and Combinatorics

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I /

.
XVIII, 527 p. 127 illus., 67 illus. in color. 9783031496110

]]> Place hold on Combinatorial Optimization and Applications

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II /

.
XVIII, 497 p. 119 illus., 71 illus. in color. 9783031496141

]]> Place hold on Combinatorial Optimization and Applications

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers /

.
XIII, 293 p. 80 illus., 54 illus. in color. 9783031487514

]]> Place hold on Advances in Optimization and Applications

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers /

.
X, 231 p. 71 illus., 66 illus. in color. 9783031493614

]]> Place hold on Algorithmic Aspects of Cloud Computing

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /

.
XIII, 436 p. 118 illus., 86 illus. in color. 9789819986644

]]> Place hold on Dependable Software Engineering. Theories, Tools, and Applications

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part IV /

.
XII, 404 p. 122 illus., 100 illus. in color. 9783031500787

]]> Place hold on Advances in Computer Graphics

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28–September 1, 2023, Proceedings, Part II /

.
XII, 513 p. 269 illus., 257 illus. in color. 9783031500725

]]> Place hold on Advances in Computer Graphics

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

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications /

By Ishikawa, Hiroshi..
.
XII, 372 p. 177 illus., 125 illus. in color. 9783031435409

]]> Place hold on Hypothesis Generation and Interpretation

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers /

.
X, 198 p. 68 illus., 48 illus. in color. 9783031504235

]]> Place hold on Tools and Methods of Program Analysis

Transactions on Petri Nets and Other Models of Concurrency XVII

.
XVIII, 295 p. 97 illus., 51 illus. in color. 9783662681916

]]> Place hold on Transactions on Petri Nets and Other Models of Concurrency XVII

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part I /

.
XII, 503 p. 211 illus., 195 illus. in color. 9783031500695

]]> Place hold on Advances in Computer Graphics

Advances in Computational Intelligence. MICAI 2023 International Workshops WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings /

.
XXIV, 454 p. 301 illus., 232 illus. in color. 9783031519406

]]> Place hold on Advances in Computational Intelligence. MICAI 2023 International Workshops

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part III /

.
XII, 517 p. 260 illus., 245 illus. in color. 9783031500756

]]> Place hold on Advances in Computer Graphics

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings /

.
XV, 502 p. 82 illus., 39 illus. in color. 9783031521133

]]> Place hold on SOFSEM 2024: Theory and Practice of Computer Science

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings /

.
XII, 131 p. 59 illus., 47 illus. in color. 9783031543036

]]> Place hold on Explainable Artificial Intelligence and Process Mining Applications for Healthcare

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28–30, 2023, Revised Selected Papers /

.
XII, 171 p. 73 illus., 52 illus. in color. 9783031549687

]]> Place hold on Advances in Computer Games

WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024, Proceedings /

.
XIII, 438 p. 93 illus., 73 illus. in color. 9789819705665

]]> Place hold on WALCOM: Algorithms and Computation

Structures of Computing A Guide to Practice-Oriented Theory /

By Börger, Egon..
.
XVI, 281 p. 9783031543586

]]> Place hold on Structures of Computing

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part I /

.
XIX, 352 p. 75 illus., 51 illus. in color. 9783031555985

]]> Place hold on LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II /

.
XIX, 350 p. 55 illus., 25 illus. in color. 9783031556012

]]> Place hold on LATIN 2024: Theoretical Informatics

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

Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers /

.
XVII, 494 p. 219 illus., 148 illus. in color. 9783031553264

]]> Place hold on Agents and Artificial Intelligence

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

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part I /

.
XXI, 449 p. 153 illus., 132 illus. in color. 9783031568527

]]> Place hold on Applications of Evolutionary Computation

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II /

.
XIX, 473 p. 121 illus., 101 illus. in color. 9783031504853

]]> Place hold on Artificial Intelligence. ECAI 2023 International Workshops

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part II /

.
XXI, 409 p. 151 illus., 125 illus. in color. 9783031568558

]]> Place hold on Applications of Evolutionary Computation

Progress in Cryptology – INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II /

.
XXII, 264 p. 42 illus., 22 illus. in color. 9783031562358

]]> Place hold on Progress in Cryptology – INDOCRYPT 2023

Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings /

.
XI, 420 p. 160 illus., 126 illus. in color. 9783031569920

]]> Place hold on Artificial Intelligence in Music, Sound, Art and Design

Infrared Small Target Detection Theory, Methods, and Algorithms. /

By Zhu, Hu..
.
XIV, 168 p. 1 illus. 9789819997992

]]> Place hold on Infrared Small Target Detection

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers /

.
XII, 410 p. 125 illus., 108 illus. in color. 9783031574306

]]> Place hold on Artificial Life and Evolutionary Computation

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I /

.
XX, 399 p. 124 illus., 92 illus. in color. 9789819722723

]]> Place hold on Bio-Inspired Computing: Theories and Applications

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part II /

.
XIX, 447 p. 188 illus., 138 illus. in color. 9789819722754

]]> Place hold on Bio-Inspired Computing: Theories and Applications

Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings /

.
XI, 194 p. 41 illus. 9783031577123

]]> Place hold on Evolutionary Computation in Combinatorial Optimization

The French School of Programming

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

]]> Place hold on The French School of Programming

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3–6, 2024, Proceedings /

.
X, 185 p. 41 illus., 31 illus. in color. 9783031592058

]]> Place hold on Modelling and Mining Networks

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13–15, 2024, Proceedings /

.
XIII, 368 p. 67 illus., 34 illus. in color. 9789819723409

]]> Place hold on Theory and Applications of Models of Computation

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications /

By Downey, Rod..
.
XXVIII, 346 p. 17 illus. 9783031537448

]]> Place hold on Computability and Complexity

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings /

.
XIV, 402 p. 170 illus., 152 illus. in color. 9789819714179

]]> Place hold on Advances in Brain Inspired Cognitive Systems

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5–9, 2023, Revised Selected Papers /

.
XIV, 482 p. 108 illus., 91 illus. in color. 9783031562082

]]> Place hold on Large-Scale Scientific Computations

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II /

.
XIV, 317 p. 79 illus., 62 illus. in color. 9783031605994

]]> Place hold on Integration of Constraint Programming, Artificial Intelligence, and Operations Research

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /

.
XXIII, 438 p. 89 illus., 61 illus. in color. 9783031606984

]]> Place hold on NASA Formal Methods