Тема, жанр, tags: Logics and Meanings of Programs,Logic Design,Special Purpose and Application-Based Systems,Software » Page 1444 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Logic Design,Special Purpose and Application-Based Systems,Software » Page 1444

book Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

pdf

Author: Simon N. Foley (auth.) Warren A. Hunt Jr. Fabio Somenzi (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Graph-Theoretic Concepts in Computer Science: 16th International Workshop WG '90 Berlin, Germany, June 20–22, 1990 Proceedings

Graph-Theoretic Concepts in Computer Science: 16th International Workshop WG '90 Berlin, Germany, June 20–22, 1990 Proceedings

djvu

Author: Grammati E. Pantziou Paul G. Spirakis (auth.) Rolf H. Möhring (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Advances in Computer Systems Architecture: 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

Advances in Computer Systems Architecture: 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

pdf

Author: Pen-Chung Yew (auth.) Lynn Choi Yunheung Paek Sangyeun Cho (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

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 Geometric Algebra with Applications in Engineering

Geometric Algebra with Applications in Engineering

pdf

Author: Christian Perwass (auth.)
Language: English
Year: 2009

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