×


 x 

Shopping cart

Computer science

Results 15961 - 15984 of 16706

Computer science

hardcover. Offers an overview of formal verification methods, combined with an analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design. This title provides the theoretical background required to present such methods and advanced techniques. Num Pages: 180 pages, 40 black & white illustrations, 13 black & white tables, biography. BIC Classification: TJ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 460.
Format
Hardback
Publication date
2005
Publisher
Springer/Sci-Tech/Trade United States
Number of pages
180
Condition
New
Edition
2006th Edition
SKU
V9780387244112
ISBN
9780387244112
Hardback
Condition: New

€ 122.01

Hardback. Evolvable hardware (EHW) refers to hardware whose architecture/structure and functions change dynamically and autonomously in order to improve its performance in carrying out tasks. This title teaches the basics of reconfigurable devices, why they are necessary and how they are designed. Editor(s): Higuchi, Tetsuya (National Institute of Advanced Industrial Science and Technology, Ibaraki, Japan); Lui, Yong; Yao, Xin. Series: Genetic and Evolutionary Computation. Num Pages: 224 pages, 25 black & white tables, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 509.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Number of pages
224
Condition
New
SKU
V9780387243863
ISBN
9780387243863
Hardback
Condition: New

€ 126.19

Hardback. On September 11, 2001 the World became cognizant of the security challenges it faces on an international scale, with an awareness prompting various communities to help the world meet an array of security challenges. This book presents a systematic national security research framework, and discusses IT technical components, and directions. Series: Integrated Series in Information Systems. Num Pages: 182 pages, biography. BIC Classification: JPA; KJQ; UKR; UMB; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 164 x 18. Weight in Grams: 436.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Number of pages
182
Condition
New
SKU
V9780387243795
ISBN
9780387243795
Hardback
Condition: New

€ 237.23

Hardback. Following a brief review of data mining and agent technology fields, this book presents a methodology for developing multi-agent systems, as well as describes available open-source tools, and demonstrates the application of the methodology on three different cases. Series: Multiagent Systems, Artificial Societies, and Simulated Organizations. Num Pages: 206 pages, 77 black & white illustrations, 45 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 499.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Edition
1st ed. 2005. Corr. 2nd printing 2006
Number of pages
206
Condition
New
SKU
V9780387243528
ISBN
9780387243528
Hardback
Condition: New

€ 121.83

Hardback. Focuses on sequential pattern mining. This book provides a set of tools for analyzing and understanding the nature of various sequences by identifying the specific models of sequential patterns that are suitable. It is useful for researchers and practitioners in industry, and for graduate-level students in computer science. Series: Advances in Database Systems. Num Pages: 163 pages, 14 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 950.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
163
Condition
New
SKU
V9780387242460
ISBN
9780387242460
Hardback
Condition: New

€ 124.66

Hardback. Covers the early era of Nordic computing (1950s to 1980s). This book deals with the aspects of Nordic computing such as the development of early computer hardware, development of basic software and compilers, design and implementation of early applications in engineering, and more. It is useful for academic and professional researchers. Editor(s): Bubenko, Janis A.; Impagliazzo, John; Solvberg, Arne. Series: IFIP Advances in Information and Communication Technology. Num Pages: 507 pages, 5 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 242 x 158 x 33. Weight in Grams: 872.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
507
Condition
New
SKU
V9780387241678
ISBN
9780387241678
Hardback
Condition: New

€ 124.54

Hardback. Bridges a gap between the needs of the technical engineer and cognitive researchers working in the multidisciplinary area of speech technology applications. This book includes tools on how to analyze the design, different design theories and process, and methods about how to understand users. Num Pages: 382 pages, biography. BIC Classification: TJK; UYU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1660.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
382
Condition
New
SKU
V9780387241555
ISBN
9780387241555
Hardback
Condition: New

€ 129.13

Hardback. A reference for both academic and professional researchers in the field of security and trust. The papers presented in this volume address the challenges posed by "ambient intelligence space" as a future paradigm and the need for a set of concepts, tools and methodologies to enable the user's trust in the underlying computing infrastructure. Editor(s): Dimitrakos, Theo; Martinelli, Fabio. Series: IFIP Advances in Information and Communication Technology. Num Pages: 256 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 542.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
256
Condition
New
SKU
V9780387240503
ISBN
9780387240503
Hardback
Condition: New

