Computing
Results 2713 - 2736 of 9383
Computing
hardcover. Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic. Editor(s): Kamareddine, Fairouz D. Series: Applied Logic Series. Num Pages: 320 pages, biography. BIC Classification: UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 647.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 320
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402016561
- ISBN
- 9781402016561
Hardback
Condition: New
€ 134.21
€ 134.21
Hardback. Addresses the environmental impacts and management of computers through a set of analyses on issues ranging from environmental assessment, technologies for recycling, consumer behaviour, strategies of computer manufacturing firms, and government policies. Editor(s): Kuehr, Ruediger (United Nations University, Zero Emissions Forum, European Focal Point, Hamburg, Germany); Williams, Eric (United Nations University, Environmental and Sustainable Development Programme, Tokyo, Japan). Series: Eco-Efficiency in Industry & Science. Num Pages: 285 pages, biography. BIC Classification: RNP; UBJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 285
- Condition
- New
- SKU
- V9781402016790
- ISBN
- 9781402016790
Hardback
Condition: New
€ 73.34
€ 73.34
Paperback. Addresses the environmental impacts and management of computers through a set of analyses on issues ranging from environmental assessment, technologies for recycling, consumer behaviour, strategies of computer manufacturing firms, and government policies. Editor(s): Kuehr, Ruediger (United Nations University, Zero Emissions Forum, European Focal Point, Hamburg, Germany); Williams, Eric (United Nations University, Environmental and Sustainable Development Programme, Tokyo, Japan). Series: Eco-Efficiency in Industry & Science. Num Pages: 285 pages, biography. BIC Classification: RNP; UBJ. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 240 x 160 x 15. Weight in Grams: 523.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 285
- Condition
- New
- SKU
- V9781402016806
- ISBN
- 9781402016806
Paperback
Condition: New
€ 70.04
€ 70.04
Hardback. Presents papers presented at International Conference on Enterprise Information Systems, ICEIS'2003. This book is of interest to information technology professionals, especially those working in the fields of Systems integration, databases, decision support systems, agents and internet computing. Editor(s): Camp, Olivier; Filipe, Joaquim B. L.; Hammoudi, Slimane; Piattini, Mario. Num Pages: 332 pages, biography. BIC Classification: KJQ; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 332
- Condition
- New
- SKU
- V9781402017261
- ISBN
- 9781402017261
Hardback
Condition: New
€ 251.45
€ 251.45
Hardback. Investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level. This book gives an overview of transaction models, and analyzes their suitability for concurrent programming languages. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: UMN. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 19. Weight in Grams: 612.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 279
- Condition
- New
- SKU
- V9781402017278
- ISBN
- 9781402017278
Hardback
Condition: New
€ 128.92
€ 128.92
Hardback. Call-by-push-value is a programming language paradigm that breaks down the call-by-value and call-by-name paradigms into simple primitives. Aimed at graduate students and researchers, this monograph presents the call-by-push-value structure underlying semantics, including operational semantics, domains, possible worlds, continuations, and games. Series: Semantics Structures in Computation. Num Pages: 352 pages, biography. BIC Classification: TJFD; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 733.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 352
- Condition
- New
- SKU
- V9781402017308
- ISBN
- 9781402017308
Hardback
Condition: New
€ 229.34
€ 229.34
Hardback. Aims to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. This book explains computer programs, and includes applications and corresponding numerical tests. It is designed to bridge the gap between mathematical abstract algorithms and concrete numerical ones. Series: Solid Mechanics and its Applications. Num Pages: 340 pages, biography. BIC Classification: PBKQ; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402017711
- ISBN
- 9781402017711
Hardback
Condition: New
€ 195.58
€ 195.58
Hardback. Brings together various branches of artificial intelligence with argumentation and rhetoric. This book aims to play a key role in the establishment of a different field of scholarly research. It not only offers in-depth assessments of research, but also lays out a roadmap for the work in this emerging cross-disciplinary field. Editor(s): Norman, Timothy J.; Reed, Chris. Series: Argumentation Library. Num Pages: 265 pages, biography. BIC Classification: UDB. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 246 x 166 x 20. Weight in Grams: 564.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 265
- Condition
- New
- SKU
- V9781402018114
- ISBN
- 9781402018114
Hardback
Condition: New
€ 199.15
€ 199.15
Hardcover. Adopting an informational perspective towards knowledge work, this book investigates how enterprise portals can promote knowledge creation, distribution, and use. It explores the human issues surrounding enterprise portal adoption and use, as well as the utilization of intelligent agents to ameliorate the use of portals for knowledge-based tasks. Series: Information Science and Knowledge Management. Num Pages: 234 pages, biography. BIC Classification: UDB. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 250 x 169 x 18. Weight in Grams: 540.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2004th Edition
- Number of pages
- 252
- Condition
- New
- SKU
- V9781402020537
- ISBN
- 9781402020537
Hardback
Condition: New
€ 132.50
€ 132.50
Engineering Theories of Software Intensive Systems: Proceedings of the...
Broy, Manfred, Harel, David, Hoare, Tony, Gru...
Paperback. Draws from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held in Germany in 2004. Examining software engineering techniques and foundations used for industrial tasks, this book presents mathematical foundations of software engineering and engineering methods in their theoretical substance. Editor(s): Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony. Series: NATO Science Series II. Num Pages: 404 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9781402035319
- ISBN
- 9781402035319
Paperback
Condition: New
€ 254.82
€ 254.82
Hardback. Contains selected articles from PRO-VE'02, the third working conference on Infrastructures for Virtual Enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Sesimbra, Portugal in May 2002. Editor(s): Camarinha-Matos, Luis M. Series: IFIP Advances in Information and Communication Technology. Num Pages: 648 pages, biography. BIC Classification: KJE; UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1083.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 648
- Condition
- New
- SKU
- V9781402070204
- ISBN
- 9781402070204
Hardback
Condition: New
€ 197.66
€ 197.66
Hardback. Deals with the study of optical crosstalk in WDM crossconnected networks. This book presents a framework to analyze crosstalk efficiently and accurately. It also presents several techniques to estimate the effect of interferometric crosstalk in optical WDM systems. It elaborates experimental verifications of the proposed models. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 219 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9781402070266
- ISBN
- 9781402070266
Hardback
Condition: New
€ 132.05
€ 132.05
Hardback. Contains a collection of papers providing a snapshot of hardware support for Java. This book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently. Editor(s): Narayanan, Vijaykrishnan; Wolczko, Mario L. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 252 pages, biography. BIC Classification: UMW; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781402070341
- ISBN
- 9781402070341
Hardback
Condition: New
€ 133.04
€ 133.04
Hardback. Failures of system components, can be viewed as undesirable events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. This work explores significant issues in all three strands. Editor(s): Ezhilchelvan, Paul; Romanovsky, Alexander. Num Pages: 310 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 310
- Condition
- New
- SKU
- V9781402070433
- ISBN
- 9781402070433
Hardback
Condition: New
€ 200.47
€ 200.47
Hardback. Describes the paradigm that is used in one-pass synthesis. This book discusses the theoretical and practical aspects and gives minimization algorithms. Num Pages: 182 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9781402070440
- ISBN
- 9781402070440
Hardback
Condition: New
€ 131.35
€ 131.35
Hardback. As voice communications are substituted by data communications, software - rather than terminals or networks - has become the driver of the wireless industry. This book looks at the specialization of services, benefits of the mobile Internet, controversial license auctions in several lead markets, dated or mistaken regulatory policies, and more. Editor(s): Steinbock, Dan; Noam, Eli M. Num Pages: 231 pages, biography. BIC Classification: KNTX; TJKR; UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 231
- Condition
- New
- SKU
- V9781402070563
- ISBN
- 9781402070563
Hardback
Condition: New
€ 132.10
€ 132.10
Hardback. Proposes the methodology and engineering environment CoMoMAS for the development of multi-agent systems. This book is suitable for researchers and practitioners in the area of distributed systems development. Series: Multiagent Systems, Artificial Societies, and Simulated Organizations. Num Pages: 265 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 900.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 265
- Condition
- New
- SKU
- V9781402070617
- ISBN
- 9781402070617
Hardback
Condition: New
€ 130.70
€ 130.70
Hardback. Provides a comprehensive review of both methodologies and applications of simulation and modeling. Here, the methodology section includes such topics as the philosophy of simulation, inverse problems in simulation, simulation model compilers, treatment of ill-defined systems, and a survey of simulation languages. Editor(s): Bekey, George A.; Kogan, Boris Y. Num Pages: 292 pages, biography. BIC Classification: GPFC; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 292
- Condition
- New
- SKU
- V9781402070624
- ISBN
- 9781402070624
Hardback
Condition: New
€ 200.14
€ 200.14
hardcover. Offers an analysis of asynchronous circuit family. This book covers circuit theory, practical circuits, design tools and includes an example of the design of a simple asynchronous microprocessor using the circuit family. It is useful to industrial and academic researcher working on high-speed VLSI systems. Num Pages: 232 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- Edition
- 2002nd Edition
- SKU
- V9781402070686
- ISBN
- 9781402070686
Hardback
Condition: New
€ 132.17
€ 132.17
Hardback. Suitable for both academic and professional researchers working in the areas of multimedia security, information embedding, and communication, this book addresses watermarking problems in terms of second-generation insights. It provides an overview of important results on capacity and security. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 182 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 12. Weight in Grams: 471.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 182
- Condition
- New
- SKU
- V9781402070716
- ISBN
- 9781402070716
Hardback
Condition: New
€ 127.88
€ 127.88
Hardback. Covers the methods for modeling and analyzing IC interconnect and offers coverage of delay metrics, including the ubiquitous Elmore delay and its many variations. This book outlines moment matching methods, calculating moments efficiently, and Krylov subspace methods for model order reduction. Num Pages: 310 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 310
- Condition
- New
- SKU
- V9781402070754
- ISBN
- 9781402070754
Hardback
Condition: New
€ 200.26
€ 200.26
Hardback. Describes a fresh approach to graceful degradation in the face of network heterogeneity - distributed adaptation - in which adaptive code is deployed at multiple points within a network. This work introduces new techniques that enable distributed adaptation, making it automatic, reliable, and secure. It also presents evidence using case studies. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9781402070877
- ISBN
- 9781402070877
Hardback
Condition: New
€ 132.70
€ 132.70
Hardback. Including design reuse of the Alpha CPU in 0.13 micron SOI technology, this title helps to improve some of the practices in chip design. It offers a comprehensive reference work on Automatic Layout Modification which can be useful to VLSI courses at universities, and to CAD and circuit engineers and engineering managers. Num Pages: 226 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 226
- Condition
- New
- SKU
- V9781402070914
- ISBN
- 9781402070914
Hardback
Condition: New
€ 132.38
€ 132.38
Hardback. Explores the area of computational media aesthetics. This book outlines strategic means and methods to derive high-level semantic constructs from automatic analysis of media. It is suitable as a text in courses on multimedia and informational retrieval. Editor(s): Dorai, Chitra; Venkatesh, Sventha. Series: The International Series in Video Computing. Num Pages: 198 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 4
- Number of pages
- 198
- Condition
- New
- SKU
- V9781402071027
- ISBN
- 9781402071027
Hardback
Condition: New
€ 132.05
€ 132.05