Výsledky vyhľadávania - "COMPUTERS / Hardware / General"

Special Topics in Information Technology

Autori: Simone Garatti

Typ zdroja: eBook.

Predmet: Information technology

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Biomedical

Scalable Data Management for Future Hardware

Autori: Kai-Uwe Sattler Alfons Kemper Thomas Neumann a ďalší

Typ zdroja: eBook.

Predmet: Computer engineering, Information retrieval

Kategórie: COMPUTERS / Database Administration & Management, COMPUTERS / Hardware / General

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autori: Andre Platzer Kristin Yvonne Rozier Matteo Pradella a ďalší

Typ zdroja: eBook.

Predmet: Formal methods (Computer science)--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Biological Computing

Autori: Jin Xu

Typ zdroja: eBook.

Predmet: Biocomputers

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autori: Parosh Aziz Abdulla Delia Kesner

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Fundamental Approaches to Software Engineering : 28th International Conference, FASE 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Autori: Artur Boronat Gordon Fraser

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Operating systems (Computers)

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

The AI Act and The Agile Safety Plan

Autori: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Typ zdroja: eBook.

Predmet: Software engineering, Artificial intelligence--Law and legislation--European Union countries, Artificial intelligence--Safety measures, Data protection, Risk management

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Autori: Bernhard Steffen

Typ zdroja: eBook.

Predmet: Machine learning, Artificial intelligence--Moral and ethical aspects, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Proceedings of the 2nd International Conference on Neural Networks and Machine Learning 2023 (ICNNML 2023)

Autori: Ika Hesti Agustin

Typ zdroja: eBook.

Predmet: Artificial intelligence--Congresses, Machine learning--Congresses, Neural networks (Computer science)--Congresses

Kategórie: MATHEMATICS / Probability & Statistics / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

Machine Learning for Cyber-Physical Systems

Autori: Oliver Niggemann Jürgen Beyerer Maria Krantz a ďalší

Typ zdroja: eBook.

Predmet: Machine learning--Congresses, Cooperating objects (Computer systems)--Congresses, Artificial intelligence

Kategórie: TECHNOLOGY & ENGINEERING / Electronics / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Cybernetics, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Industrielle Datenanalyse

Autori: Jochen Deuse Ralf Klinkenberg Nikolai West

Typ zdroja: eBook.

Predmet: Manufacturing processes--Data processing

Kategórie: COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General

AI, Data, and Digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers

Autori: Rajendra Akerkar

Typ zdroja: eBook.

Predmet: Electronic digital computers--Evaluation, Artificial intelligence--Congresses, Computer systems, Information theory, Data structures (Computer science)

Kategórie: COMPUTERS / Hardware / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Networking / General

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autori: Naoki Kobayashi James Worrell

Typ zdroja: eBook.

Predmet: Computer software--Congresses, Software engineering--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Autori: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Autori: Dirk Beyer Ana Cavalcanti

Typ zdroja: eBook.

Predmet: Software engineering--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Special Topics in Information Technology

Autori: Francesco Amigoni

Typ zdroja: eBook.

Predmet: Automatic control, Data structures (Computer science), Information technology, Electrical engineering

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Biomedical

Artificial Intelligence and Cognitive Science

Autori: Luca Longo Ruairi O’Reilly

Typ zdroja: eBook.

Predmet: Artificial intelligence--Congresses, Cognitive science--Data processing--Congresses

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Image Processing, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Database Administration & Management, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Data Parallel C++

Autori: James Reinders Ben Ashbaugh James Brodman a ďalší

Typ zdroja: eBook.

Predmet: C++ (Computer program language), Heterogeneous computing, OpenCL (Computer program language)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Hardware / General