€ 126.25

hardcover. Presents chapters dealing with various aspects of the subject, including optimization problems and algorithmic approaches for discrete problems. This is a supplementary volume to the major three-volume "Handbook of Combinatorial Optimization" set, as well as the "Supplement Volume A". Num Pages: 402 pages, biography. BIC Classification: PBUH; PBV; PBW; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 742.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
402
Condition
New
Edition
2005th Edition
SKU
V9780387238296
ISBN
9780387238296
Hardback
Condition: New

€ 192.04

Hardback. Presents information in a user-friendly. This title can act as a reference for more experienced engineers or as an introductory guide for engineers and college graduates. Num Pages: 250 pages, biography. BIC Classification: THR; TJFC; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 15. Weight in Grams: 532.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
250
Condition
New
SKU
V9780387237992
ISBN
9780387237992
Hardback
Condition: New

€ 126.05

Hardback. Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. This monograph provides methods for building flexible, predictable soft real-time systems, in order to optimize resources and reduce costs. It is a useful reference for developers, as well as researchers and students in Computer Science. Series: Series in Computer Science. Num Pages: 275 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 590.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
275
Condition
New
SKU
V9780387237015
ISBN
9780387237015
Hardback
Condition: New

€ 122.43

Hardback. Provides an introduction to cross-layer design in wireless networks. This book discusses topics such as multiuser detection, integrated radio resource allocation, and integrated admission control. It is useful for engineers, researchers and students working in communication networks. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 202 pages, 61 black & white illustrations, 9 black & white tables, biography. BIC Classification: TBD; THRB; TJK; UKN; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 494.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
202
Condition
New
SKU
V9780387236971
ISBN
9780387236971
Hardback
Condition: New

€ 121.80

Hardback. Here is a thorough, not-too-complex introduction to the technical foundations for multimedia applications across the Internet: communications (principles, technologies and networking); compressive encoding of digital media; and Internet protocol and services. The book is well-suited to non-specialists with some technical background. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 384 pages, 317 black & white illustrations, biography. BIC Classification: TJK; UG; UKN; UKR; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 735.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Edition
1st ed. 2005. Corr. 2nd printing 2006
Number of pages
384
Condition
New
SKU
V9780387236810
ISBN
9780387236810
Hardback
Condition: New

€ 128.93

Hardback. Presents new results in the design of embedded control systems, each chapter authored by an expert. This text focuses on issues with approaches for the analysis and synthesis of discrete systems and is aimed at programmable logic controllers and their specification and design. It is useful for engineers and academics. Editor(s): Adamski, Marian Andrzej; Karatkevich, Andrei; Wegrzyn, Marek. Num Pages: 267 pages, biography. BIC Classification: THR; UGC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 576.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
267
Condition
New
SKU
V9780387236308
ISBN
9780387236308
Hardback
Condition: New

€ 126.68

Hardback. Presents an approach to the construction of a visual system. This work aims to characterize the process of visual categorization and find a suitable representation format that can deal with the structural variability. It reviews various theories of visual object and shape recognition in the fields of computer vision, neuroscience and psychology. Num Pages: 140 pages, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 399.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
140
Condition
New
SKU
V9780387234687
ISBN
9780387234687
Hardback
Condition: New

€ 188.46

Hardback. Serves as a useful reference for the research on Grid technologies. This volume addresses such vital issues as the architecture of the Grid, the way software influences the development of the Grid, and the practical applications of Grid technologies for individuals and businesses. Editor(s): Getov, Vladimir; Kielmann, Thilo. Num Pages: 206 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 470.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
206
Condition
New
SKU
V9780387233512
ISBN
9780387233512
Hardback
Condition: New

€ 188.25

