.png){kind=logo}
Computer architecture & logic design
Results 181 - 200 of 951
Computer architecture & logic design
Paperback. This volume includes contributions from those present at a workshop on control using logic-based switching as well as additional material. Topics covered include: hybrid dynamical systems and control of the hard-bound constrained and linear systems. Editor(s): Morse, A.Stephen. Series: Lecture Notes in Control and Information Sciences. Num Pages: 286 pages, 20 black & white illustrations, biography. BIC Classification: TJFM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 235 x 155 x 15. Weight in Grams: 455.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783540760979
- ISBN
- 9783540760979
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Chan, Alvin T. S.; Chan, Stephen; Leong, Hong Va; Ng, Vincent (Hong Kong Polytechnic University). Series: The Springer International Series in Engineering and Computer Science. Num Pages: 258 pages, biography. BIC Classification: GPF; KJE; UF; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 258
- Condition
- New
- SKU
- V9781461350750
- ISBN
- 9781461350750
Paperback
Condition: New
€ 193.83
€ 193.83
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. This title includes topics such as: component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, and reactive XML. Series: Lecture Notes in Computer Science. Num Pages: 307 pages, biography. BIC Classification: UMX; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783540346944
- ISBN
- 9783540346944
Paperback
Condition: New
€ 70.37
€ 70.37
paperback. Editor(s): Julien, Christine; De Nicola, Rocco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 265 pages, 76 black & white illustrations, biography. BIC Classification: UL; UMZ; UYFP; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642384929
- ISBN
- 9783642384929
Paperback
Condition: New
€ 66.95
€ 66.95
Coordination Models and Languages: 6th International Conference, COORD...
Ferrari, Gianluigi, Nicola, Rocco De, Meredit...
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UMX; UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540210443
- ISBN
- 9783540210443
Paperback
Condition: New
€ 70.97
€ 70.97
Hardback. Correct-by-Construction Approaches for SoC Design Num Pages: 165 pages, 5 black & white tables, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 421.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 165
- Condition
- New
- SKU
- V9781461478638
- ISBN
- 9781461478638
Hardback
Condition: New
€ 127.76
€ 127.76
Hardback. An examination of crisp and soft computing with hypercubical calculus. It presents the impact of an integro-differential operator on parity logic engines, outlines the fuzzy structural modelling approach, and introduces autogenetic algorithms (AGAs) to the field of evolutionary computing. Series: Studies in Fuzziness and Soft Computing. Num Pages: 425 pages, 9 black & white illustrations, biography. BIC Classification: JMR; UMZ; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783790811728
- ISBN
- 9783790811728
Hardback
Condition: New
€ 196.53
€ 196.53
Critical Systems: Formal Methods and Automated Verification
. Ed(S): Ter Beek, Maurice H.; Gnesi, Stefani...
Paperback. Editor(s): Ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander. Series: Lecture Notes in Computer Science. Num Pages: 263 pages, 89 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 263
- Condition
- New
- SKU
- V9783319459424
- ISBN
- 9783319459424
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Editor(s): Borger, E.; Buning, Hans Kleine; Richter, Michael M. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 21. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540516590
- ISBN
- 9783540516590
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback. .
- Publisher
- Pearson Education (US) United States
- Number of pages
- 352
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780134177410
- ISBN
- 9780134177410
Paperback
Condition: New
€ 44.99€ 43.16
€ 44.99
€ 43.16
Paperback. Editor(s): Fdida, Serge; Onvural, Raif O. Series: IFIP Advances in Information and Communication Technology. Num Pages: 430 pages, 53 black & white illustrations, biography. BIC Classification: UT; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 430
- Condition
- New
- SKU
- V9781475749083
- ISBN
- 9781475749083
Paperback
Condition: New
€ 250.77
€ 250.77
Hardcover. Editor(s): Hayes, Ann H.; Simmons, Margaret. Num Pages: 447 pages, illustrations (some colour). BIC Classification: UM; UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 264 x 184 x 28. Weight in Grams: 1035.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- I.E.E.E.Press United States
- Edition
- 1st Edition
- Number of pages
- 447
- Condition
- New
- SKU
- V9780818674129
- ISBN
- 9780818674129
Hardback
Condition: New
€ 103.75
€ 103.75
Hardback. Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC. Num Pages: 199 pages, biography. BIC Classification: TJFC; UYF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 1080.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 199
- Condition
- New
- SKU
- V9789048192540
- ISBN
- 9789048192540
Hardback
Condition: New
€ 131.93
€ 131.93
Paperback. Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC. Num Pages: 218 pages, biography. BIC Classification: TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 218
- Condition
- New
- SKU
- V9789400795075
- ISBN
- 9789400795075
Paperback
Condition: New
€ 127.76
€ 127.76
Paperback. Series: Embedded Systems. Num Pages: 326 pages, 120 black & white illustrations, 7 colour illustrations, 34 black & white tables, biograp. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 326
- Condition
- New
- SKU
- V9783319356921
- ISBN
- 9783319356921
Paperback
Condition: New
€ 160.92
€ 160.92
Paperback. Series: Applications of Modern Technology in Business. Num Pages: 402 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 1250.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Science+Business Media United States
- Number of pages
- 402
- Condition
- New
- SKU
- V9780306428548
- ISBN
- 9780306428548
Paperback
Condition: New
€ 199.33
€ 199.33
Paperback. Num Pages: 212 pages, biography. BIC Classification: KCA; KJT; UM; UYF. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 12. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780387971544
- ISBN
- 9780387971544
Paperback
Condition: New
€ 67.57
€ 67.57
Paperback. Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 470 pages, biography. BIC Classification: PBKS; TJF; UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 470
- Condition
- New
- SKU
- V9783642648496
- ISBN
- 9783642648496
Paperback
Condition: New
€ 251.11
€ 251.11
Paperback. Num Pages: 362 pages, 96 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 721.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 362
- Condition
- New
- SKU
- V9781461568018
- ISBN
- 9781461568018
Paperback
Condition: New
€ 129.49
€ 129.49
paperback. Series: Frontiers in Electronic Testing. Num Pages: 203 pages, biography. BIC Classification: THR; UGC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 203
- Condition
- New
- SKU
- V9781461375616
- ISBN
- 9781461375616
Paperback
Condition: New
€ 193.21
€ 193.21