Тема, жанр, tags: Special Purpose and Application-Based Systems » Page 268 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Special Purpose and Application-Based Systems » Page 268

book Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Edmund M. Clarke Robert P. Kurshan (eds.)
Language: English
Year: 1991

00

26.01.2024

2

0

book Configurational Forces as Basic Concepts of Continuum Physics

Configurational Forces as Basic Concepts of Continuum Physics

djvu

Author: Morton E. Gurtin (auth.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

pdf

Author: Rajeev Alur (auth.) Farn Wang (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

pdf

Author: Eric Senn Saadia Douhib Dominique Blouin Johann Laurent Skander Turki (auth.) Prof. Dr. Martin Radetzki (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Gre

pdf

Author: Paul Feautrier (auth.) Yassine Lakhnech Sergio Yovine (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

pdf

Author: Ning Wang Michael Welzl Liang Zhang (auth.) Pascale Vicat-Blanc Primet Tomohiro Kudoh Joe Mambretti (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Foundations of 3D Graphics Programming: Using JOGL and Java3D

Foundations of 3D Graphics Programming: Using JOGL and Java3D

pdf

Author: Jim X. Chen Chunyang Chen (auth.)
Language: English
Year: 2008

00

26.01.2024

4

0

book Artificial life models in hardware

Artificial life models in hardware

pdf

Author: James M. Conrad Jonathan W. Mills (auth.) Andrew Adamatzky Maciej Komosinski (eds.)
Language: English
Year: 2009

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

pdf

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

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

pdf

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

00

26.01.2024

0

0