Computer programming / software development
Results 2101 - 2120 of 4079
Computer programming / software development
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
€ 191.15
€ 191.15
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. 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
€ 189.00
€ 189.00
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
€ 192.91
€ 192.91
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
€ 201.48
€ 201.48
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
€ 222.41
€ 222.41
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
€ 189.75
€ 189.75
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
€ 188.49
€ 188.49
hardcover. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. This work enables quick development of analysis tools. It provides both lexical scanner and parser generator tools as supplements. It is suitable as a textbook for an undergraduate or graduate level course on compiler technology. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 210 pages, biography. BIC Classification: UL; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1997th Edition
- Number of pages
- 210
- Condition
- New
- SKU
- V9780792380184
- ISBN
- 9780792380184
Hardback
Condition: New
€ 190.27
€ 190.27
hardcover. Introduces an alternative modeling framework in which arrivals are driven by a statistically self-similar underlying process, and are transient in nature. This book describes events as they play out at a range of time scales, from the operation of file buffers and storage control cache, to a statistical view of entire disk storage applications. Series: Advances in Database Systems. Num Pages: 133 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Boston Incorporated United States
- Edition
- 2002nd Edition
- Number of pages
- 133
- Condition
- New
- SKU
- V9780792379454
- ISBN
- 9780792379454
Hardback
Condition: New
€ 189.00
€ 189.00
Hardback. Comprises the proceedings of the First Software Product Line Conference (SPLC1), held August 28-31, 2000, in Denver, Colorado, USA. This book presents research results that cover various aspects of software product lines. It includes topics such as business issues, enabling technologies, organizational issues, and life-cycle issues. Editor(s): Donohoe, Patrick. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 532 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 945.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 532
- Condition
- New
- SKU
- V9780792379409
- ISBN
- 9780792379409
Hardback
Condition: New
€ 249.44
€ 249.44
Hardback. Appropriate for use as a graduate text, this book offers a survey of hardware and software description languages for embedded system design. It takes the view that different problems demand different languages, and a designer who knows the spectrum of available languages has the advantage over one who is trapped using the wrong language. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 306 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 306
- Condition
- New
- SKU
- V9780792379256
- ISBN
- 9780792379256
Hardback
Condition: New
€ 190.92
€ 190.92
Digital Systems Design and Prototyping: Using Field Programmable Logic...
Salcic, Zoran; Smailagic, Asim
hardcover. Covers the subject of digital systems design using two important technologies: Field Programmable Logic Devices (FPLDs) and Hardware Description Languages (HDLs). This book is accompanied by a CD-ROM that contains the Altera MAX+PLUS II development environment which is ready to compile and simulates all examples. Num Pages: 621 pages, biography. BIC Classification: TJFD; UK; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 34. Weight in Grams: 1216.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Boston Incorporated United States
- Edition
- 2nd ed. 2000
- Number of pages
- 621
- Condition
- New
- SKU
- V9780792379201
- ISBN
- 9780792379201
Hardback
Condition: New
€ 243.47
€ 243.47
Hardback. This book draws from a variety of sources including the travelling salesman problem (TSP) and graph theory, which are used and studied by operations research, engineers, computer scientists, and mathematicians. Editor(s): Dror, Moshe. Num Pages: 483 pages, biography. BIC Classification: PBV; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 896.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 483
- Condition
- New
- SKU
- V9780792378983
- ISBN
- 9780792378983
Hardback
Condition: New
€ 541.95
€ 541.95
Field-Programmable Custom Computing Technology: Architectures, Tools, ...
. Ed(S): Arnold, Jeffrey; Luk, Wayne; Pocek, ...
Hardback. Describes the advances in architectures, design methods, and applications of field-programmable devices for high-performance reconfigurable systems. This title is suitable for those working or researching in the field of custom computing technology. Editor(s): Arnold, Jeffrey; Luk, Wayne; Pocek, Ken. Num Pages: 136 pages, biography. BIC Classification: PHDS; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 203 x 13. Weight in Grams: 539.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF VLSI SIGNAL PROCESSING
- Number of pages
- 136
- Condition
- New
- SKU
- V9780792378037
- ISBN
- 9780792378037
Hardback
Condition: New
€ 122.33
€ 122.33
Hardback. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 292
- Condition
- New
- SKU
- V9780792377498
- ISBN
- 9780792377498
Hardback
Condition: New
€ 191.84
€ 191.84
Hardback. Suitable for those who are new to the field and wanted to know what "all this Verilog stuff is about." This work is easy to read, and it serves as a desktop reference. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 764.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 3 Rev ed
- Number of pages
- 356
- Condition
- New
- SKU
- V9780792376729
- ISBN
- 9780792376729
Hardback
Condition: New
€ 186.90
€ 186.90
Hardback. Explores techniques for applying knowledge discovery techniques to different web data sources, such as HTML documents, dictionaries, and more, in order to support the task of engineering and maintaining ontologies. This work is useful for researchers and developers of semantic web applications. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 244 pages, biography. BIC Classification: UM; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 166 x 20. Weight in Grams: 552.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 244
- Condition
- New
- SKU
- V9780792376569
- ISBN
- 9780792376569
Hardback
Condition: New
€ 127.60
€ 127.60
Hardback. Combines the issues of the hardware description language VHDL-AMS aimed at model representation of mixed-signal circuits and systems, of characterization methods and tools for the extraction of model parameters, and of modeling methodologies for accurate high-level behavioral models. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 162 pages, biography. BIC Classification: TJFD1; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 162
- Condition
- New
- SKU
- V9780792375982
- ISBN
- 9780792375982
Hardback
Condition: New
€ 189.37
€ 189.37
Hardback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 107 pages, biography. BIC Classification: TV; UM; UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 770.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 107
- Condition
- New
- SKU
- V9780792375753
- ISBN
- 9780792375753
Hardback
Condition: New
€ 241.06
€ 241.06