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

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

book Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

pdf

Author: Rachid Guerraoui Michał Kapałka (auth.) Ahmed Bouajjani Oded Maler (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project

pdf

Author: W. Marquardt M. Nagl (auth.) Manfred Nagl Wolfgang Marquardt (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

pdf

Author: Jürgen Albert Dora Giammaressi Derick Wood (auth.) Jean-Marc Champarnaud Djelloul Ziadi Denis Maurel (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book 3D manufacturing innovation: revolutionary change in Japanese manufacturing with digital data

3D manufacturing innovation: revolutionary change in Japanese manufacturing with digital data

pdf

Author: Hiroshi Toriya (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Mechatronics and Machine Vision in Practice

Mechatronics and Machine Vision in Practice

pdf

Author: Frank Nickols (auth.) John Billingsley Robin Bradbeer (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book MicroC OS II: The Real Time Kernel

MicroC OS II: The Real Time Kernel

pdf

Author: Jean J. Labrosse
Language: English
Year: 2002

00

26.01.2024

0

0

book Design of Ship Hull Structures: A Practical Guide for Engineers

Design of Ship Hull Structures: A Practical Guide for Engineers

pdf

Author: Yasuhisa Okumoto Yu Takeda Masaki Mano Tetsuo Okada (auth.) Yasuhisa Okumoto Yu Takeda Masaki Mano Tetsuo Okada (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Control of Single Wheel Robots

Control of Single Wheel Robots

pdf

Author: Yangsheng Xu Yongsheng Ou (auth.)
Language: English
Year: 2005

00

26.01.2024

0

0

book MicroC OS II: The Real Time Kernel

MicroC OS II: The Real Time Kernel

pdf

Author: Jean J. Labrosse
Language: English
Year: 2002

00

26.01.2024

0

0

book MicroC OS II: The Real Time Kernel

MicroC OS II: The Real Time Kernel

pdf

Author: Jean J. Labrosse
Language: English
Year: 2002

00

26.01.2024

0

0