Тема, жанр, tags: Theory of Computation,Software Engineering,Computer Communication Networks,Business Information Syst » Page 1921 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Theory of Computation,Software Engineering,Computer Communication Networks,Business Information Syst » Page 1921

book Lectures on Petri Nets II: Applications: Advances in Petri Nets

Lectures on Petri Nets II: Applications: Advances in Petri Nets

djvu

Author: Eike Best Raymond Devillers Maciej Koutny (auth.) Wolfgang Reisig Grzegorz Rozenberg (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Unifying Petri Nets: Advances in Petri Nets

Unifying Petri Nets: Advances in Petri Nets

pdf

Author: Jörg Desel Gabriel Juhás (auth.) Hartmut Ehrig Julia Padberg Gabriel Juhás Grzegorz Rozenberg (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Public Key Cryptography: Second International Workshop on Practice and Theory in Public Key Cryptography, PKC’99 Kamakura, Japan, March 1–3, 1999 Proceedings

Public Key Cryptography: Second International Workshop on Practice and Theory in Public Key Cryptography, PKC’99 Kamakura, Japan, March 1–3, 1999 Proceedings

pdf

Author: Feng Bao Robert H. Deng (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings

Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings

djvu

Author: Christiane Frougny (auth.) Mirosław Kutyłowski Leszek Pacholski Tomasz Wierzbicki (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Edmund M. Clarke Robert P. Kurshan (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Information Security and Privacy: 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

Information Security and Privacy: 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

pdf

Author: Bob Blakley G. R. Blakley (auth.) Colin Boyd Juan Manuel González Nieto (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Advances in Petri Nets 1992

Advances in Petri Nets 1992

djvu

Author: Eike Best (auth.) Grzegorz Rozenberg (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

pdf

Author: Jordi Cortadella Michael Kishinevsky Alex Kondratyev Luciano Lavagno Alex Yakovlev (auth.) Mogens Nielsen Dan Simpson (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Objective Coordination in Multi-Agent System Engineering: Design and Implementation

Objective Coordination in Multi-Agent System Engineering: Design and Implementation

pdf

Author: Michael Schumacher (auth.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Composition of Secure Multi-Party Protocols: A Comprehensive Study

Composition of Secure Multi-Party Protocols: A Comprehensive Study

pdf

Author: Yehuda Lindell (auth.)
Language: English
Year: 2003

00

26.01.2024

0

0