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

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

book Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

pdf

Author: David Lorge Parnas (auth.) Gérard Berry Hubert Comon Alain Finkel (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Concepts in User Interfaces: A Reference Model for Command and Response Languages

Concepts in User Interfaces: A Reference Model for Command and Response Languages

djvu

Author: David Beech (eds.)
Language: English
Year: 1986

00

26.01.2024

0

0

book Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation — SAMOS

Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation — SAMOS

pdf

Author: Bishnupriya Bhattacharya Shuvra S. Bhattacharyya (auth.) Ed F. Deprettere Jürgen Teich Stamatis Vassiliadis (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers

Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers

pdf

Author: Evelyne Hubert (auth.) Franz Winkler Ulrich Langer (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Advances in Computer Systems Architecture: 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003. Proceedings

Advances in Computer Systems Architecture: 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003. Proceedings

pdf

Author: Tetsuya Sato Hitoshi Murai (auth.) Amos Omondi Stanislav Sedukhin (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

pdf

Author: Bart Jacobs (auth.) Richard J. Boulton Paul B. Jackson (eds.)
Language: English
Year: 2001

00

26.01.2024

0

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 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 Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

djvu

Author: Sten Agerholm (auth.) Gerhard Goos Juris Hartmanis Jan van Leeuwen Joakim von Wright Jim Grundy John Harrison (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Advances in Computer Systems Architecture: 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

Advances in Computer Systems Architecture: 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

pdf

Author: Guang R. Gao (auth.) Chris Jesshope Colin Egan (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0