 |
|
|
 Everyday Cryptography: Fundamental Principles and Applications
Cryptography is a vital technology that underpins the security of information in computer networks. This book presents a comprehensive introduction to the role that cryptography plays in providing information security for technologies such as the Internet, mobile phones, payment cards, and wireless local area networks. Focusing on the... |  |  Web Application Architecture: Principles, Protocols and Practices
In-depth examination of concepts and principles of Web application development
Completely revised and updated, this popular book returns with coverage on a range of new technologies. Authored by a highly respected duo, this edition provides an in-depth examination of the core concepts and general principles of Web application... |  |  Realm of Racket: Learn to Program, One Game at a Time!
Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, it was designed with beginning programmers in mind. Realm of Racket is your introduction to the Racket language.
In Realm of... |
|
 Instant SymPy Starter
Symbolic computation is the use of algorithms and software to perform exact calculations on symbolic mathematical expressions. It has traditionally been the preserve of monolithic computer algebra systems. SymPy puts its power within easy reach of all Python programmers, just an import statement away.
Instant SymPy Starter is an... |  |  |  |  Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... |
|
|
Result Page: 426 425 424 423 422 421 420 419 418 417 416 415 414 413 412 411 410 409 408 |