Computer architecture & logic design
Results 241 - 242 of 242
Computer architecture & logic design
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. Editor(s): Shirazi, Behrooz A.; etc. Num Pages: 520 pages, Illustrations. BIC Classification: UL; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 310 x 174 x 27. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9780818665875
- ISBN
- 9780818665875
Paperback
Condition: New
€ 108.00
€ 108.00