.png){kind=logo}
Systems analysis & design
Results 673 - 696 of 743
Systems analysis & design
Hardback. Covers the e-hardware verification language (HVL), state of the art in verification methodologies, and the use of eHVL as a facilitating verification tool in implementing a state of the art verification environment. This book describes the fresh concepts introduced by the e-language, e-language syntax, and its associated semantics. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 349 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 349
- Condition
- New
- SKU
- V9781402080234
- ISBN
- 9781402080234
Hardback
Condition: New
€ 256.69
€ 256.69
Hardback. The emerging Ambient Intelligence vision has the potential to fundamentally change our world. This volume investigates the impact of Ambient Intelligence on embedded system design. Combining visionary contributions with papers on developments, it brings to light the challenges in system design towards fulfilling the Ambient Intelligence promise. Editor(s): Basten, Twan; Geilen, Marc (Eindhoven University of Technology, Netherlands); Groot, Harmke de Philips (Research Laboratories Eindhoven, Netherlands). Num Pages: 348 pages, biography. BIC Classification: UYD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 20. Weight in Grams: 836.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 348
- Condition
- New
- SKU
- V9781402076688
- ISBN
- 9781402076688
Hardback
Condition: New
€ 201.08
€ 201.08
Hardback. A practical guide on how to get a verification team jumpstarted into verification success by the joint creation of a verification plan. This book includes: a five day approach that gives instructions on how to design and document your verification system; an introduction to hardware verification languages; and more. Num Pages: 229 pages, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781402076190
- ISBN
- 9781402076190
Hardback
Condition: New
€ 210.15
€ 210.15
Hardback. Gathers the practical experiences in how to design SoCs from the most advanced design groups, while setting the issues and techniques in the context of SoC design methodologies. This book contains contributions from the leading design houses - Altera, ARM, IBM, Philips, TI, UC Berkeley, and Xilinx. Editor(s): Chang, Henry; Martin, Grant L. Num Pages: 301 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 25. Weight in Grams: 668.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 301
- Condition
- New
- SKU
- V9781402074950
- ISBN
- 9781402074950
Hardback
Condition: New
€ 195.54
€ 195.54
hardcover. Part of the "CHDL Series", this work features a selection of the best papers presented in FDL'02. It contains papers from the Specification Formalisms for Proven design workshop that present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B. Editor(s): Villar, Eugenio; Mermet, Jean. Series: CHDL. Num Pages: 340 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 340
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402074141
- ISBN
- 9781402074141
Hardback
Condition: New
€ 200.93
€ 200.93
Hardback. Presents the verification techniques to produce fully functional first silicon ASICs, systems-on-a-chip (SoC), boards and entire systems. This title covers topics such as discussions on OpenVera; approaches for writing constrainable random stimulus generators; and, strategies for making testbenches self-checking. Num Pages: 478 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 35. Weight in Grams: 894.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2nd ed. 2003
- Number of pages
- 478
- Condition
- New
- SKU
- V9781402074011
- ISBN
- 9781402074011
Hardback
Condition: New
€ 292.58
€ 292.58
Hardback. Describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design, where time-to-market demands are critical. This book presents several EA techniques, showing their application at different levels of the design process. It demonstrates several optimization steps, including DSP code optimization and test generation. Editor(s): Drechsler, Rolf; Drechsler, Nicole. Series: Genetic Algorithms and Evolutionary Computation. Num Pages: 177 pages, biography. BIC Classification: UMB; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 177
- Condition
- New
- SKU
- V9781402072765
- ISBN
- 9781402072765
Hardback
Condition: New
€ 131.73
€ 131.73
Hardback. Stresses how business components are built for large-scale applications, within dedicated development processes and for easy and direct combination. This book introduces the advances on Component-Based Software Engineering. It is suitable for practitioners and researchers in industry and graduate-level students in Computer Science and Engineering. Editor(s): Barbier, Franck. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 272 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9781402072079
- ISBN
- 9781402072079
Hardback
Condition: New
€ 133.20
€ 133.20
Design and Analysis of Distributed Embedded Systems
. Ed(S): Kleinjohann, Bernd; Kim, K.H.; Klein...
Hardback. Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication. Editor(s): Kleinjohann, Bernd; Kim, K.H.; Kleinjohann, Lisa; Rettberg, Achim. Series: IFIP Advances in Information and Communication Technology. Num Pages: 298 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9781402071560
- ISBN
- 9781402071560
Hardback
Condition: New
€ 199.94
€ 199.94
Hardback. Embedded software timing, power and communication are typically not unique but occur in intervals which result from data dependent behavior, environment timing and target system properties. This title introduces an approach to timing, power, and communication analysis of embedded software processes. Num Pages: 190 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2
- Number of pages
- 190
- Condition
- New
- SKU
- V9781402071355
- ISBN
- 9781402071355
Hardback
Condition: New
€ 131.82
€ 131.82
Hardback. Covers the methods for modeling and analyzing IC interconnect and offers coverage of delay metrics, including the ubiquitous Elmore delay and its many variations. This book outlines moment matching methods, calculating moments efficiently, and Krylov subspace methods for model order reduction. Num Pages: 310 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 310
- Condition
- New
- SKU
- V9781402070754
- ISBN
- 9781402070754
Hardback
Condition: New
€ 200.33
€ 200.33
Hardback. Contains a collection of papers providing a snapshot of hardware support for Java. This book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently. Editor(s): Narayanan, Vijaykrishnan; Wolczko, Mario L. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 252 pages, biography. BIC Classification: UMW; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781402070341
- ISBN
- 9781402070341
Hardback
Condition: New
€ 133.08
€ 133.08
Hardback. Collections of digital documents can be found everywhere in institutions, universities or companies. But searching them for information can still be painful. This book presents a search system that can suggest ways of refining or relaxing the query to assist a user in the search process. Series: The Information Retrieval Series. Num Pages: 198 pages, biography. BIC Classification: UB; UNH; UYD. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 198
- Condition
- New
- SKU
- V9781402037672
- ISBN
- 9781402037672
Hardback
Condition: New
€ 131.75
€ 131.75
hardcover. Brings together theoreticians and practitioners to report their experience with making semantics explicit in business specifications, business designs, and system specifications. This book includes both theoretical and very pragmatic papers based on specified foundations addressing different aspects of a single problem. Editor(s): Kilov, Haim; Baclawski, Kenneth. Num Pages: 338 pages, biography. BIC Classification: KJQ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402014802
- ISBN
- 9781402014802
Hardback
Condition: New
€ 200.86
€ 200.86
Hardback. Proceedings of the Eighth Symposium, held September 20-27, 2000, Snowmass Village, Colorado, USA Editor(s): Arthaud, Greg J. (USDA Forest Service, Washington Office, USA); Barrett, Tara M. (Forest Inventory and Analysis, Pacific Northwest Research Station, USDA Forest Service, USA). Series: Managing Forest Ecosystems. Num Pages: 338 pages, biography. BIC Classification: RNF; TVR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 682.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- SKU
- V9781402012563
- ISBN
- 9781402012563
Hardback
Condition: New
€ 195.64
€ 195.64
Paperback. This book reviews challenges of pervasive computing, including limitations and variation of hardware and networks; sensing and making sense of the world around our computing devices, algorithm and data structure choice for the designer or programmer and more. Series: Undergraduate Topics in Computer Science. Num Pages: 194 pages, 27 black & white illustrations, 9 black & white tables, biography. BIC Classification: UKN; UT; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 12. Weight in Grams: 296. Series: Undergraduate Topics in Computer Science. 196 pages, 1, black & white illustrations. This book reviews challenges of pervasive computing, including limitations and variation of hardware and networks; sensing and making sense of the world around our computing devices, algorithm and data structure choice for the designer or programmer and more. Cateogry: (P) Professional & Vocational. BIC Classification: UKN; UT; UYD; UYQE. Dimension: 234 x 157 x 12. Weight: 296.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Number of pages
- 215
- Condition
- New
- SKU
- V9780857298409
- ISBN
- 9780857298409
Paperback
Condition: New
€ 50.33
€ 50.33
Hardcover. Describes a modern design approach for embedded systems. This book combines the design of hardware, software, and algorithms. It focuses on the multi-disciplinary aspects of embedded system design. It combines design automation and advanced processor design with an important application domain. Num Pages: 191 pages, biography. BIC Classification: T; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 166 x 22. Weight in Grams: 466. 204 pages, 8 black & white illustrations. Describes a modern design approach for embedded systems. This book combines the design of hardware, software, and algorithms. It focuses on the multi-disciplinary aspects of embedded system design. It combines design automation and advanced processor design with an important application domain. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: T; UYD. Dimension: 243 x 166 x 22. Weight: 466.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer
- Edition
- 1997th Edition
- Number of pages
- 204
- Condition
- New
- SKU
- V9780792380061
- ISBN
- 9780792380061
Hardback
Condition: New
€ 197.98
€ 197.98
Paperback. Software modernisation or re-engineering is an undefined concept that tends to mean different things to different people. This book seeks to clarify the problem by identifying the solution to long term survival of the APL application as the elimination of APL specific considerations in the choice of a development tool. Series: RSP. Num Pages: 524 pages, Illustrations. BIC Classification: TJF; UYD. Category: (P) Professional & Vocational. Dimension: 244 x 167 x 30. Weight in Grams: 978.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 524
- Condition
- New
- SKU
- V9780470030202
- ISBN
- 9780470030202
Paperback
Condition: New
€ 100.48
€ 100.48
Hardback. This work examines the computerization of large integrated health networks, with particular reference to the VA system. Editor(s): Kolodner, Robert M. (Veterans Health Administration, Washington DC, USA). Series: Health Informatics. Num Pages: 515 pages, 22 black & white tables, biography. BIC Classification: JKSW; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 929.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 515
- Condition
- New
- SKU
- V9780387948379
- ISBN
- 9780387948379
Hardback
Condition: New
€ 138.30
€ 138.30
Hardback. Service computing is a cutting-edge area, popular in both industry and academia. This edited volume by well-established researchers in this field, captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. Editor(s): Dong, June; Paul, Raymond; Zhang, Liang-Jie. Num Pages: 324 pages, 130 black & white illustrations, biography. BIC Classification: KJQ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9780387876573
- ISBN
- 9780387876573
Hardback
Condition: New
€ 200.55
€ 200.55
Proceedings of the 3rd European Conference on Computer Network Defense
. Ed(S): Siris, Vasilios A.; Anagnostakis, Ko...
hardcover. The European Conference on Computer and Network Defense addresses security from multiple perspectives. This includes research in computer network security, intrusion detection, denial-of-service, privacy protection, and incident response and management. Editor(s): Siris, Vasilios A.; Anagnostakis, Kostas; Ioannidis, Sotiris; Trimintzios, Panagiotis. Series: Lecture Notes in Electrical Engineering. Num Pages: 176 pages, 25 black & white illustrations, 11 black & white tables, biography. BIC Classification: TJF; TJK; UKN; UKR; UR; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 176
- Condition
- New
- Edition
- 2009th Edition
- SKU
- V9780387855547
- ISBN
- 9780387855547
Hardback
Condition: New
€ 194.05
€ 194.05
Hardback. This is a text that establishes a connection between market mechanisms and Internet applications. Researchers in performance, evaluation, networking and systems will find that this book provides an understanding of both theoretical and practical issues. Editor(s): Liu, Zhen; Xia, Cathy H. Num Pages: 219 pages, 49 black & white illustrations, 5 black & white tables, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9780387793603
- ISBN
- 9780387793603
Hardback
Condition: New
€ 128.21
€ 128.21
Hardback. A monograph that details the proceedings of the 15th International Conference on Information Systems Development. Editor(s): Magyar, Gabor; Knapp, Gabor; Wojtkowski, W. Gregory; Zupancic, Joze. Num Pages: 554 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 968.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 554
- Condition
- New
- SKU
- V9780387707600
- ISBN
- 9780387707600
Hardback
Condition: New
€ 260.47
€ 260.47
Hardback. Part of "Frontiers in Electronic Testing" book series, this book describes various advances in electronic circuits testing. Editor(s): Gizopoulos, Dimitris. Series: Frontiers in Electronic Testing. Num Pages: 437 pages, biography. BIC Classification: TBD; TJFC; TJFD; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 23. Weight in Grams: 899.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. 2006. 2nd printing 2006
- Number of pages
- 437
- Condition
- New
- SKU
- V9780387294087
- ISBN
- 9780387294087
Hardback
Condition: New
€ 197.01
€ 197.01