.png){kind=logo}
Systems analysis & design
Results 281 - 300 of 682
Systems analysis & design
Hardback. Intended for those seeking an enhanced proficiency in VHDL, this text addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. Num Pages: 384 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 946.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 384
- Condition
- New
- SKU
- V9780792381150
- ISBN
- 9780792381150
Hardback
Condition: New
€ 197.86
€ 197.86
Hardback. Discusses topics such as: start-up verification; the place for 4-state simulation; race conditions; RTL-style-synthesizable RTL; and more 'bad stuff'. This work tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. Num Pages: 306 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 159 x 24. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 306
- Condition
- New
- SKU
- V9780792373681
- ISBN
- 9780792373681
Hardback
Condition: New
€ 200.21
€ 200.21
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 186.93
€ 186.93
Hardback. Describes SystemVerilog language features relevant to functional verification. This book also specifies a standard set of libraries for assertions and commonly used verification functions, such as stimulus generation, simulation control and coverage analysis, to help implement the recommended methodology. Num Pages: 503 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 2000.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 503
- Condition
- New
- SKU
- V9780387255385
- ISBN
- 9780387255385
Hardback
Condition: New
€ 211.94
€ 211.94
Model-Driven Dependability Assessment of Software Systems
Bernardi, Simona; Merseguer, Jose; Petriu, Do...
Hardback. Model-Driven Dependability Assessment of Software Systems Num Pages: 203 pages, 55 black & white illustrations, biography. BIC Classification: UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 473.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642395116
- ISBN
- 9783642395116
Hardback
Condition: New
€ 127.78
€ 127.78
Hardback. Documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. Editor(s): Kleinjohann, Bernd. Series: IFIP Advances in Information and Communication Technology. Num Pages: 246 pages, biography. BIC Classification: UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9780792373452
- ISBN
- 9780792373452
Hardback
Condition: New
€ 198.88
€ 198.88
Paperback. Processes for developing safety-critical systems impose special demands for ensuring requirements traceability. The author analyzes systems and software engineering theories the problem is cross-cutting in embedded systems development, systems engineering, software engineering, and design theory and processes for safety-critical systems. Num Pages: 439 pages, 60 black & white illustrations, 8 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 26. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2013th Edition
- Number of pages
- 360
- Condition
- New
- SKU
- V9783834824738
- ISBN
- 9783834824738
Paperback
Condition: New
€ 128.75
€ 128.75
Paperback. This book details what system developers need to know and need to be able to do in order to develop usable new multimodal applications. It covers the theory of modalities and multimodality and presents nine key multimodal usability parameters. Series: Human-Computer Interaction Series. Num Pages: 447 pages, 88 black & white illustrations, 31 black & white tables, biography. BIC Classification: UG; UYD; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 447
- Condition
- New
- SKU
- V9781447125174
- ISBN
- 9781447125174
Paperback
Condition: New
€ 195.54
€ 195.54
Paperback. In this collection of essays and articles, key members of Google's Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world. Num Pages: 552 pages, black & white illustrations. BIC Classification: UFP; UMZ; UYD. Category: (XV) Technical / Manuals. Dimension: 233 x 179 x 32. Weight in Grams: 932.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491929124
- ISBN
- 9781491929124
Paperback
Condition: New
€ 57.06€ 44.43
€ 57.06
€ 44.43
Paperback. Explains design and design thinking as something distinct that needs to be better understood - by both designers and the people with whom they need to work - in order to achieve success with different products and systems. This title covers sketching and early prototyping design methods suitable for dynamic product capabilities. Series: Interactive Technologies. Num Pages: 448 pages, Approx. 150 illustrations. BIC Classification: UYD; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 193 x 19. Weight in Grams: 896.
- Publisher
- Morgan Kaufmann
- Number of pages
- 448
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780123740373
- ISBN
- 9780123740373
Paperback
Condition: New
€ 52.99€ 50.93
€ 52.99
€ 50.93
Paperback. When software systems are delivered too late, when they fail to meet the needs of their users, when only a fraction of their capacity is used, when their maintenance costs more than their development, when changes are impossible -- then there is a frantic search for new and better engineering techniques and tools. Num Pages: 320 pages, 0. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 165 x 18. Weight in Grams: 452.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 320
- Condition
- New
- SKU
- V9781557864055
- ISBN
- 9781557864055
Paperback
Condition: New
€ 47.12
€ 47.12
Paperback. Num Pages: 457 pages, biography. BIC Classification: KJC; KJM; KJMP; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642444197
- ISBN
- 9783642444197
Paperback
Condition: New
€ 68.20
€ 68.20
Provides a theoretical understanding of linear systems Progressive and organized in such a way that different levels of readership are possible. The theory is rigorously developed and illustrated by numerous examples which can be reproduced with the help of appropriate computation software. Num Pages: 592 pages, black & white tables, figures. BIC Classification: PBWH; TBC; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 39. Weight in Grams: 992.
- Publication date
- 2010
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 592
- Condition
- New
- SKU
- V9781848211629
- ISBN
- 9781848211629
Paperback
Condition: New
€ 208.82
€ 208.82
Paperback. Editor(s): Schwartz, Brian. Series: NATO Science Series B. Num Pages: 760 pages, biography. BIC Classification: TGM; UYD. Category: (G) General (US: Trade). Dimension: 254 x 178 x 38. Weight in Grams: 1429.
- Format
- Paperback
- Publication date
- 1977
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1977
- Number of pages
- 760
- Condition
- New
- SKU
- V9781468428070
- ISBN
- 9781468428070
Paperback
Condition: New
€ 73.40
€ 73.40
Mixed media product. Num Pages: 344 pages. BIC Classification: UYD. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 159 x 303 x 22. Weight in Grams: 696.
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- Pck Har/Ps
- Condition
- New
- SKU
- V9781498764360
- ISBN
- 9781498764360
Paperback
Condition: New
€ 130.80€ 125.79
€ 130.80
€ 125.79
Hardcover. Emphasizes the application of systems concepts and methodologies that have been developed at Lancaster University. This book describes problem solving and the relationship between theory and practice. It shows how systems ideas can be used to cope with real-life problems. Num Pages: 410 pages, 124 line drawings, 16 tables, index. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 238 x 162 x 29. Weight in Grams: 748.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9780471927167
- ISBN
- 9780471927167
Hardback
Condition: New
€ 78.27
€ 78.27
Paperback. Num Pages: 480 pages. BIC Classification: UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 181 x 235 x 19. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Pearson Education Limited United Kingdom
- Edition
- 01st Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9781292110844
- ISBN
- 9781292110844
Paperback
Condition: New
€ 112.61
€ 112.61
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 134 pages, biography. BIC Classification: TJF; UYD; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 7. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 134
- Condition
- New
- SKU
- V9783540185406
- ISBN
- 9783540185406
Paperback
Condition: New
€ 50.41
€ 50.41
paperback. Series: SpringerBriefs in Fire. Num Pages: 118 pages, 64 black & white illustrations, biography. BIC Classification: TGPR; THR; TN; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 195.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Edition
- 2014th Edition
- Number of pages
- 118
- Condition
- New
- SKU
- V9781461482765
- ISBN
- 9781461482765
Paperback
Condition: New
€ 66.95
€ 66.95
Data Access and Storage Management for Embedded Programmable Processor...
Catthoor, Francky; Danckaert, K.; Kulkarni, K...
Hardback. Gives an overview of what is relevant in system-level data access and storage management for embedded programmable processors. This book covers complex embedded real-time multi-media and communication applications of the targetted application domain. Num Pages: 306 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 306
- Condition
- New
- SKU
- V9780792376897
- ISBN
- 9780792376897
Hardback
Condition: New
€ 200.31
€ 200.31