Тема, жанр, tags: Mathematical Logic and Formal Languages,Logic Design,Software Engineering,Logics and Meanings of Pro » Page 42 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Logic Design,Software Engineering,Logics and Meanings of Pro » Page 42

book Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

pdf

Author: Jean-Raymond Abrial Dominique Cansell (auth.) David Basin Burkhart Wolff (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

djvu

Author: Tobias Nipkow (auth.) Jim Grundy Malcolm Newey (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

pdf

Author: Mauro Gargano Mark Hillebrand Dirk Leinenbach Wolfgang Paul (auth.) Joe Hurd Tom Melham (eds.)
Language: English
Year: 2005

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

djvu

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

00

26.01.2024

0

0

book Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

pdf

Author: Bernhard Möller John V. Tucker (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

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 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