Computer programming / software development
Results 1361 - 1380 of 2965
Computer programming / software development
Hardback. Focuses on the types of generalized convex sets and generalized concave functions. This book investigates decision-making and optimization problems under uncertainty. It outlines and discusses a combination of ideas and results from the field of generalized concavity and fuzzy optimization. Series: International Series in Operations Research & Management Science. Num Pages: 296 pages, biography. BIC Classification: PBCD; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 296
- Condition
- New
- SKU
- V9780792374954
- ISBN
- 9780792374954
Hardback
Condition: New
€ 133.82
€ 133.82
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
€ 133.04
€ 133.04
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
€ 200.09
€ 200.09
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
€ 128.32
€ 128.32
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
€ 569.01
€ 569.01
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
€ 260.19
€ 260.19
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
€ 197.11
€ 197.11
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.80
€ 197.80
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.90
€ 197.90
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
€ 231.99
€ 231.99
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.37
€ 199.37
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.94
€ 201.94
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.52
€ 195.52
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.70
€ 130.70
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.86
€ 211.86
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.46
€ 130.46
Hardback. Presents an exposition of major developments in uniform random number generation for practical use. This book emphasizes on practice in relation to the theoretical background of uniform random numbers. It is suitable for those interested in algorithmic methods for generating 'randomness' on a computer. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 209 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 209
- Condition
- New
- SKU
- V9780792395720
- ISBN
- 9780792395720
Hardback
Condition: New
€ 253.65
€ 253.65
Hardback. Presents a knowledge-based approach to the automation of program understanding that plays an important role in various software related tasks. This book is suitable for computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-use. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 136 pages, biography. BIC Classification: UMZ; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 9. Weight in Grams: 377.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 136
- Condition
- New
- SKU
- V9780792396055
- ISBN
- 9780792396055
Hardback
Condition: New
€ 127.76
€ 127.76
Hardback. Presents a novel approach to decentralized process modeling that combines both trends and suggests a paradigm for decentralized PCEs, supporting concerted efforts among geographically-dispersed teams with emphasis on flexible control over the degree of collaboration versus autonomy provided. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 301 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 301
- Condition
- New
- SKU
- V9780792396314
- ISBN
- 9780792396314
Hardback
Condition: New
€ 200.26
€ 200.26
Hardback. Presents a logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1240.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9780792396635
- ISBN
- 9780792396635
Hardback
Condition: New
€ 132.94
€ 132.94