Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee mas
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE ...
Lee mas
Computer Algebra and Geometric Algebra with Applications
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Lee mas
Computer Graphics and Geometric Modelling
Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...
Lee mas
Computer Graphics with OpenGL / Donald Hearn, Pauline Baker, Warren R. Carithers
Assuming no background in computer graphics, this junior- to graduate-level textbook presents basic principles for the design, ...
Lee mas
Computer Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...
Lee mas
Computer Networking: A Top-Down Approach / James F. Kurose, Keith W. Ross
The text works its way from theapplication layer down toward the physical layer, motivating students by exposing them to ...
Lee mas
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 ...
Lee mas
Computer Organization and Architecture : Designing for Performance / William Stallings
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...
Lee mas
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 ...
Lee mas
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. ...
Lee masComputer Recognition Systems 2
Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...
Lee mas
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Lee mas
Computer Safety, Reliability, and Security (vol. # 4166)
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Lee mas
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Computer Security in the 21st Century
Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances ...
Lee mas
