Computer programming / software development
Results 1897 - 1920 of 3495
Computer programming / software development
Hardback. The IEEE 1364-2001 standard, nicknamed 'Verilog-2001', is the first update to the Verilog language since its inception in 1984. This book presents 45 enhancements contained in Verilog-2001 standard. It describes ANSI C style port declarations for modules, primitives, tasks and functions; and, automatic tasks and functions. Editor(s): Sutherland, Stuart. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 135 pages, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 870.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 135
- Condition
- New
- SKU
- V9780792375685
- ISBN
- 9780792375685
Hardback
Condition: New
€ 130.38
€ 130.38
Hardback. The field of metaheuristics has been fast evolving. This volume presents essays on some of the main optimization strategies, including: simulated annealing; tabu search; genetic algorithms; scatter search; greedy randomized adaptive search; and variable neighbourhood search. Editor(s): Hansen, Pierre; Ribeiro, Celso C. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 651 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 161 x 43. Weight in Grams: 1138.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 651
- Condition
- New
- SKU
- V9780792375203
- ISBN
- 9780792375203
Hardback
Condition: New
€ 254.01
€ 254.01
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
€ 135.00
€ 135.00
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
€ 202.20
€ 202.20
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
€ 255.76
€ 255.76
Hardback. Presents the system design flow following an example through the whole process. This book describes the steps in pictorial form and with code examples in SpecC. It is intended for designers and design managers of complex SOCs, or embedded systems in general. Num Pages: 255 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 255
- Condition
- New
- SKU
- V9780792373872
- ISBN
- 9780792373872
Hardback
Condition: New
€ 201.14
€ 201.14
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
€ 71.38
€ 71.38
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.66
€ 130.66
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
€ 201.93
€ 201.93
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.48
€ 256.48
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.21
€ 255.21
Workload Characterization of Emerging Computer Applications
. Ed(S): John, Lizy Kurian; Maynard, Ann Mari...
Hardback. Accurate characterization of applications leads to efficient design of high performing architectures. This book includes ten chapters on various aspects of characterization. It can also be used as a text in graduate-level courses on system design. Editor(s): John, Lizy Kurian; Maynard, Ann Marie Grizzaffi. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 231 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 231
- Condition
- New
- SKU
- V9780792373155
- ISBN
- 9780792373155
Hardback
Condition: New
€ 253.71
€ 253.71
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 133.14
€ 133.14
Hardback. Includes problem formulation, numerical optimization algorithms, filter robustness issues and practical examples of the application of envelope constrained filter design. This work is useful for postgraduate students, researchers in optimization and telecommunications engineering, and applied mathematicians. Series: Applied Optimization. Num Pages: 350 pages, biography. BIC Classification: PBW; TJFC; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 350
- Condition
- New
- SKU
- V9780792371380
- ISBN
- 9780792371380
Hardback
Condition: New
€ 202.72
€ 202.72
Hardback. Editor(s): Migdalas, Athanasios; Pardalos, Panos M.; Varbrand, Peter (Linkoping Institute of Technology, Sweden). Series: Nonconvex Optimization and Its Applications. Num Pages: 358 pages, biography. BIC Classification: PBU; PBW; UM. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 358
- Condition
- New
- SKU
- V9780792368830
- ISBN
- 9780792368830
Hardback
Condition: New
€ 200.93
€ 200.93
Hardback. Analyzes the issues of loss of accuracy, recovery of original variables (disaggregation), and compatibility conditions. This book also analyzes the method of iterative aggregation in large-scale problems. For fixed weights, it solves simpler aggregated problems. Series: Applied Optimization. Num Pages: 324 pages, biography. BIC Classification: GPFC; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9780792368175
- ISBN
- 9780792368175
Hardback
Condition: New
€ 200.15
€ 200.15
Paperback. Covers the fundamentals in global optimization. This edition includes algorithms, applications, and complexity results for quadratic programming, concave minimization, DC and Lipshitz problems, decomposition algorithms for nonconvex optimization, and nonlinear network flow problems. Each chapter contains illustrative examples. Series: Nonconvex Optimization and Its Applications. Num Pages: 368 pages, biography. BIC Classification: PBU; PBW; UM. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1150.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 368
- Condition
- New
- SKU
- V9780792367567
- ISBN
- 9780792367567
Paperback
Condition: New
€ 209.55
€ 209.55
Hardback. A collection of results in various fields of theoretical and applied optimization and related topics. It contains survey papers on second order non-smooth analysis, based on subjects, multiplicative programs and C-programming, optimal algorithms in emergent computation, the extremal principle and its applications. Editor(s): Rubinov, Alexander M. (University of Ballarat); Glover, Barney M. Series: Applied Optimization. Num Pages: 476 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 846.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 476
- Condition
- New
- SKU
- V9780792367321
- ISBN
- 9780792367321
Hardback
Condition: New
€ 205.26
€ 205.26
Hardback. Studies the problems of determining minimum cost link capacities in order to satisfy a given set of requirements, that is the network synthesis problem, restoration of which is a special application. This monograph presents a literature review, mathematical formulations, and a complexity analysis. Series: Combinatorial Optimization. Num Pages: 228 pages, biography. BIC Classification: PBW; TJK; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9780792366898
- ISBN
- 9780792366898
Hardback
Condition: New
€ 131.97
€ 131.97
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 262.13
€ 262.13
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 257.85
€ 257.85
Global Optimization with Non-Convex Constraints: Sequential and Parall...
Strongin, Roman G.; Sergeyev, Yaroslav D.
hardcover. Problem dimensionality is reduced through space-filling curves. This book presents an approach to global non-convex constrained optimization. It is intended for researchers and students working in optimization, applied mathematics, and computer science. Series: Nonconvex Optimization and Its Applications. Num Pages: 732 pages, 1 black & white illustrations, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 39. Weight in Grams: 2630.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Boston Incorporated United States
- Edition
- 2000th Edition
- Number of pages
- 732
- Condition
- New
- SKU
- V9780792364900
- ISBN
- 9780792364900
Hardback
Condition: New
€ 353.99
€ 353.99
Hardback. Studies the problem of designing, at minimal cost, a two-connected network such that each edge belongs to a cycle of bounded length. This book also studies the underlying polyhedron, proposing several classes of facet-defining inequalities that are used in a branch-and-cut algorithm. Series: Network Theory and Applications. Num Pages: 204 pages, 12 black & white illustrations, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1100.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 204
- Condition
- New
- SKU
- V9780792364146
- ISBN
- 9780792364146
Hardback
Condition: New
€ 133.21
€ 133.21
Optimization in Computational Chemistry and Molecular Biology
. Ed(S): Floudas, C.A.; Pardalos, Panos M.
Hardback. Editor(s): Floudas, C.A.; Pardalos, Panos M. Series: Nonconvex Optimization and Its Applications. Num Pages: 349 pages, biography. BIC Classification: PBU; PBW; UM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 349
- Condition
- New
- SKU
- V9780792361558
- ISBN
- 9780792361558
Hardback
Condition: New
€ 202.72
€ 202.72