Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Logic Design,Mathematical Logic and Formal Languages,Arithm » Page 1437 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Logic Design,Mathematical Logic and Formal Languages,Arithm » Page 1437

book FM8501: A Verified Microprocessor

FM8501: A Verified Microprocessor

djvu

Author: Warren A. Hunt Jr. (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop, Cologne, Germany, September 8–10, 2003. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop, Cologne, Germany, September 8–10, 2003. Proceedings

pdf

Author: Frank Stajano (auth.) Colin D. Walter Çetin K. Koç Christof Paar (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Cryptographic Hardware and Embedded Systems – CHES 2005: 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Cryptographic Hardware and Embedded Systems – CHES 2005: 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

pdf

Author: William Dupuy Sébastien Kunz-Jacques (auth.) Josyula R. Rao Berk Sunar (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

pdf

Author: C. Archambeau E. Peeters F. -X. Standaert J. -J. Quisquater (auth.) Louis Goubin Mitsuru Matsui (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

pdf

Author: Philip Koopman (auth.) Andrea Bondavalli Francisco Brasileiro Sergio Rajsbaum (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

pdf

Author: John L. Henning (auth.) David Kaeli Kai Sachs (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Computer Supported Cooperative Work in Design III: 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

Computer Supported Cooperative Work in Design III: 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

pdf

Author: Terence Blackburn Paul Swatman Rudi Vernik (auth.) Weiming Shen Junzhou Luo Zongkai Lin Jean-Paul A. Barthès Qi Hao (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers

Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers

pdf

Author: Bruno Buchberger (auth.) Roberto Moreno-Díaz Bruno Buchberger José Luis Freire (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Computer Aided Systems Theory – EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

pdf

Author: Rudolf F. Albrecht (auth.) Roberto Moreno Díaz Franz Pichler Alexis Quesada Arencibia (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

pdf

Author: James R. Larus (auth.) Aarti Gupta Sharad Malik (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0