Тема, жанр, tags: Software Engineering,Logic Design,Computer Communication Networks » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Logic Design,Computer Communication Networks » Page 2

book Petrinetze: Eine Einführung

Petrinetze: Eine Einführung

pdf

Author: Dr. Wolfgang Reisig (auth.)
Language: German
Year: 1986

00

27.01.2024

0

0

book Petri Nets: An Introduction

Petri Nets: An Introduction

pdf

Author: Wolfgang Reisig
Language: English
Year: 1985

00

27.01.2024

1

0

book Systementwurf mit Netzen

Systementwurf mit Netzen

pdf

Author: Dr. Wolfgang Reisig (auth.)
Language: German
Year: 1985

00

27.01.2024

0

0

book Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings

djvu

Author: Franco P. Preparata (auth.) Kesav V. Nori Sanjeev Kumar (eds.)
Language: English
Year: 1988

00

27.01.2024

1

0

book Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

pdf

Author: Ricky Butler (auth.) Victor A. Carreño César A. Muñoz Sofiène Tahar (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

pdf

Author: Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0