Тема, жанр, tags: Software Engineering/Programming and Operating Systems » Page 511 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering/Programming and Operating Systems » Page 511

book Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

pdf

Author: Yann Thierry-Mieg Denis Poitrenaud Alexandre Hamez Fabrice Kordon (auth.) Stefan Kowalewski Anna Philippou (eds.)
Language: English
Year: 2009

00

26.01.2024

3

0

book Quality of Software Architectures. Models and Architectures: 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

Quality of Software Architectures. Models and Architectures: 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

pdf

Author: Danilo Ardagna Carlo Ghezzi Raffaela Mirandola (auth.) Steffen Becker Frantisek Plasil Ralf Reussner (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Advances in Information and Computer Security: First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings

Advances in Information and Computer Security: First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings

pdf

Author: Man Ho Au Joseph K. Liu Tsz Hon Yuen Duncan S. Wong (auth.) Hiroshi Yoshiura Kouichi Sakurai Kai Rannenberg Yuko Murayama Shinichi Kawamura (eds.)
Language: English
Year: 2006

00

26.01.2024

1

0

book Advances in Petri Nets 1991

Advances in Petri Nets 1991

djvu

Author: Charles Andre (auth.) Grzegorz Rozenberg (eds.)
Language: English
Year: 1991

00

26.01.2024

2

0

book Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

pdf

Author: Ruby B. Lee (auth.) Thambipillai Srikanthan Jingling Xue Chip-Hong Chang (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Progress in Cryptology - INDOCRYPT 2004: 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings

Progress in Cryptology - INDOCRYPT 2004: 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings

pdf

Author: Colin Boyd (auth.) Anne Canteaut Kapaleeswaran Viswanathan (eds.)
Language: English
Year: 2005

00

26.01.2024

2

0

book SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

pdf

Author: Hamideh Afsarmanesh Ersin Kaletas Louis O. Hertzberger (auth.) Leszek Pacholski Peter Ružička (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

pdf

Author: Tony Hoare Jay Misra (auth.) Bertrand Meyer Jim Woodcock (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Computer Security – ESORICS 2005: 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

Computer Security – ESORICS 2005: 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

pdf

Author: Barbara Simons (auth.) Sabrina de Capitani di Vimercati Paul Syverson Dieter Gollmann (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Advances in Cryptology — CRYPTO ’94: 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings

Advances in Cryptology — CRYPTO ’94: 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings

djvu

Author: Mitsuru Matsui (auth.) Yvo G. Desmedt (eds.)
Language: English
Year: 1994

00

26.01.2024

1

0