Challenges of Software Verification

Produktform: Buch / Einband - fest (Hardcover)

Proceedings of International Conference on Computational Intelligence and Data Engineering

ICCIDE 2017

Produktform: Buch / Einband - flex.(Paperback)

Schedule-Based Modeling of Transportation Networks

Theory and applications

Produktform: Buch / Einband - fest (Hardcover)

---

Lectures on Information Retrieval

Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000. Revised Lectures

Produktform: Buch / Einband - flex.(Paperback)

Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum

BPM 2024 Blockchain, RPA, CEE, Educators and Industry Forum, Krakow, Poland, September 1–6, 2024, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Advanced Computing and Systems for Security

Volume Eight

Produktform: Buch / Einband - flex.(Paperback)

University Pathway Programs: Local Responses within a Growing Global Trend

Produktform: Buch / Einband - flex.(Paperback)

Space Data Management

Produktform: Buch / Einband - fest (Hardcover)

A 25-Year Perspective on Logic Programming

Achievements of the Italian Association for Logic Programming, GULP

Produktform: Buch / Einband - flex.(Paperback)

---

Computational Intelligence

International Joint Conference, IJCCI 2014 Rome, Italy, October 22-24, 2014 Revised Selected Papers

Produktform: Buch / Einband - fest (Hardcover)