Feedback

X
#1

keyword: Software architecture – 29 free books.

  • View As:
  • view list
  • view icon

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

Algorithms in Decision Support Systems

Vicente García-Díaz (editor)

More Info
AVAILABLE!
Read it Now
Book cover
Algorithms in Decision Support Systems
Vicente García-Díaz (editor)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
No Faves
Read it Now

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

More Info
AVAILABLE!
Read it Now
Book cover
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
Jan Friso Groote and Kim Guldstrand Larsen, editors
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