Petri nets fundamental models, verification and applications /

Tools and environments for parallel and distributed computing
著者:: Hariri, Salim
出版事項: (2004)

Biological petri nets
出版事項: (2011)

Systems dependability assessment : benefits of petri net models /
著者:: Aubry, Jean-François, 等
出版事項: (2015)

The Linux Enterprise Cluster build a highly available cluster with commodity hardware and free software /
著者:: Kopper, Karl
出版事項: (2005)

Concurrent and distributed computing in Java
著者:: Garg, Vijay K. (Vijay Kumar), 1963-
出版事項: (2004)

Programming distributed computing systems a foundational approach /
著者:: Varela, Carlos A.
出版事項: (2013)

Oracle 10g RAC grid, services & clustering /
著者:: Vallath, Murali
出版事項: (2006)

Building dependable distributed systems /
著者:: Zhao, Wenbing, Ph.D
出版事項: (2014)

Nature-inspired optimization algorithms /
著者:: Yang, Xin-She
出版事項: (2014)

Spark : big data cluster computing in production /
著者:: Ganelin, Ilya
出版事項: (2016)

Property-preserving petri net process algebra in software engineering
著者:: Huang, Hejiao
出版事項: (2012)

Distributed systems : principles and paradigms /
著者:: Tanenbaum, Andrew S., 1944-
出版事項: (2007)

Merging systems into a sysplex
出版事項: (2002)

Introduction to parallel computing /
出版事項: (2003)

Event management and best practices
出版事項: (2004)

Implementing Cisco UCS Solutions /
著者:: Ahmed, Farhan A.
出版事項: (2013)

Programming MapReduce with scalding : a practical guide to designing, testing, and implementing complex MapReduce applications in Scala /
著者:: Chalkiopoulos, Antonios
出版事項: (2014)

Fundamentals of computer organization and architecture
著者:: Abd-El-Barr, Mostafa, 1950-
出版事項: (2005)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
著者:: Yoeli, Michael, 1917-
出版事項: (2008)

Distributed systems : concepts and design /
著者:: Coulouris, George F.
出版事項: (2005)

Distributed systems : concepts and design /
著者:: Coulouris, George F.
出版事項: (1988)

Large scale network-centric distributed systems /
出版事項: (2014)

Parallel computing advances and current issues : proceedings of the international conference ParCo2001 /
出版事項: (2002)

Parallel computing : accelerating computational science and engineering (CSE) /
出版事項: (2014)

Force.com tips and tricks a quick reference guide for administrators and developers to get more productive with Force.com /
著者:: Arora, Ankit
出版事項: (2013)

Grid computing products and services
著者:: Ferreira, Luis
出版事項: (2005)

Proxmox high availability : introduce, design, and implement high availability clusters using Proxmox /
著者:: Cheng, Simon M. C.
出版事項: (2014)

Use of high performance computing in meteorology proceedings of the eleventh ECMWF Workshop on the Use of High Performance Computing in Meteorology : Reading, UK, 25-29 October 2004 /
出版事項: (2005)

Realizing teracomputing proceedings of the tenth ECMWF Workshop on the Use of High Performance Computing in Meteorology : Reading, UK, 4-8 November, 2002 /
出版事項: (2003)

Advanced computer architecture and parallel processing
著者:: El-Rewini, Hesham
出版事項: (2005)

Transition from PSSP to cluster systems management (CSM)
出版事項: (2004)

CSM guide for the PSSP System Administrator
出版事項: (2003)

Grid computing in research and education
出版事項: (2005)

IMS in Parallel Sysplex.
著者:: Jäntti, Jouko
出版事項: (2003)

IMS in the Parallel Sysplex.
出版事項: (2003)

IBM eserver certification study guide Cluster 1600 managed by PSSP /
出版事項: (2003)