Тема, жанр, tags: Computer Hardware,Computer Systems Organization and Communication Networks,Software Engineering,Comp » Page 60 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Hardware,Computer Systems Organization and Communication Networks,Software Engineering,Comp » Page 60

book Concurrency and Hardware Design: Advances in Petri Nets

Concurrency and Hardware Design: Advances in Petri Nets

pdf

Author: Igor Benko Jo Ebergen (auth.) Jordi Cortadella Alex Yakovlev Grzegorz Rozenberg (eds.)
Language: English
Year: 2002

00

27.01.2024

3

0

book Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

pdf

Author: Steven D. Johnson (auth.) Tiziana Margaria Tom Melham (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

pdf

Author: Wolfgang Roesner (auth.) Daniel Geist Enrico Tronci (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Advanced Parallel Processing Technologies: 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings

Advanced Parallel Processing Technologies: 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings

pdf

Author: Xiaofeng Hu Zhigang Sun Xicheng Lu Jinshu Su (auth.) Xingming Zhou Ming Xu Stefan Jähnichen Jiannong Cao (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Power-Aware Computer Systems: First International Workshop,PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers

Power-Aware Computer Systems: First International Workshop,PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers

pdf

Author: Flavius Gruian (auth.) Babak Falsafi T. N. Vijaykumar (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Job Scheduling Strategies for Parallel Processing: IPDPS 2000 Workshop, JSSPP 2000 Cancun, Mexico, May 1, 2000 Proceedings

Job Scheduling Strategies for Parallel Processing: IPDPS 2000 Workshop, JSSPP 2000 Cancun, Mexico, May 1, 2000 Proceedings

pdf

Author: Kento Aida (auth.) Dror G. Feitelson Larry Rudolph (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Evolvable Systems: From Biology to Hardware: Third International Conference, ICES 2000 Edinburgh, Scotland, UK, April 17–19, 2000 Proceedings

Evolvable Systems: From Biology to Hardware: Third International Conference, ICES 2000 Edinburgh, Scotland, UK, April 17–19, 2000 Proceedings

pdf

Author: Forrest H Bennett III John R. Koza (auth.) Julian Miller Adrian Thompson Peter Thomson Terence C. Fogarty (eds.)
Language: English
Year: 2000

00

27.01.2024

1

0

book Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

pdf

Author: Kenneth L. McMillan (auth.) Ganesh Gopalakrishnan Phillip Windley (eds.)
Language: English
Year: 1998

00

27.01.2024

2

0

book Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

pdf

Author: Robert Beers Rajnish Ghughal Mark Aagaard (auth.) Warren A. Hunt Jr. Steven D. Johnson (eds.)
Language: English
Year: 2000

00

27.01.2024

2

0

book Dependable Computing — EDCC-3: Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings

Dependable Computing — EDCC-3: Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings

pdf

Author: Horst H. Henn (auth.) Jan Hlavička Erik Maehle András Pataricza (eds.)
Language: English
Year: 1999

00

27.01.2024

1

0