Тема, жанр, tags: Logic Design » Page 1444 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logic Design » Page 1444

book Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

djvu

Author: Nicolas Halbwachs (auth.) Alan J. Hu Moshe Y. Vardi (eds.)
Language: English
Year: 1998

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

book SPICE Circuit Handbook.

SPICE Circuit Handbook.

pdf

Author: Hymowitz Charles, Sandler Steven M.
Language: English
Year: 2010

00

26.01.2024

0

0

book Design Matters: The Organisation and Principles of Engineering Design

Design Matters: The Organisation and Principles of Engineering Design

pdf

Author: James Armstrong (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Complex Robotic Systems

Complex Robotic Systems

pdf

Author: Dr Pasquale Chiacchio Dr Stefano Chiaverini (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Open verification methodology cookbook

Open verification methodology cookbook

pdf

Author: Mark Glasser (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book A Generative Theory of Shape

A Generative Theory of Shape

pdf

Author: Michael Leyton
Language: English
Year: 2001

00

26.01.2024

0

0

book The Rubato Composer music software: component-based implementation of a functorial concept architecture

The Rubato Composer music software: component-based implementation of a functorial concept architecture

pdf

Author: Gérard Milmeister (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book The language of design: theory and computation

The language of design: theory and computation

pdf

Author: Andy Dong (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings

pdf

Author: Jason Waddle David Wagner (auth.) Marc Joye Jean-Jacques Quisquater (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0