Petri nets fundamental models, verification and applications /
Gardado en:
Autor Corporativo: | ebrary, Inc |
---|---|
Outros autores: | Diaz, Michel, 1945- |
Formato: | Electrónico eBook |
Idioma: | inglés |
Publicado: |
London : Hoboken, NJ :
ISTE ; John Wiley and Sons,
2009.
|
Subjects: | |
Acceso en liña: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
Analytical modelling in parallel and distributed computing /
por: Hanuliak, Peter, et al.
Publicado: (2014)
por: Hanuliak, Peter, et al.
Publicado: (2014)
Modeling and optimization of parallel and distributed embedded systems /
por: Munir, Arslan, et al.
Publicado: (2016)
por: Munir, Arslan, et al.
Publicado: (2016)
Advanced computational infrastructures for parallel and distributed adaptive applications
Publicado: (2010)
Publicado: (2010)
Practical parallel rendering
Publicado: (2002)
Publicado: (2002)
Tools and environments for parallel and distributed computing
por: Hariri, Salim
Publicado: (2004)
por: Hariri, Salim
Publicado: (2004)
Biological petri nets
Publicado: (2011)
Publicado: (2011)
Systems dependability assessment : benefits of petri net models /
por: Aubry, Jean-François, et al.
Publicado: (2015)
por: Aubry, Jean-François, et al.
Publicado: (2015)
The Linux Enterprise Cluster build a highly available cluster with commodity hardware and free software /
por: Kopper, Karl
Publicado: (2005)
por: Kopper, Karl
Publicado: (2005)
Concurrent and distributed computing in Java
por: Garg, Vijay K. (Vijay Kumar), 1963-
Publicado: (2004)
por: Garg, Vijay K. (Vijay Kumar), 1963-
Publicado: (2004)
Programming distributed computing systems a foundational approach /
por: Varela, Carlos A.
Publicado: (2013)
por: Varela, Carlos A.
Publicado: (2013)
Oracle 10g RAC grid, services & clustering /
por: Vallath, Murali
Publicado: (2006)
por: Vallath, Murali
Publicado: (2006)
Building dependable distributed systems /
por: Zhao, Wenbing, Ph.D
Publicado: (2014)
por: Zhao, Wenbing, Ph.D
Publicado: (2014)
Nature-inspired optimization algorithms /
por: Yang, Xin-She
Publicado: (2014)
por: Yang, Xin-She
Publicado: (2014)
Spark : big data cluster computing in production /
por: Ganelin, Ilya
Publicado: (2016)
por: Ganelin, Ilya
Publicado: (2016)
Distributed systems : principles and paradigms /
por: Tanenbaum, Andrew S., 1944-
Publicado: (2007)
por: Tanenbaum, Andrew S., 1944-
Publicado: (2007)
Property-preserving petri net process algebra in software engineering
por: Huang, Hejiao
Publicado: (2012)
por: Huang, Hejiao
Publicado: (2012)
Event management and best practices
Publicado: (2004)
Publicado: (2004)
Merging systems into a sysplex
Publicado: (2002)
Publicado: (2002)
Introduction to parallel computing /
Publicado: (2003)
Publicado: (2003)
Programming MapReduce with scalding : a practical guide to designing, testing, and implementing complex MapReduce applications in Scala /
por: Chalkiopoulos, Antonios
Publicado: (2014)
por: Chalkiopoulos, Antonios
Publicado: (2014)
Implementing Cisco UCS Solutions /
por: Ahmed, Farhan A.
Publicado: (2013)
por: Ahmed, Farhan A.
Publicado: (2013)
Distributed systems : concepts and design /
por: Coulouris, George F.
Publicado: (2005)
por: Coulouris, George F.
Publicado: (2005)
Distributed systems : concepts and design /
por: Coulouris, George F.
Publicado: (1988)
por: Coulouris, George F.
Publicado: (1988)
Large scale network-centric distributed systems /
Publicado: (2014)
Publicado: (2014)
Fundamentals of computer organization and architecture
por: Abd-El-Barr, Mostafa, 1950-
Publicado: (2005)
por: Abd-El-Barr, Mostafa, 1950-
Publicado: (2005)
Force.com tips and tricks a quick reference guide for administrators and developers to get more productive with Force.com /
por: Arora, Ankit
Publicado: (2013)
por: Arora, Ankit
Publicado: (2013)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, 1917-
Publicado: (2008)
por: Yoeli, Michael, 1917-
Publicado: (2008)
Parallel computing advances and current issues : proceedings of the international conference ParCo2001 /
Publicado: (2002)
Publicado: (2002)
Parallel computing : accelerating computational science and engineering (CSE) /
Publicado: (2014)
Publicado: (2014)
Grid computing products and services
por: Ferreira, Luis
Publicado: (2005)
por: Ferreira, Luis
Publicado: (2005)
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 /
Publicado: (2005)
Publicado: (2005)
Realizing teracomputing proceedings of the tenth ECMWF Workshop on the Use of High Performance Computing in Meteorology : Reading, UK, 4-8 November, 2002 /
Publicado: (2003)
Publicado: (2003)
Proxmox high availability : introduce, design, and implement high availability clusters using Proxmox /
por: Cheng, Simon M. C.
Publicado: (2014)
por: Cheng, Simon M. C.
Publicado: (2014)
Advanced computer architecture and parallel processing
por: El-Rewini, Hesham
Publicado: (2005)
por: El-Rewini, Hesham
Publicado: (2005)
Grid computing in research and education
Publicado: (2005)
Publicado: (2005)
CSM guide for the PSSP System Administrator
Publicado: (2003)
Publicado: (2003)
Transition from PSSP to cluster systems management (CSM)
Publicado: (2004)
Publicado: (2004)
IMS in Parallel Sysplex.
por: Jäntti, Jouko
Publicado: (2003)
por: Jäntti, Jouko
Publicado: (2003)
IMS in the Parallel Sysplex.
Publicado: (2003)
Publicado: (2003)
Event processing for business organizing the real time strategy enterprise /
por: Luckham, David C.
Publicado: (2012)
por: Luckham, David C.
Publicado: (2012)
Títulos similares
-
Analytical modelling in parallel and distributed computing /
por: Hanuliak, Peter, et al.
Publicado: (2014) -
Modeling and optimization of parallel and distributed embedded systems /
por: Munir, Arslan, et al.
Publicado: (2016) -
Advanced computational infrastructures for parallel and distributed adaptive applications
Publicado: (2010) -
Practical parallel rendering
Publicado: (2002) -
Tools and environments for parallel and distributed computing
por: Hariri, Salim
Publicado: (2004)