Feedback

X
#1

keyword: Software architecture – 24 free books.

pdf These books are available in PDF format - good for desktops, printing.

badge for CC BY These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.

You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

  • View As:
  • view list
  • view icon

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

AVAILABLE!
Book cover
Uli Sattler and Martin Suda, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors

Computer Aided Verification

Constantin Enea and Akash Lal, editors

AVAILABLE!
Book cover
Constantin Enea and Akash Lal, editors
AVAILABLE!
Book cover

Computer Aided Verification

Sharon Shoham and Yakir Vizel, editors

AVAILABLE!
Book cover
Sharon Shoham and Yakir Vizel, editors

Security in Computer and Information Sciences

Erol Gelenbe et al. (editors)

AVAILABLE!
Book cover
Erol Gelenbe et al. (editors)
AVAILABLE!
Book cover

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

Grigoreta-Sofia Cojocar and Adriana-Mihaela Guran, editors

AVAILABLE!
Book cover
Grigoreta-Sofia Cojocar and Adriana-Mihaela Guran, editors

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

AVAILABLE!
Book cover
Alexandra Silva and K. Rustan M. Leino, editors

The Once-Only Principle

Robert Krimmer et al. (editors)

AVAILABLE!
Book cover
Robert Krimmer et al. (editors)

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

AVAILABLE!
Book cover
André Platzer and Geoff Sutcliffe, editors

Algorithms in Decision Support Systems

Vicente García-Díaz (editor)

AVAILABLE!
Book cover
Vicente García-Díaz (editor)

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors

Fundamental Approaches to Software Engineering

Esther Guerra and Mariëlle Stoelinga, editors

AVAILABLE!
Book cover
Esther Guerra and Mariëlle Stoelinga, editors