Systems analysis & design
Results 221 - 240 of 726
Systems analysis & design
Hardback. Presents a description methodology that was inspired by Timing Diagrams and Process Algebras, the so-called Hierarchical Annotated Diagrams. This book is intended for those who are involved in defining methods and tools for system-level design specification and verification. Num Pages: 211 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 211
- Condition
- New
- SKU
- V9780792383017
- ISBN
- 9780792383017
Hardback
Condition: New
€ 126.77
€ 126.77
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
€ 125.82
€ 125.82
Hardback. Covering Verilog Programming Language Interface, this book focusses on how to use PLI for problem solving. It covers both PLI 1.0 and PLI 2.0 and includes numerous examples. Num Pages: 372 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 372
- Condition
- New
- SKU
- V9780792384779
- ISBN
- 9780792384779
Hardback
Condition: New
€ 192.45
€ 192.45
Hardback. Provides the engineering community with an understanding of the challenges involved when moving to system-on-a-chip and delivers a methodology to get them there. This book deals with the platform-based approach to the design of embedded systems and is a stepping stone for those interested in the issues facing the design of complex systems-on-chip. Num Pages: 236 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 236
- Condition
- New
- SKU
- V9780792386797
- ISBN
- 9780792386797
Hardback
Condition: New
€ 126.42
€ 126.42
Hardback. Represents a theoretical and computer-based methodology for system informational description and improvement, including various activities in such interdisciplinary areas as thinking, intelligent processes, management, and other nonphysical subjects with their mutual interactions, and the information transferred between interactions. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 305 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9780792386834
- ISBN
- 9780792386834
Hardback
Condition: New
€ 192.27
€ 192.27
Hardback. Shows how to develop, document, simulate and synthesize a design using the VHDL language. The text includes a number of paper exercises and computer lab experiments. For practical purposes, the work keeps simulator-specific text to a minimum. Num Pages: 311 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 254 x 178 x 20. Weight in Grams: 811.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 311
- Condition
- New
- SKU
- V9780792393870
- ISBN
- 9780792393870
Hardback
Condition: New
€ 124.23
€ 124.23
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
€ 127.18
€ 127.18
Hardback. Explores the techniques in object-oriented methods, formalisms and hardware description language extensions. This book includes seven chapters which provide an overview of the object-oriented techniques for designing systems and hardware. It provides examples in C++, VHDL and real-time programming languages. Editor(s): Berge, Jean-Michel. Series: Current Issues in Electronic Modeling. Num Pages: 150 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 930.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 150
- Condition
- New
- SKU
- V9780792396888
- ISBN
- 9780792396888
Hardback
Condition: New
€ 242.08
€ 242.08
Hardback. Describing the latest tools available for both co-design and co-verification of systems, this text offers a complete look at this evolving set of procedures for CAD environments, considering all trade-offs that have to be made when co-designing a system. Editor(s): Berge, Jean-Michel; Rouillard, Jacques; Oz Levia, Cadence. Series: Current Issues in Electronic Modeling. Num Pages: 166 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 12. Weight in Grams: 449.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 166
- Condition
- New
- SKU
- V9780792396895
- ISBN
- 9780792396895
Hardback
Condition: New
€ 242.45
€ 242.45
Using WAVES and VHDL for Effective Design and Testing
Hanna, James P.; Hillman, Robert G.; Hirsch, ...
Hardback. While VHDL was an IEEE standard language, and consistency among myriad designers was fairly well guaranteed, no such standard existed for test waveform generation and assessment. The Waveform and Vector Exchange Specification, or WAVES, was conceived and designed to solve this testing problem - and it has. This book deals with this topic. Num Pages: 304 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9780792397991
- ISBN
- 9780792397991
Hardback
Condition: New
€ 192.22
€ 192.22
Hardback. Provides methods and techniques for VHDL based behavioral synthesis and component reuse. This book aims to describe the specific issues related to behavioral synthesis of VHDL description. Num Pages: 263 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 263
- Condition
- New
- SKU
- V9780792398271
- ISBN
- 9780792398271
Hardback
Condition: New
€ 191.32
€ 191.32
Hardback. This text tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping, mixed domain design, and verification. Editor(s): Berge, Jean-Michel; Levia, Oz; Rouillard, Jacques. Series: Current Issues in Electronic Modeling. Num Pages: 152 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 930.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 152
- Condition
- New
- SKU
- V9780792398745
- ISBN
- 9780792398745
Hardback
Condition: New
€ 242.08
€ 242.08
Analog and Mixed-Signal Hardware Description Languages
. Ed(S): Vachoux, Alain; Berge, Jean-Michel; ...
Hardback. Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. This book shows how to use these hardware description languages in the design of electronic components and systems. It is suitable for researchers and designers working in electronic design. Editor(s): Vachoux, Alain; Berge, Jean-Michel; Levia, Oz; Rouillard, Jacques. Series: Current Issues in Electronic Modeling. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 235 x 155 x 11. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792398752
- ISBN
- 9780792398752
Hardback
Condition: New
€ 125.67
€ 125.67
Hardback. Focuses on a comprehensive development of Hybrid Dynamical Systems theory. This work covers several theoretically interesting and practically significant problems concerning the use of switched controllers and examining the sensor scheduling problem. It emphasises on classes of uncertain systems as models for HDS. Series: Control Engineering. Num Pages: 153 pages, biography. BIC Classification: TJFM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 11. Weight in Grams: 415.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 153
- Condition
- New
- SKU
- V9780817642242
- ISBN
- 9780817642242
Hardback
Condition: New
€ 67.24
€ 67.24
Hardback. This timely overview presents the fundamental principles and techniques involved with grids, clouds and virtualization technologies. The text serves as a guide for readers, presenting key concepts that allows them to develop an understanding of an area likely to play a significant role in coming years. Editor(s): Cafaro, Massimo; Aloisio, Giovanni. Series: Computer Communications and Networks. Num Pages: 250 pages, biography. BIC Classification: UTV; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 162 x 20. Weight in Grams: 522.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 250
- Condition
- New
- SKU
- V9780857290489
- ISBN
- 9780857290489
Hardback
Condition: New
€ 126.05
€ 126.05
Paperback. Contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011. Editor(s): Dale, Chris; Anderson, Tom. Num Pages: 315 pages, 62 black & white illustrations, 20 black & white tables, biography. BIC Classification: UTN; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 315
- Condition
- New
- SKU
- V9780857291325
- ISBN
- 9780857291325
Paperback
Condition: New
€ 189.36
€ 189.36
Hardback. Software Reliability Assessment with OR Applications provides a comprehensive guide to software reliability measurement, prediction, and control. Readers will find solutions to decision-making problems that software developers and engineers often face. Series: Springer Series in Reliability Engineering. Num Pages: 572 pages, 68 black & white tables, biography. BIC Classification: KJMV5; TGPQ; UMZ; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 169 x 35. Weight in Grams: 960.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 572
- Condition
- New
- SKU
- V9780857292032
- ISBN
- 9780857292032
Hardback
Condition: New
€ 240.62
€ 240.62
Hardback. This detailed book explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Series: Springer Series in Reliability Engineering. Num Pages: 202 pages, 27 black & white tables, biography. BIC Classification: TGPQ; TJK; UMB; UT; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 19. Weight in Grams: 468.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011
- Number of pages
- 202
- Condition
- New
- SKU
- V9780857293176
- ISBN
- 9780857293176
Hardback
Condition: New
€ 186.38
€ 186.38
hardcover. This text deals with various aspects of the design and development of embedded applications software for integrated single-chip computer systems. Editor(s): Jerraya, Ahmed Amine; Yoo, Sung joo; Wehn, Norbert; Verkest, Diederik. Num Pages: 530 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 951.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2003rd Edition
- Number of pages
- 530
- Condition
- New
- SKU
- V9781402075285
- ISBN
- 9781402075285
Hardback
Condition: New
€ 274.38
€ 274.38
Paperback. Series: Springer Series in Statistics. Num Pages: 296 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 296
- Condition
- New
- SKU
- V9781441929921
- ISBN
- 9781441929921
Paperback
Condition: New
€ 154.37
€ 154.37