.png){kind=logo}
Systems analysis & design
Results 221 - 240 of 744
Systems analysis & design
Hardback. Evolvable hardware (EHW) refers to hardware whose architecture/structure and functions change dynamically and autonomously in order to improve its performance in carrying out tasks. This title teaches the basics of reconfigurable devices, why they are necessary and how they are designed. Editor(s): Higuchi, Tetsuya (National Institute of Advanced Industrial Science and Technology, Ibaraki, Japan); Lui, Yong; Yao, Xin. Series: Genetic and Evolutionary Computation. Num Pages: 224 pages, 25 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9780387243863
- ISBN
- 9780387243863
Hardback
Condition: New
€ 132.14
€ 132.14
Paperback. Editor(s): Higuchi, Tetsuya (National Institute of Advanced Industrial Science and Technology, Ibaraki, Japan); Yao, Xin. Series: Genetic and Evolutionary Computation. Num Pages: 224 pages, 25 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 224
- Condition
- New
- SKU
- V9781441937360
- ISBN
- 9781441937360
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Series: Natural Computing Series. Num Pages: 438 pages, 109 black & white illustrations, 78 colour illustrations, biography. BIC Classification: TJFD; UK; UYD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 438
- Condition
- New
- SKU
- V9783662516973
- ISBN
- 9783662516973
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Constitutes the refereed proceedings of the 5th International Workshop on OpenMP, IWOMP 2009, held in Dresden, Germany in June 2009. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 193 pages, biography. BIC Classification: UKR; UL; UMH; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 193
- Condition
- New
- SKU
- V9783642022845
- ISBN
- 9783642022845
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback / so. Num Pages: 179 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; UT; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2
- Number of pages
- 179
- Condition
- New
- SKU
- V9783528154783
- ISBN
- 9783528154783
Paperback
Condition: New
€ 71.42
€ 71.42
Paperback. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 156 pages, 61 black & white illustrations, biography. BIC Classification: UKS; UMB; UML; UMZ; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 248.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642358920
- ISBN
- 9783642358920
Paperback
Condition: New
€ 59.97
€ 59.97
Paperback. Editor(s): Herault, Thomas; Robert, Yves. Series: Computer Communications and Networks. Num Pages: 329 pages, 113 black & white illustrations, 19 black & white tables, biography. BIC Classification: UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 329
- Condition
- New
- SKU
- V9783319355603
- ISBN
- 9783319355603
Paperback
Condition: New
€ 127.82
€ 127.82
Hardback. Editor(s): Herault, Thomas; Robert, Yves. Series: Computer Communications and Networks. Num Pages: 329 pages, 113 black & white illustrations, 19 black & white tables, biography. BIC Classification: UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 660.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 329
- Condition
- New
- SKU
- V9783319209425
- ISBN
- 9783319209425
Hardback
Condition: New
€ 129.11
€ 129.11
Paperback. 5th International GI/ITG/GMA Conference, Nurnberg, September 25-27, 1991. Proceedings Editor(s): Dal Cin, Mario. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 425 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 23. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 425
- Condition
- New
- SKU
- V9783540545453
- ISBN
- 9783540545453
Paperback
Condition: New
€ 129.68
€ 129.68
paperback. This book introduces fault-tolerance techniques through hardware, software, information and time redundancy. The content is designed to be highly accessible, including numerous examples and exercises. Benefits both advanced students and working engineers. Num Pages: 200 pages, 25 black & white tables, biography. BIC Classification: TJF; TJFC; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 200
- Condition
- New
- SKU
- V9781493902408
- ISBN
- 9781493902408
Paperback
Condition: New
€ 76.92
€ 76.92
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems
. Ed(S): Gorke, Winfried; Sorensen, Holger
Paperback. Editor(s): Gorke, Winfried; Sorensen, Holger. Series: Informatik-Fachberichte. Num Pages: 390 pages, 3 black & white illustrations, biography. BIC Classification: UKS; UMB; UT; UYD; UYF. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 242 x 170 x 21. Weight in Grams: 745.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 390
- Condition
- New
- SKU
- V9783540515654
- ISBN
- 9783540515654
Paperback
Condition: New
€ 129.71
€ 129.71
Paperback. These are the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. Editor(s): Eriksson, Lars-Henrik; Lindsay, Peter Alexander. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 32. Weight in Grams: 1960.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540439288
- ISBN
- 9783540439288
Paperback
Condition: New
€ 143.75
€ 143.75
Paperback. Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 376 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540709510
- ISBN
- 9783540709510
Paperback
Condition: New
€ 67.79
€ 67.79
Hardback. Series: Studies in Systems, Decision and Control. Num Pages: 284 pages, 54 black & white illustrations, 39 colour illustrations, biography. BIC Classification: GPFC; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319507620
- ISBN
- 9783319507620
Hardback
Condition: New
€ 228.20
€ 228.20
Paperback. Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 800.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540343042
- ISBN
- 9783540343042
Paperback
Condition: New
€ 69.22
€ 69.22
Paperback. The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods. Editor(s): Craigen, Dan; Summerskill, Karen. Series: Workshops in Computing. Num Pages: 248 pages, 1 black & white illustrations, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 514.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540196358
- ISBN
- 9783540196358
Paperback
Condition: New
€ 67.33
€ 67.33
Paperback. Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 305 pages, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540857778
- ISBN
- 9783540857778
Paperback
Condition: New
€ 67.15
€ 67.15
paperback. Editor(s): Drechsler, Rolf; Kuhne, Ulrich. Num Pages: 323 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph. BIC Classification: TJFC; TJFM; TRP; UGK; UK; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 18. Weight in Grams: 526.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2015th Edition
- Number of pages
- 323
- Condition
- New
- SKU
- V9783658099930
- ISBN
- 9783658099930
Paperback
Condition: New
€ 68.41
€ 68.41
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda; Pandey, Sheetanshu L...
Hardback. Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792383758
- ISBN
- 9780792383758
Hardback
Condition: New
€ 131.22
€ 131.22
hardcover. It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. This book puts forward a cohesive set of semantics for the VHDL language. Editor(s): Delgado Kloos, Carlos; Breuer, Peter T. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 249 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer United States
- Edition
- 1995th Edition
- Number of pages
- 249
- Condition
- New
- SKU
- V9780792395522
- ISBN
- 9780792395522
Hardback
Condition: New
€ 132.86
€ 132.86