Verification, Model Checking, and Abstract Interpretation

Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Proceedings of International Conference on Computational Intelligence and Data Engineering

ICCIDE 2022

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Lectures on Information Retrieval

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Information Retrieval and Hypertext

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Schedule-Based Dynamic Transit Modeling

Theory and Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Das Orakel der Handlesekunst

Produktform: Buch

A Journey into Security Certification

From the Cloud to Artificial Intelligence

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Sustainability Reporting

Conception, International Approaches and Double Materiality in Action

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Integrating Artificial Intelligence and IoT for Advanced Health Informatics

AI in the Healthcare Sector

Produktform: E-Buch Text Elektronisches Buch in proprietärem

A Decade of Research Activities at the Department of Industrial Engineering (UniNa-DII)

From Five Existing Departments to the Excellence in Research

Produktform: Buch / Einband - flex.(Paperback)