Computer programming / software development
Results 1585 - 1608 of 2960
Computer programming / software development
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 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. 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. 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
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. 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
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. 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
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. 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
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. 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
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
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. 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
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. 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. This title introduces advances in the field of genetic algorithm optimization for 0-1 programming, integer programming, nonconvex programming, and job-shop scheduling problems under multiobjectiveness and fuzziness. In addition, the book treats a wide range of actual real world applications. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 288 pages, biography. BIC Classification: PBW; UM; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 603.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 288
- Condition
- New
- SKU
- V9780792374527
- ISBN
- 9780792374527
Hardback
Condition: New
€ 199.87
€ 199.87
Hardback. Constraint Programming is a problem-solving paradigm that establishes a distinction between two aspects of a problem: a definition of the constraints that define the problem to be solved and the algorithms and heuristics enabling the selection of decisions to solve the problem. This book covers various Constraint-Based Scheduling techniques. Series: International Series in Operations Research & Management Science. Num Pages: 198 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 161 x 19. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 198
- Condition
- New
- SKU
- V9780792374084
- ISBN
- 9780792374084
Hardback
Condition: New
€ 253.50
€ 253.50
Hardback. Focuses on decision problems where the performance is measured in terms of money. This book demonstrates that scheduling must be combined with project financing, and that scheduling helps to give an answer to the planning issue of the amount of resources required. It also makes clear the relevance of scheduling to cutting budget costs. Series: International Series in Operations Research & Management Science. Num Pages: 187 pages, biography. BIC Classification: KJMV5; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1030.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 187
- Condition
- New
- SKU
- V9780792373865
- ISBN
- 9780792373865
Hardback
Condition: New
€ 70.77
€ 70.77
Hardback. Consists seven papers originally presented at the Fifth Workshop on Interaction between Compilers and Computer Architectures (INTERACT-5). This volume explores developments and ideas for better integration of the interaction between compilers and computer architectures in designing modern processors and computer systems. Editor(s): Lee, Gyungho; Yew, Pen-Chung. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 143 pages, biography. BIC Classification: UMC; UYF. Category: (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 910.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 143
- Condition
- New
- SKU
- V9780792373704
- ISBN
- 9780792373704
Hardback
Condition: New
€ 130.79
€ 130.79
Hardback. Discusses topics such as: start-up verification; the place for 4-state simulation; race conditions; RTL-style-synthesizable RTL; and more 'bad stuff'. This work tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. Num Pages: 306 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 159 x 24. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 306
- Condition
- New
- SKU
- V9780792373681
- ISBN
- 9780792373681
Hardback
Condition: New
€ 200.14
€ 200.14
Hardback. Scientific applications involve large computations that strain the resources of whatever computers are available. This book addresses methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, and the role of object-oriented languages. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 378
- Condition
- New
- SKU
- V9780792373391
- ISBN
- 9780792373391
Hardback
Condition: New
€ 256.74
€ 256.74
Hardback. Addresses the problems and issues surrounding diffusion of innovations in software. This book provides a framework for evaluating and applying technology transfer methods. It covers topics such as implementation and coordination issues, interpretations of diffusion theory, diffusion of software processes, and contextual factors. Editor(s): Ardis, Mark A.; Marcolin, Barbara L. Series: IFIP Advances in Information and Communication Technology. Num Pages: 316 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 625.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9780792373315
- ISBN
- 9780792373315
Hardback
Condition: New
€ 255.48
€ 255.48