Feedback

X
#1

keyword: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications – 132 free books.

  • View As:
  • view list
  • view icon

Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2020

Jürgen Beyerer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Machine Learning for Cyber Physical Systems: Selected papers from the International Conference ML4CPS 2020
Jürgen Beyerer et al. (editors)
No Faves
Read it Now

Semantic Systems. In the Era of Knowledge Graphs

Eva Blomqvist et al.

More Info
AVAILABLE!
Read it Now
Book cover
Semantic Systems. In the Era of Knowledge Graphs
Eva Blomqvist et al.
No Faves
Read it Now

Software for Exascale Computing - SPPEXA 2016-2019

Hans-Joachim Bungartz et al.

More Info
AVAILABLE!
Read it Now
Book cover
Software for Exascale Computing - SPPEXA 2016-2019
Hans-Joachim Bungartz et al.
No Faves
Read it Now

Wi-Fi Enabled Healthcare

Ali Youssef et al.

More Info
AVAILABLE!
Read it Now
Book cover
Wi-Fi Enabled Healthcare
Ali Youssef et al.
No Faves
Read it Now

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences

Zhiming Zhao and Margareta Hellström

More Info
AVAILABLE!
Read it Now
Book cover
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
Zhiming Zhao and Margareta Hellström
No Faves
Read it Now

Cyber-Physical Systems: A Model-Based Approach

Walid M. Taha et al.

More Info
AVAILABLE!
Read it Now
Book cover
Cyber-Physical Systems: A Model-Based Approach
Walid M. Taha et al.
No Faves
Read it Now

Mobile Ad Hoc Networks

Jonathan Loo et al.

More Info
AVAILABLE!
Read it Now
Book cover
Mobile Ad Hoc Networks
Jonathan Loo et al.
No Faves
Read it Now

Defense Against the Black Arts

Jesse Varsalone et al.

More Info
AVAILABLE!
Read it Now
Book cover
Defense Against the Black Arts
Jesse Varsalone et al.
Faved by 1
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

The Cloud-to-Thing Continuum

Theo Lynn et al.

More Info
AVAILABLE!
Read it Now
Book cover
The Cloud-to-Thing Continuum
Theo Lynn et al.
No Faves
Read it Now

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
No Faves
Read it Now

Programming Languages and Systems

Peter Müller

More Info
AVAILABLE!
Read it Now
Book cover
Programming Languages and Systems
Peter Müller
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Heike Wehrheim and Jordi Cabot
No Faves
Read it Now

Ganzheitliche Digitalisierung von Prozessen

Albert Fleischmann et al.

More Info
AVAILABLE!
Read it Now
Book cover
Ganzheitliche Digitalisierung von Prozessen
Albert Fleischmann et al.
No Faves
Read it Now

Supercomputing Frontiers

David Abramson and Bronis R. De Supinski

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers
David Abramson and Bronis R. De Supinski
No Faves
Read it Now

Computer Aided Verification

Isil Dillig and Serdar Tasiran

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Isil Dillig and Serdar Tasiran
No Faves
Read it Now

IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency

Oliver Niggemann and Peter Schüller

More Info
AVAILABLE!
Read it Now
Book cover
IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency
Oliver Niggemann and Peter Schüller
No Faves
Read it Now

Australasian Conference on Information Systems 2018

_ Australasian Conference on Information Systems and Australasian Conference on Information Systems, editors

More Info
AVAILABLE!
Read it Now
Book cover
Australasian Conference on Information Systems 2018
_ Australasian Conference on Information Systems and Australasian Conference on Information Systems, editors
No Faves
Read it Now

Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

Dhabaleswar K. Panda (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
Dhabaleswar K. Panda (editor)
No Faves
Read it Now