Electronic Books

Total Books: 881 - 900 /4750

Computer Aided Architectural Design Futures 2005

MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

Computer Engineering in Applied Electromagnetism

Computer Engineering in Applied Electromagnetism contains papers which were presented at the International Symposium on Electromagnetic ...

Computer Network Security

As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...

Computer Networking: A Top-Down Approach / James Kurose, Keith Ross

The text works its way from the application layer down toward the physical layer, motivating students by exposing them to ...

Computer Organization and Design : The hardwrae /software interface / David A. Patterson, John L. Hennessy

Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...

Computer Organization and Design : The hardwrae /software interface / David A. Patterson, John L. Hennessy

Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. ...

Computer Recognition Systems

Presents the results of the 4th International Conference on Computer Recognition Sytems CORES-05. This book covers various ...

Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...

Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...

Computer Security Principles and Practice / William Stallings & Lawrie Brown

Provides an up-to-date survey of developments in computer security. Central problems that confront security designers and ...

Computer Security in the 21st Century

Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances ...

Computer Security – ESORICS 2006

This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...

Computer Security – ESORICS 2007

This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat ...

Computer Security – ESORICS 2007

This book address issues such as data protection; security protocols; systems; web and network security; privacy; threat ...

Computer Simulations of Liquid Crystals and Polymers

Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific ...

Computer Supported Cooperative Work in Design II

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...

Total Books: 881 - 900 /4750