0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings... Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings (Paperback, 2013 ed.)
Traian Muntean, Robert Rolland, Dimitrios Poulakis
R1,877 Discovery Miles 18 770 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held inPorquerolles, Francein September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling."

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - International Workshop, CASSIS 2004, Marseille,... Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers (Paperback, 2005 ed.)
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
R1,547 Discovery Miles 15 470 Ships in 10 - 15 working days

This volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http: //www-sop.inria.fr/everest/events/cassis04/ The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique), Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science. Theaimoftheworkshopwastobringtogetherexpertsfromthesmartdevices industry and academic researchers, with a view to stimulate research on formal methods and security, and to encourage the smart device industry to adopt innovative solutions drawn from academic research. The next generation of smart devices holds the promise of providing the required infrastructure for the secure provision of multiple and personalized services. In order to deliver their promise, the smart device technology must however pursue the radical evolution that was initiated with the adoption of multi-application smartcards. Typical needs include: - The possibility for smart devices to feature extensible computational infr- tructures that may be enhanced to support increasingly complex appli- tions that may be installed post-issuance, and may require operating system functionalities that were not pre-installed. Such additional ?exibility must however not compromise security. - The possibility for smart devices to achieve a better integration with larger computersystems, throughimprovedconnectivity, genericity, aswellasint- operability."

Parallel Programming of Transputer Based Machines (Paperback): Traian Muntean Parallel Programming of Transputer Based Machines (Paperback)
Traian Muntean
R3,259 Discovery Miles 32 590 Ships in 10 - 15 working days

This publication contains papers from the Occam User Group (OUG). The main aim of the OUG is to act as an independent forum for the exchange of ideas, results and information in research and development of projects in the area of parallel systems design and programming using various communicating processes oriented approaches for transputer based machines. The papers collected in this volume cover topics such as: methodology of Occam programming, parallel asynchronous algorithms, control of real parallelisms in highly parallel machines of transputers, applications in scientific programming, real-time processing, image processing, etc.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Moonology Diary 2025
Yasmin Boland Paperback R240 Discovery Miles 2 400
Moon Bag (Black)
R57 Discovery Miles 570
Twice The Glory - The Making Of The…
Lloyd Burnard, Khanyiso Tshwaku Paperback R325 R219 Discovery Miles 2 190
Vibro Shape Belt
R800 Discovery Miles 8 000
Conwood Juliet Vanity Case (Black)
R606 Discovery Miles 6 060
Uglies
Scott Westerfeld Paperback R265 R99 Discovery Miles 990
Barbie
Margot Robbie, Ryan Gosling Blu-ray disc R256 Discovery Miles 2 560
Huntlea Original Two Tone Pillow Bed…
R650 R565 Discovery Miles 5 650
Mellerware Non-Stick Vapour ll Steam…
R348 Discovery Miles 3 480
Wonka
Timothee Chalamet Blu-ray disc R250 Discovery Miles 2 500

 

Partners