語系
Guerraoui, Rachid.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /
by:
SpringerLink (Online service); Guerraoui, Rachid.; Romano, Paolo.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Guerraoui, Rachid.; SpringerLink (Online service); Petit, Franck.
(書目-語言資料,印刷品)
Networked systems = first International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013 : revised selected papers /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Guerraoui, Rachid.; Gramoli, Vincent.
(書目-語言資料,印刷品)
Transactional memory = foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 /
by:
SpringerLink (Online service); Guerraoui, Rachid.; Romano, Paolo.
(書目-語言資料,印刷品)
Distributed computing = 18th International Conference, DISC 2004, Amsterdam, the Netherlands, October 4-7, 2004 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Guerraoui, Rachid.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Introduction to reliable and secure distributed programming
by:
Cachin, Christian.; Guerraoui, Rachid.; Rodrigues, Luis.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Systems and Data Security.
Computer Communication Networks.
Software engineering.
Computer programming.
Logics and Meanings of Programs.
Algorithms.
Parallel programming (Computer science)
Wireless communication systems
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Operating Systems.
Computer networks
Computer Science.
Management of Computing and Information Systems.
Special Purpose and Application-Based Systems.
Electronic data processing
Transaction systems (Computer systems)
Computer software
Computation by Abstract Devices.