.png){kind=logo}
Computer architecture & logic design
Results 169 - 192 of 951
Computer architecture & logic design
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 160 x 236 x 33. Weight in Grams: 822.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783540229407
- ISBN
- 9783540229407
Paperback
Condition: New
€ 75.04
€ 75.04
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, real-time systems, verification techniques, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1304 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1304
- Condition
- New
- SKU
- V9783540283096
- ISBN
- 9783540283096
Paperback
Condition: New
€ 76.07
€ 76.07
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. This book contains papers that are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics and probability. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540373766
- ISBN
- 9783540373766
Paperback
Condition: New
€ 130.19
€ 130.19
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. This title presents 30 revised full papers together with 3 invited papers that were reviewed and selected from 112 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 523 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 523
- Condition
- New
- SKU
- V9783540744061
- ISBN
- 9783540744061
Paperback
Condition: New
€ 69.27
€ 69.27
Paperback. This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement. Editor(s): Baeten, J. C. M.; Mauw, Sjouke. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 1820.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783540664253
- ISBN
- 9783540664253
Paperback
Condition: New
€ 136.83
€ 136.83
Paperback. Num Pages: 250 pages, biography. BIC Classification: TJFC; UYF; WM. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 533.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 250
- Condition
- New
- SKU
- V9781468465204
- ISBN
- 9781468465204
Paperback
Condition: New
€ 128.33
€ 128.33
Hardback. This book covers the fundamental issues of developing programs for scientific computation on concurrent computers. Its purpose is to construct a conceptual framework that provides a basis for understanding the real issues of concurrency, in order to develop new numerical methods and new software tools that may solve real-world problems efficiently. Series: Texts in Applied Mathematics. Num Pages: 350 pages, 3 black & white illustrations, biography. BIC Classification: UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 350
- Condition
- New
- SKU
- V9780387941950
- ISBN
- 9780387941950
Hardback
Condition: New
€ 112.43
€ 112.43
Conductor: Distributed Adaptation for Heterogeneous Networks
Yarvis, Mark D.; Reiher, Peter; Popek, Gerald...
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: MB; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 232
- Condition
- New
- SKU
- V9781461353904
- ISBN
- 9781461353904
Paperback
Condition: New
€ 127.37
€ 127.37
This text provides an introduction to connectionist networks and explores their theoretical and philosophical implications. Two new chapters have been added in this edition on the relation of connectionism to recent work on artificial life and dynamical models of cognition. Num Pages: 424 pages, 66. BIC Classification: HPM; UYFP; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 253 x 177 x 36. Weight in Grams: 890.
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2 Rev ed
- Number of pages
- 424
- Condition
- New
- SKU
- V9780631207122
- ISBN
- 9780631207122
Paperback
Condition: New
€ 219.22
€ 219.22
Paperback. This guide to timing constraints in integrated circuit design shows how to maximize performance of IC designs by specifying timing requirements correctly. Coverage includes such design aspects as synthesis, static timing analysis and placement and routing. Num Pages: 253 pages, biography. BIC Classification: TJF; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 253
- Condition
- New
- SKU
- V9781489989161
- ISBN
- 9781489989161
Paperback
Condition: New
€ 127.18
€ 127.18
Hardback. This guide to timing constraints in integrated circuit design shows how to maximize performance of IC designs by specifying timing requirements correctly. Coverage includes such design aspects as synthesis, static timing analysis and placement and routing. Num Pages: 226 pages, biography. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 243 x 158 x 20. Weight in Grams: 522.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 270
- Condition
- New
- SKU
- V9781461432685
- ISBN
- 9781461432685
Hardback
Condition: New
€ 183.53
€ 183.53
Paperback. Proceedings of the NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Federal Republic of Germany, July 31 - August 12, 1984 Editor(s): Broy, Manfred. Series: Springer Study Edition. Num Pages: 525 pages, 11 black & white illustrations, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 27. Weight in Grams: 913.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1986
- Number of pages
- 525
- Condition
- New
- SKU
- V9783540170822
- ISBN
- 9783540170822
Paperback
Condition: New
€ 130.79
€ 130.79
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