Computer programming / software development
Results 1441 - 1464 of 2927
Computer programming / software development
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. 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
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. 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
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. 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
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
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
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
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
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. 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. 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
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. 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
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
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
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
€ 242.76
€ 242.76
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. 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
€ 193.74
€ 193.74
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
€ 186.33
€ 186.33
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
€ 191.90
€ 191.90
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
€ 125.35
€ 125.35
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
€ 191.35
€ 191.35