Lectures, monographs

LIBRARY

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Revised Selected Papers

2024 · ENGLISH · EPUB

View details →

LIBRARY

Informatyka

1984 · POLISH · PDF

View details →

LIBRARY

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Proceedings, Part II

2024 · ENGLISH · PDF

View details →

LIBRARY

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Proceedings, Part II

2024 · ENGLISH · EPUB

View details →

LIBRARY

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Proceedings, Part III

2024 · ENGLISH · PDF

View details →

LIBRARY

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Proceedings, Part III

2024 · ENGLISH · EPUB

View details →

LIBRARY

Lecture Notes: Interactive Proof Systems

ENGLISH · DJVU

View details →

LIBRARY

The Computer: A History from the 17th Century to Today

2023 · MULTILINGUAL · PDF

View details →

LIBRARY

Excel 2021: Das große Excel-Handbuch

2021 · GERMAN · PDF

View details →

LIBRARY

New Energy Power Generation Automation and Intelligent Technology

2024 · ENGLISH · PDF

View details →

LIBRARY

IT-Handbuch für Fachinformatiker*innen: Der Ausbildungsbegleiter

2023 · GERMAN · PDF

View details →

LIBRARY

Blender 3: Das umfassende Handbuch zu Blender 3. Mit Praxisbeispielen und Techniken zu Modelling, Rendering, Animation und mehr

2022 · GERMAN · PDF

View details →

LIBRARY

Human-Computer Interaction - The Design of User-Friendly, Transparent Interfaces; Research and Evaluation

ENGLISH · PDF

View details →

LIBRARY

Human-Computer Interaction - The Design of User-Friendly, Transparent Interfaces; Research and Evaluation

ENGLISH · PDF

View details →

LIBRARY

Mobile and Ubiquitous Computing - History, Sensing, Sensor Data Analysis, Prototyping, Smart Homes, IMS, HCI Principles, Evaluation, Challenges, Privacy, Location, Localisation, Headworn Displays, Context-Aware Computing

ENGLISH · PDF

View details →

LIBRARY

Proceedings of 2023 Chinese Intelligent Systems Conference: Volume I

2023 · ENGLISH · EPUB

View details →

LIBRARY

Proceedings of 2023 Chinese Intelligent Systems Conference: Volume II

2023 · ENGLISH · EPUB

View details →

LIBRARY

Proceedings of 2023 Chinese Intelligent Systems Conference: Volume III

2023 · ENGLISH · EPUB

View details →

LIBRARY

Proceedings of 2023 Chinese Intelligent Systems Conference: Volume III

2023 · ENGLISH · PDF

View details →

LIBRARY

Proceedings of 2023 Chinese Intelligent Systems Conference: Volume II

2023 · ENGLISH · PDF

View details →

LIBRARY

Proceedings of 2023 Chinese Intelligent Systems Conference: Volume I

2023 · ENGLISH · PDF

View details →

LIBRARY

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

2023 · ENGLISH · PDF

View details →

LIBRARY

Cancer Prevention Through Early Detection : Second International Workshop, CaPTion 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings

2023 · ENGLISH · PDF

View details →

LIBRARY

Artificial Intelligence and Smart Vehicles : First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers

2023 · ENGLISH · PDF

View details →