.png){kind=logo}
Computer programming / software development
Results 2561 - 2580 of 8428
Computer programming / software development
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. Presents ARCH, a library built as an extension to MPI. This book describes the built-in classes, and illustrates their use through several template application cases in several fields of interest including: Distributed Algorithms; Parallel Combinatorial Optimization; and, Parallel Image-Processing. It is intended for researchers and practitioners. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 185 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1030.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 185
- Condition
- New
- SKU
- V9780792381655
- ISBN
- 9780792381655
Hardback
Condition: New
€ 197.86
€ 197.86
Hardback. Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 247
- Condition
- New
- SKU
- V9780792381846
- ISBN
- 9780792381846
Hardback
Condition: New
€ 232.06
€ 232.06
Hardback. The Verilog hardware description language provides the ability to describe digital and analog systems for design concepts and implementation. It was developed originally at Gateway Design and implemented there. This book introduces the language and describes that features of the language using semantic introduction, syntax and examples. Num Pages: 464 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1900.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 464
- Condition
- New
- SKU
- V9780792381884
- ISBN
- 9780792381884
Hardback
Condition: New
€ 211.27
€ 211.27
hardcover. An introduction to the different tasks of hardware/software co-design including system specification, hardware/software partitioning, co-synthesis and co-simulation. The book summarizes and classifies state-of-the-art co-design tools and methods for these tasks. Num Pages: 224 pages, biography. BIC Classification: T; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 254 x 178 x 15. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1998th Edition
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792382997
- ISBN
- 9780792382997
Hardback
Condition: New
€ 201.16
€ 201.16
Hardback. Constraint Logic Programming (CLP) extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. This book presents parallel and constraint logic programming, offering a basic understanding of the two fields. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 145 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 145
- Condition
- New
- SKU
- V9780792383710
- ISBN
- 9780792383710
Hardback
Condition: New
€ 197.17
€ 197.17
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. This collection of papers covers a wide spectrum of computational optimization topics, representing a blend of familiar nonlinear programming topics and such novel paradigms as semidefinite programming and complementarity-constrained nonlinear programs. Editor(s): Pang, John-Shi. Num Pages: 273 pages, biography. BIC Classification: KJT; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1999th Edition
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792384137
- ISBN
- 9780792384137
Hardback
Condition: New
€ 199.33
€ 199.33
Hardback. Presents the state-of-practice and research in the area of software architecture. This book details critical problems and their possible solutions in the field and identifies the gaps between business needs and research results and attempts to provide a bridge between them. Editor(s): Donohoe, Patrick. Series: IFIP Advances in Information and Communication Technology. Num Pages: 616 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 1039.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 616
- Condition
- New
- SKU
- V9780792384533
- ISBN
- 9780792384533
Hardback
Condition: New
€ 253.30
€ 253.30
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
€ 201.90
€ 201.90
Hardback. Offers a framework to design and analyze strategies for randomized quasi-Monte Carlo (RQMC). This book provides illustrations for problems involving Poisson processes or Gaussian processes. It is useful for those individuals interested in improving simulation efficiency with more than incremental increases. Series: International Series in Operations Research & Management Science. Num Pages: 368 pages, biography. BIC Classification: PBT; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 368
- Condition
- New
- SKU
- V9780792385806
- ISBN
- 9780792385806
Hardback
Condition: New
€ 202.02
€ 202.02
Behavioral Specifications of Businesses and Systems
. Ed(S): Kilov, Haim; Rumpe, Bernhard; Simmon...
Hardback. This text covers the reading, writing and understanding of specifications. It describes useful concepts and practices (in programming and in specifications) and solid underlying theory that is of interest to those who deal with complexity of business and systems. Editor(s): Kilov, Haim; Rumpe, Bernhard; Simmonds, Ian. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 315 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 315
- Condition
- New
- SKU
- V9780792386292
- ISBN
- 9780792386292
Hardback
Condition: New
€ 195.58
€ 195.58
Hardback. Describes possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. This book focuses on stable adaptive fuzzy control systems, partial evaluations and fuzzy reasoning, and fuzzy wavelet neural networks. Editor(s): Chen, Guoqing; Ying, Mingsheng; Cai, Kai-Yuan. Series: The International Series on Asian Studies in Computer and Information Science. Num Pages: 294 pages, biography. BIC Classification: PBWX; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9780792386506
- ISBN
- 9780792386506
Hardback
Condition: New
€ 200.21
€ 200.21
Hardback. Describes the application of genetic programming to software re-engineering in general and automatic parallelization specifically. This book evolves sequences of provable transformations than actual programs. It shows that there are applications where it is more practical to use GP to assist with software engineering rather than to replace it. Series: Genetic Programming. Num Pages: 140 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 140
- Condition
- New
- SKU
- V9780792386537
- ISBN
- 9780792386537
Hardback
Condition: New
€ 130.74
€ 130.74
Hardback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792390992
- ISBN
- 9780792390992
Hardback
Condition: New
€ 200.77
€ 200.77
Hardback. Includes chapters pertaining to the developments in real-time systems engineering. This book provides an overview of real-time processing, and presents theoretical foundations. It introduces useful modeling concepts and tools. It is useful for academic and industrial researchers as well as a textbook for computing and engineering courses. Editor(s): Schiebe, Michael; Pferrer, Saskia. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 444 pages, biography. BIC Classification: UM; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 1820.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 444
- Condition
- New
- SKU
- V9780792391968
- ISBN
- 9780792391968
Hardback
Condition: New
€ 258.47
€ 258.47
hardcover. Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. This title provides a functional framework within which the different traditional techniques are restated and unified. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 158 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 11. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer United States
- Edition
- 1993rd Edition
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792393764
- ISBN
- 9780792393764
Hardback
Condition: New
€ 131.06
€ 131.06
Hardback. LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This title describes a 5 year project that moved LOTOS out of the ISO tower into software engineering practice. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 488
- Condition
- New
- SKU
- V9780792395294
- ISBN
- 9780792395294
Hardback
Condition: New
€ 211.82
€ 211.82
Hardback. Presents a series of simulations that demonstrate the efficiency of a simple cleaning policy based on cost and benefit. This book describes a prototype log-structured file system called Sprite LFS. It demonstrates how a log-structured file system can be used more efficiently than existing file systems. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 132 pages, biography. BIC Classification: UMB; UNS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 387.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 132
- Condition
- New
- SKU
- V9780792395416
- ISBN
- 9780792395416
Hardback
Condition: New
€ 130.50
€ 130.50
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