Feedback

X
#1

keyword: thema EDItEUR::U Computing and Information Technology::UK Computer hardware – 18 free books.

  • View As:
  • view list
  • view icon

Biological Computing

Jin Xu

More Info
AVAILABLE!
Read it Now
Book cover
Biological Computing
Jin Xu
No Faves
Read it Now

Special Topics in Information Technology

Simone Garatti (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Special Topics in Information Technology
Simone Garatti (editor)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács, editors
No Faves
Read it Now

Scalable Data Management for Future Hardware

Kai-Uwe Sattler et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Scalable Data Management for Future Hardware
Kai-Uwe Sattler et al. (editors)
No Faves
Read it Now

The AI Act and The Agile Safety Plan

Thor Myklebust et al.

More Info
AVAILABLE!
Read it Now
Book cover
The AI Act and The Agile Safety Plan
Thor Myklebust et al.
No Faves
Read it Now

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Formal Methods

André Platzer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Formal Methods
André Platzer et al. (editors)
No Faves
Read it Now

Automated Reasoning

Christoph Benzmüller et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Christoph Benzmüller et al. (editors)
No Faves
Read it Now

Automated Reasoning

Christoph Benzmüller et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Christoph Benzmüller et al. (editors)
No Faves
Read it Now

AI, Data, and Digitalization

Rajendra Akerkar (editor)

More Info
AVAILABLE!
Read it Now
Book cover
AI, Data, and Digitalization
Rajendra Akerkar (editor)
No Faves
Read it Now

Special Topics in Information Technology

Francesco Amigoni (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Special Topics in Information Technology
Francesco Amigoni (editor)
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Dirk Beyer and Ana Cavalcanti, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Dirk Beyer and Ana Cavalcanti, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
No Faves
Read it Now

Machine Learning for Cyber-Physical Systems

Oliver Niggemann et al.

More Info
AVAILABLE!
Read it Now
Book cover
Machine Learning for Cyber-Physical Systems
Oliver Niggemann et al.
No Faves
Read it Now

Data Parallel C++

James Reinders et al.

More Info
AVAILABLE!
Read it Now
Book cover
Data Parallel C++
James Reinders et al.
No Faves
Read it Now

Data Parallel C++

James Reinders et al.

More Info
AVAILABLE!
Read it Now
Book cover
Data Parallel C++
James Reinders et al.
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Shuvendu K. Lahiri and Chao Wang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Shuvendu K. Lahiri and Chao Wang, editors
No Faves
Read it Now