Facebook Tweeter Youtube
Close

Popularité

La popularité est une évaluation communautaire de chaque livre calculée sur une échelle de 0 à 100.

Cette évaluation repose sur une agrégation de diverses quantités qui reflètent la vie de chaque livre au sein de la communauté des lecteurs. Cette vie s'exprime en fréquence de lecture, nombre d'étagères publiques et privées dans lesquelles le livre est présent.

Un calcul 'propriétaire' mélangeant ces quantités restitue sous la forme synthétique d'un score l'aura collective du livre.

Close

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.

Back

Advances in Computers

QRcode

Volume 107

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software

See all description...

Author(s): Collectif

Publisher: Elsevier Science

Pub. Date: 2017

pages: 292

Language: lang_en

ISBN: 978-0-12-812228-0

eISBN: 978-0-12-812229-7

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software

Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.

  • Provides in-depth surveys and tutorials on new computer technology
  • Presents well-known authors and researchers in the field
  • Includes extensive bibliographies with most chapters
  • Volumes are devoted to single themes or subfields of computer science

See all description...