Call Number (LC) Title Results
QA76.9.D5 D62 Distributed systems engineering a joint publication of the British Computer Society, the Institution of Electrical Engineers, and Institute of Physics Publishing. 1
QA76.9.D5 D63 1985 Distributed systems : methods and tools for specification : an advanced course /
Distributed systems methods and tools for specification : an advanced course /
2
QA76.9.D5 D87 1988 Coordination of distributed problem solvers / 1
QA76.9.D5 E26 2010 Economic models and algorithms for distributed systems
Economic models and algorithms for distributed systems /
2
QA76.9.D5 E36 1992 SAA/LU 6.2 : distributed networks and applications / 1
QA76.9.D5 E4 1998 Distributed and parallel computing / 1
QA76.9.D5 E55 2002eb End-to-end scheduling with Tivoli Workload Scheduler 8.1 / 1
QA76.9.D5 E77 1991 Distributed memory computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22-24, 1991 : proceedings / 1
QA76.9.D5 E78 1996 Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, the Netherlands, January 22-25, 1996 Proceedings /
Agents breaking away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, Netherlands, January 22-25, 1996 : proceedings /
2
QA76.9.D5 E82 2004b Event management and best practices / 2
QA76.9.D5 E87 1988 Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings /
Experiences with Distributed Systems : International Workshop Kaiserslautern, FRG, September 28-30, 1987 Proceedings /
3
QA76.9.D5 F37 1998 Java distributed computing / 2
QA76.9.D5 F37 1998eb Java distributed computing / 2
QA76.9.D5 F38 1990 Fault-tolerant distributed computing / 2
QA76.9.D5 F59 1994 Distributed systems : software design and implementation / 1
QA76.9.D5 F636 2017eb Fog for 5G and IoT / 4
QA76.9.D5 F66 1996 Formal systems specification : the RPC-memory specification case study / 1
QA76.9.D5 F662 2001 Formal methods for distributed processing : a survey of object-oriented approaches / 1
QA76.9.D5 F6625 2004eb Formal methods for embedded distributed systems : how to master the complexity / 2
QA76.9.D5 F664 1996 Formal systems specification : the RPC-memory specification case study / 1