Hardback. Contains contributions by leading international researchers and professionals from both the web services and Multi-Agent Systems (MAS) community, addressing the growing impact of Multi-Agent Systems on web services tools and techniques. Editor(s): Cavedon, Lawrence; Maamar, Zakaria; Martin, David M.; Benatallah, Boualem. Series: Multiagent Systems, Artificial Societies, and Simulated Organizations. Num Pages: 332 pages, 50 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
332
Condition
New
SKU
V9780387233437
ISBN
9780387233437
Hardback
Condition: New

€ 191.47

Hardback. Explores the interaction between theory and practice in the cutting-edge, machine learning method of Genetic Programming (GP). This work contains chapters that include such topics as financial trading rules, industrial statistical model building, population sizing, stock picking, topological synthesis of robust systems, and algorithmic chemistry. Editor(s): O'Reilly, Una-May; Yu, Tina; Riolo, Rick; Worzel, Bill. Series: Genetic Programming. Num Pages: 320 pages, 50 black & white tables, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1450.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
320
Condition
New
SKU
V9780387232539
ISBN
9780387232539
Hardback
Condition: New

€ 191.55

Hardback. Based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to present their research findings in any aspect of intelligent information processing. This book contains papers on intelligence science, intelligent agents, machine learning, autonomic computing, as well as business intelligence. Editor(s): Shi, Zhongzhi; He, Qing. Series: IFIP Advances in Information and Communication Technology. Num Pages: 570 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 1015.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
570
Condition
New
SKU
V9780387231518
ISBN
9780387231518
Hardback
Condition: New

€ 188.10

Hardback. Details research techniques including those related to intelligent visual monitoring, face and speech recognition, innovative education methods, and smart and cognitive environments. This book includes a description of the iDorm as an example of a smart environment conforming to the AmI paradigm. It is intended for researchers and developers. Editor(s): Remagnino, Paolo; Foresti, Gian Luca (Universita di Udine, Udine, Italy); Ellis, Tim. Num Pages: 240 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 560.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
240
Condition
New
SKU
V9780387229904
ISBN
9780387229904
Hardback
Condition: New

€ 122.96

hardcover. Deals with applications of signal processing to transform what we hear or see to the form that is most suitable for transmission or storage. This title talks about processing of speech and other audio signals. It covers topics such as image coding and compression, and describes classification of video sequences in the MPEG domain. Editor(s): Wysocki, Tadeusz A. (University of Wollongong); Honary, Bahram; Wysocki, Beata J. (University of Wollongong). Series: Multimedia Systems and Applications. Num Pages: 295 pages, biography. BIC Classification: TJK; UG; UKN; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
Format
Hardback
Publication date
2004
Publisher
Springer United States
Number of pages
295
Condition
New
Edition
2005th Edition
SKU
V9780387228471
ISBN
9780387228471
Hardback
Condition: New

€ 127.05

Hardback. This book addresses the face recognition problem while gaining new insights from complementary fields. It examines the evolution of face-recognition systems and explores new directions. The book has a well-focused approach and provides an excellent reference work. Series: International Series on Biometrics. Num Pages: 329 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 1450.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Number of pages
329
Condition
New
SKU
V9780387223728
ISBN
9780387223728
Hardback
Condition: New

€ 127.82

Hardback. Offers an examination of the science and technology behind multimodal human recognition systems, as well as the ramifications for security systems and other areas of application. This book demonstrates the advantages of these systems over their traditional and unimodal counterparts. Series: International Series on Biometrics. Num Pages: 198 pages, 65 black & white illustrations, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 155 x 14. Weight in Grams: 1090.
Format
Hardback
Publication date
2006
Publisher
Springer-Verlag New York Inc. United States
Number of pages
198
Condition
New
SKU
V9780387222967
ISBN
9780387222967
Hardback
Condition: New

€ 125.99

Hardback. Investigates evolutionary computational techniques - such as genetic programming, linear genetic programming, coevolutionary genetic programming and genetic algorithms - to automate the synthesis and analysis of object detection and recognition systems. Series: Monographs in Computer Science. Num Pages: 320 pages, 95 black & white illustrations, 51 black & white tables, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1380.
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag New York Inc. United States
Number of pages
320
Condition
New
SKU
V9780387212951
ISBN
9780387212951
Hardback
Condition: New

€ 190.39

Subscribe to our newsletter

News on special offers, signed editions & more!