Feedback

X
#1

keyword: Software architecture – 36 free books.

  • View As:
  • view list
  • view icon

Frontiers of Combining Systems

René Thiemann and Christoph Weidenbach, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
René Thiemann and Christoph Weidenbach, editors
No Faves
Read it Now

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Sharon Shoham and Yakir Vizel, editors
No Faves
Read it Now

Automated Reasoning

Jasmin Blanchette et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Jasmin Blanchette et al. (editors)
No Faves
Read it Now

Global Internet of Things and Edge Computing Summit

Mirko Presser et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Global Internet of Things and Edge Computing Summit
Mirko Presser et al. (editors)
No Faves
Read it Now

Context-based Access Control and Attack Modelling and Analysis

Maximilian Walter

More Info
AVAILABLE!
Read it Now
Book cover
Context-based Access Control and Attack Modelling and Analysis
Maximilian Walter
No Faves
Read it Now

A Reference Structure for Modular Model-based Analyses

Sandro Koch

More Info
AVAILABLE!
Read it Now
Book cover
A Reference Structure for Modular Model-based Analyses
Sandro Koch
No Faves
Read it Now

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

More Info
AVAILABLE!
Read it Now
Book cover
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Computer Aided Verification

Constantin Enea and Akash Lal, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Constantin Enea and Akash Lal, editors
No Faves
Read it Now

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements

Stephan Seifermann

More Info
AVAILABLE!
Read it Now
Book cover
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Stephan Seifermann
No Faves
Read it Now

Feasible, Robust and Reliable Automation and Control for Autonomous Systems

Umar Zakir Abdul Hamid et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Feasible, Robust and Reliable Automation and Control for Autonomous Systems
Umar Zakir Abdul Hamid et al. (editors)
No Faves
Read it Now

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Sharon Shoham and Yakir Vizel, editors
No Faves
Read it Now

Security in Computer and Information Sciences

Erol Gelenbe et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Security in Computer and Information Sciences
Erol Gelenbe et al. (editors)
No Faves
Read it Now

Participative Urban Health and Healthy Aging in the Age of AI

Hamdi Aloulou et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Participative Urban Health and Healthy Aging in the Age of AI
Hamdi Aloulou et al. (editors)
No Faves
Read it Now

Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications

Grigoreta-Sofia Cojocar and Adriana-Mihaela Guran, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications
Grigoreta-Sofia Cojocar and Adriana-Mihaela Guran, editors
No Faves
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

The Once-Only Principle

Robert Krimmer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
The Once-Only Principle
Robert Krimmer et al. (editors)
No Faves
Read it Now

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 28
André Platzer and Geoff Sutcliffe, editors
No Faves
Read it Now