HTML, XHTML, and CSS, Sixth Edition (Visual Quickstart Guide) Like previous editions, HTML 4 for the World Wide Web: Visual QuickStart Guide has won universal praise for being the most succinct, indispensable guide to using HTML to design Web pages. Completely updated for HTML 4, this third edition covers such important innovations as Cascading Style Sheets and dynamic HTML, as well as the improved... Model Checking Software This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.
The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are...
Public Key Cryptography PKC 2008: 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008, Proceedings These are the Proceedings of the 11th International Workshop on Practice and Theory in Public Key Cryptography – PKC 2008. The workshop was held in Barcelona, Spain, March 9–12, 2008.
It was sponsored by the International Association for Cryptologic Research (IACR; see www.iacr.org), this year in cooperation with MAK, the...
Contemporary Cryptology (Advanced Courses in Mathematics - CRM Barcelona)
In February 2004, at the Universitat Polit`ecnica de Catalunya, we presented a
45-hour Advanced Course on Contemporary Cryptology, organised by the Centre
de Recerca Matem`atica. This volume is an expanded and unified version of the
material presented in the lectures and the background material that we distributed
among the... Compiler Construction The CC program committee is pleased to present this volume with the proceedings of the 13th International Conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educators, and practitioners to exchange ideas on the latest developments in compiler technology, programming language implementation, and...
|Result Page: 4 3 2 1 |