Rüdiger Valk – författare
Visar alla böcker från författaren Rüdiger Valk. Handla med fri frakt och snabb leverans.
12 produkter
Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
Av Claude Girault, Rüdiger Valk
Inbunden, 2002
1098 kr
Lägg i varukorg
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of …
GI — 18. Jahrestagung
Vernetzte und komplexe Informatik-Systeme Hamburg 17.–19. Oktober 1988 Proceedings
Av Rüdiger Valk
Häftad, 1988
583 kr
Lägg i varukorg
GI — 18. Jahrestagung II
Vernetzte und komplexe Informatik-Systeme. Hamburg, 17.–19. Oktober 1988. Proceedings
Av Rüdiger Valk
Häftad, 1988
568 kr
Lägg i varukorg
Foundations of Computer Science
Potential-Theory-Cognition
Av Christian Freksa, Matthias Jantzen m. fl.
Häftad, 1997
1128 kr
Lägg i varukorg
This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer …
Applications and Theory of Petri Nets
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
Häftad, 2008
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 …
Applications and Theory of Petri Nets
29th International Conference, PETRI NETS 2008, Xi''an, China, June 23-27, 2008, Proceedings
E-bok, 2008
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi''an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 …
Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
Av Claude Girault, Rüdiger Valk
Häftad, 2010
989 kr
Lägg i varukorg
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of …
GI — 18. Jahrestagung
Vernetzte und komplexe Informatik-Systeme Hamburg 17.–19. Oktober 1988 Proceedings
Av Rudiger Valk
E-bok, 2013
608 kr
Lägg i varukorg
GI — 18. Jahrestagung II
Vernetzte und komplexe Informatik-Systeme. Hamburg, 17.–19. Oktober 1988. Proceedings
Av Rudiger Valk
E-bok, 2013
590 kr
Lägg i varukorg
Petri Nets for Systems Engineering
A Guide to Modeling, Verification, and Applications
Av Rudiger Valk, Claude Girault
E-bok, 2013
1296 kr
Lägg i varukorg
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of …
