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...
Revealing Revelation - How God's Plans…
Amir Tsarfati, Rick Yohn Paperback  (5)
R199 R145 Discovery Miles 1 450
Bosch GBM 320 Professional Drill…
R799 R449 Discovery Miles 4 490
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Efekto 77300-G Nitrile Gloves (L)(Green)
R63 Discovery Miles 630
Cable Guy Ikon "Light Up" Harry Potter…
R599 R549 Discovery Miles 5 490
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Efekto Cypermethrin - Emulsifiable…
R109 Discovery Miles 1 090
Playseat Evolution Racing Chair (Black)
 (3)
R8,999 Discovery Miles 89 990
Bostik Double-Sided Tape (18mm x 10m…
 (1)
R31 Discovery Miles 310
Zap! Polymer Clay Jewellery
Kit R250 R119 Discovery Miles 1 190

 

Partners