eBook By Category (Computer Science)

Model checking technology is among the foremost applications of logic to computer science and computer engineering...

The first book presenting a stochastic extension of process algebra; this can be applied to performance modelling...

Compressing data is an option naturally selected when faced with problems of high costs or restricted space...

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students...

In this book, the author develops a generative theory of shape with two properties fundamental to intelligence: maximizing transfer of structure, and maximizing recoverability of generative operations...

This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners...

This book blends traditional teaching approaches with the use of mathematics, together with the use of a hardware description language and a concrete processor as vehicles for "hands-on" modelling and experimenting with digital logic and processor design...

Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course...

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000...

This volume contains a collection of the papers presented during the First International ACM-L Workshop, which was held in Tucson, Arizona, on November 8, 2006, during the 25th International Conference on Conceptual Modeling, ER 2006...

Ada 2005 is the latest version of the International Standard for the programming language Ada...

Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed signal design along with different adaptive architectures used to control any system parameter...

Computer architecture deals with the physical configuration, logical structures,formats,protocols,and operational sequences for processing data, controlling the configuration, and controlling the operations over a computer...

Advanced Data Structures presents a comprehensive look at the ideas, analysis, and implementation details of data structures as a specialized topic in applied algorithms...

This book constitutes the refereed proceedings of the 15th International Conference on Advanced Information Systems Engineering, CaiSE 2003, held in Klagenfurt, Austria in June 2003...

This book constitutes the thoroughly refereed post-proceedings of the 11th Asian Computing Science Conference, ASIAN 2006, held in Tokyo, Japan, in December 2006...

The series covers new developments in computer technology...

This book constitutes the refereed proceedings of the 12th East European Conference on Advances in Databases and Information Systems, ADBIS 2008, held in Pori, Finland, on September 5-9, 2008...

Every real-world problem from economic to scientific and engineering fields is ultimately confronted with a common task, viz...

This book constitutes the refereed proceedings of the 26th European Conference on Information Retrieval Research, ECIR 2004, held in Sunderland, UK, in April 2004...

This book constitutes the refereed proceedings of the International Conference on Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry, MDA 2006 and 2007, held in Leipzig, Germany...

This book constitutes the joint refereed proceedings of three workshops held in conjunction with the 9th International Conference on Web Information Systems Engineering, WISE 2008 in Auckland, New Zealand, September, 2008...

Advances in Wireless Communications covers a broad range of topics in the field of wireless communications, with chapters describing state-of-the-art solutions along with basic theoretical studies in information and communications theory...

This book constitutes the refereed proceedings of the First International Symposium on Agent and Multi-Agent Systems - Technologies and Applications, KES-AMSTA 2007, held in Wroclaw, Poland in May/June 2007...

This book constitutes the thoroughly refereed post-proceedings of the joint International Workshops on Trading Agent Design and Analysis, TADA 2006, and on Agent Mediated Electronic Commerce, AMEC VIII 2006, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems...

This book constitutes the thoroughly refereed post-proceedings of the 7th International Bi-Conference Workshop on Agent-Oriented Information Systems, AOIS 2005, held in Utrecht, Netherlands, in July 2005 and in Klagenfurt, Austria, in October 2005...

This book originates from the First International Workshop on Computational Autonomy -Potential, Risks, Solutions, AUTONOMY 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003...

This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation...

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007...

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008...

Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn-Rhodes theory and related topics...

This book constitutes the reviewed proceedings of the Third International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2007, held in Wroclaw, Poland, July 14, 2007, in association with ICALP 2007...

Algorithmic Results in List Decoding introduces and motivates the problem of list decoding, and discusses the central algorithmic results of the subject, culminating with the recent results on achieving "list decoding capacity...

This book is the result of the research in the implementation of polygon-based graphics operations on certain general purpose parallel processors; the aim is to provide a speed-up over sequential implementations of the graphics operations concerned, and the resulting software can be viewed as a subset of the application suites of the relevant parallel machines...

This text covers all the material essential to an introductory theory of computation course for undergraduate students...

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics...

This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2007, held in Valencia, Spain in April 2007...

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, held in Charlotesville, Virginia, USA in September/October 2003...

This book constitutes the thoroughly refereed post proceedings of the Third International Workshop on Approximation and Online Algorithms, WAOA 2005, held in Palma de Mallorca, Spain in October 2005 as part of the ALGO 2005 event...

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008...

This book is written from an engineer's perspective of the mind...

This book includes selected papers of the Asia Simulation Conference 2007, held in Seoul, Korea, October 10-12, 2007...

Recent applications to bioscience have created a new audience for automata theory and formal languages...

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004...

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002...

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008...

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004...

Parallel computation will become the norm in the coming decades...

This book constitutes the refereed proceedings of the Second International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2007, held in St...

Average-Case Complexity is a thorough survey of the average-case complexity of problems in NP...

This book constitutes the refereed proceedings of the First International Bioinformatics Research and Development Conference, BIRD 2007, held in Berlin, Germany in March 2007...

This book constitutes the refereed proceedings of the First International Conference on Biometric Authentication, ICBA 2004, held in Hong Kong, China in July 2004...

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems...

This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, in conjunction with the 5th International Conference on Business Process Management, BPM 2007, in September 2007...

This book constitutes the refereed proceedings of the 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, held in Geneva, Switzerland in October 2002...

This book constitutes the refereed proceedings of the 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, held in Amsterdam, The Netherlands in October 2004...

This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, held in Perpignan, France in September 2006...

Knowledge Discovery today is a significant study and research area...

One of the most important key technologies for digital communication systems as well as storage media is coding theory...

This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Workshop on Cognitive Systems held in Shanghai in March 2005...

This volume constitutes the refereed proceedings of the 12th International Workshop on Combinatorial Image Analysis, IWCIA 2008, held in Buffalo, NY, USA, in April 2008...

This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St...

Useful guide covers two major subdivisions of combinatorics--enumeration and graph theory--with emphasis on conceptual needs of computer science...

This book constitutes the refereed proceedings of the 5th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2007, held in San Diego, CA, USA, in September 2007...

The book provides new developments in data analysis and statistical multivariate methods, computational statistics and algorithms, including new topics which are of central interest to modern statistics...

This book develops a type theory, studies its properties, and explains its uses in computer science...

The computer hardware and software industry is committed to using formal methods...

Developed as the text for the basic computer architecture course at MIT, Computation Structures integrates a thorough coverage of digital logic design with a comprehensive presentation of computer architecture...

This book is an introduction to modern numerical methods in engineering...

The application of Computational Intelligence in emerging research areas such as Granular Computing, Mechatronics, and Bioinformatics shows its usefulness often emphasized by Prof Lotfi Zadeh, the inventor of fuzzy logic and many others...

This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007...

This book constitutes the refereed proceedings of the Second International Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2001, held in Mexico City, Mexico in February 2001...

This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IV, held in Fort Lauderdale, Fl, USA in January 2004...

The three-volume set, LNCS 2329, LNCS 2330, and LNCS 2331, constitute the refereed proceedings of the Second International Conference on Computational Science, ICCS 2002, held in Amsterdam, The Netherlands, in April 2002...

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science...

Updated throughout to address the most important trends facing computer designers, this text brings quantitative analysis not only to high performance desktop machine design, but also to the design of embedded and server systems...

This timely new version of a popular computer graphics book features the C language in programming examples to demonstrate the implementation of graphics application...

The Computer Science and Engineering Handbook characterizes thecurrent state of theory and practice in the field...

Designed to present a breadth first coverage of the field of Computer Science...

This series is for people--adults and teenagers--who are interested in computer programming because it's fun...

This series is for people--adults and teenagers--who are interested in computer programming because it's fun...

This series is for people--adults and teenagers--who are interested in computer programming because it's fun...

The Invocation Model of Process Expression argues that mathematics does not provide the most appropriate conceptual foundations for computer science, but, rather, that these foundations are a primary source of unnecessary complexity and confusion...

Computer algebra systems have revolutionized the use of computers within mathematics research, and are currently extending that revolution to the undergraduate mathematics curriculum...

Computer Systems, Second Edition provides students with a broad understanding of all levels of computer systems...

An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research...

This book constitutes the refereed proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments, ISCOPE 98, held in Santa Fe, NM, USA, in December 1998...

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008...

The book presents an extensive introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP...

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65^th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa...

This work provides an in-depth treatment of data flow analysis technique...

Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data for performing computations has been around since the early days of Automata Theory...

This book constitutes the refereed proceedings of the First International XML Database Symposium, XSym 2003, held in Berlin, Germany in September 2003...

Many real-time systems rely on static scheduling algorithms...

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer...

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification...

Design of Multi-Bit Delta-Sigma A/D Converters discusses both architecture and circuit design aspects of Delta-Sigma A/D converters, with a special focus on multi-bit implementations...

This book consitutes the refereed proceedings of the First International Workshop on Machine Learning held in Sheffield, UK, in September 2004...

This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008...

This book constitutes the strictly refereed post-workshop documentation of the ECAI'96 Workshop on Dialogue Processing in Spoken Language Systems, held in Budapest, Hungary, in August 1996, during ECAI'96...

This book constitutes the refereed proceedings of the 7th International Conference on Asian Digital Libraries, ICADL 2004, held in Shanghai, China in December 2004...

This text/reference provides students and practicing engineers with an introduction to the classical methods of designing electrical circuits, but incorporates modern logic design techniques used in the latest microprocessors, microcontrollers, microcomputers, and various LSI components...

Digital Rights Management: Technological, Economic, Legal and Political Aspects (Lecture Notes in Computer Science) The content industries consider Digital Rights Management (DRM) to contend with unauthorized downloading of copyrighted material, a practice that costs artists and distributors massively in lost revenue...

This book constitutes the refereed proceedings of the 7th International Conference on Discovery Science, DS 2004, held in Padova, Italy in October 2004...

"Discrete Mathematics and its Applications, Sixth Edition", is intended for one- or two-term introductory discrete mathematics courses taken by students from a wide variety of majors, including computer science, mathematics, and engineering...

Optical networks and the related technologies, network management software and services have undergone remarkable developments, and such networks are now the ultra-high-speed backbone networks for communication...

This book constitutes the refereed proceedings of the First International Conference on Distributed Computing and Internet Technology, ICDCIT 2004, held in Bhubaneswar, India in December 2004...

This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures...

This book constitutes the thoroughly refereed postproceedings of the 11th International Workshop on DNA Based Computers, DNA11, held in London, ON, Canada, in June 2005...

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on DNA Based Computers, DNA8, held in Sapporo, Japan, in June 2002...

Graph drawing comprises all aspects of visualizing structural relations between objects...

This book constitutes the thoroughly refereed joint post-proceedings of the first two International Workshops on Dynamical Vision, WDV 2005 and WDV 2006 held in Beijing, China in October 2005 within the scope of ICCV 2005 and in Graz, Austria in May 2006 in the course of ECCV 2006...

This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004...

This book constitutes the thoroughly refereed joint post-proceedings of the VLDB 2002 Workshop on Efficiency and Effectiveness of XML Tools and Techniques, EEXTT and the CAiSE 2002 Workshop on Data Integration over the Web, DIWeb...

This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008...

Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities...

Computers play a crucial role in our day-to-day lives...

This book constitutes the refereed proceedings of the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2007, held in Beijing, China in July 2007 in the framework of the 12th International Conference on Human-Computer Interaction, HCII 2007 with 8 other thematically similar conferences...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Engineering Self-Organising Applications, ESOA 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems...

For all his genius, John von Neumann was not, as he is generally credited, the true father of the modern computer...

This book contains the carefully selected best papers of the 8th International Conference on Enterprise Information Sysetms, ICEIS 2006, held in Paphos, Cyprus, in May 2006...

This textbook offers a deep understanding of the essential concepts of programming languages...

Ethical dilemmas have risen in number and intensity with the increasing dependence of contemporary society on computers and computer networks...

This book constitutes the thoroughly refereed joint post-workshop proceedings of three international events: the International Workshop on Highly Parallel Processing on a Chip, HPPC 2007, the UNICORE Summit 2007, and the Workshop on Virtualization/Xen in High-Performance Cluster and Grid Computing, VHPC 2007, held in Rennes, France, in August 2007 within the scope of Euro-Par 2007, the 13th International Conference on Parallel Computing...

Evolutionary Algorithms in Engineering and Computer Science Edited by K...

This book constitutes the refereed proceedings of the 6th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2006, held in Budapest, Hungary in April 2006...

Real-time computer systems are very often subject to dependability requirements because of their application areas...

A pioneering reference on control theory designed specifically for computer professionals In today’s computerized economy, the profitability and availability of many businesses rely on a clear understanding of the dynamics of their computing systems, especially how they relate to changes in workloads and configuration...

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Financial Cryptography and Data Security, FC 2007, and the co-located 1st International Workshop on Usable Security, USEC 2007, both held in Scarborough, Trinidad/Tobago, in February 2007...

The material in this book is situated at the juncture of the automata theory, logic, computational complexity and semigroup theory...

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems...

This basic textbook gives an easily accessible introduction to fuzzy theory and its applications...

Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008...

Aho and Ullman have created a C version of their groundbreaking text...

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008...

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M...

This book constitutes the joint refereed proceedings of the Third COST 263 International Workshop on Quality of Future Internet Services, QofIS 2002 and the Second International Workshop on Internet Charging and QoS Technologies, ICQT 2002, held in Zurich, Switzerland, in October 2002...

This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in December 2006 (see LNCS 4330)...

This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004...

his is the first book in the two-volume set offering comprehensive coverage of the field of computer organization and architecture...

Uses an object-based approach to the introduction of Computer Science using Java...

The huge number and broad range of the existing and potential applications of fuzzy logic have precipitated a veritable avalanche of books published on the subject...

This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of Information Transfer and Combinatorics' that was hosted from 2001-2004 at the Center for Interdisciplinary Research (ZIF) of Bielefeld University and also papers of several incorporated meetings thereof...

Many challenging problems in information systems engineering involve the manipulation of complex metadata artifacts or models, such as database schema, interface specifications, or object diagrams, and mappings between models...

Generic programming attempts to make programming more efficient by making it more general...

This book is aimed at students who are thinking of studying Computer Science or a related topic at university...

This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules...

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Symposium on Graph Drawing, GD 2007, held in Sydney, Australia, September 24-26, 2007...

This book constitutes the strictly refereed post-workshop proceedings of the Second International Workshop on Graphics Recognition, GREC'97, held in Nancy, France, in August 1997...

Answers the question, "What can I do with a major in ...

Answers the question, "What can I do with a major in ...

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI...

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006...

The recent use of latest-generation sensors in airborne and satellite platforms is producing a nearly continual stream of high-dimensional data, which, in turn, is creating new processing challenges...

This book presents the state-of-the-art in simulation on supercomputers...

This book constitutes the refereed proceedings of the 8th International Conference on High-Performance Computing and Networking, HPCN Europe 2000, held in Amsterdam, The Netherlands, in May 2000...

This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008...

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004...

Hypercomputation is a relatively new theory of computation that is about computing methods and devices that transcend the so-called Church-Turing thesis...

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Inductive Logic Programming, ILP 2007, held in Corvallis, OR, USA, in June 2007 in conjunction with ICML 2007, the International Conference on Machine Learning...

Infinite Words is an important theory in both Mathematics and Computer Sciences...

This book constitutes the refereed proceedings of the 9th International Conference on Information and Communications Security, ICICS 2007, held in Zhengzhou, China, in December 2007...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Information Hiding, IH 2007, held in Saint Malo, France, in June 2007...

This book constitutes the refereed proceedings of the 16th International Conference on Information Processing in Medical Imaging, IPMI'99, held in Visegrad, Hungary in June/July 1999...

This book constitutes the refereed proceedings of the 7th International Workshop on Information Security Applications, WISA 2006, held in Jeju Island, Korea in August 2006...

This book constitutes the refereed proceedings of the 8th International Workshop on Information Security Applications, WISA 2007, held in Jeju Island, Korea, August 27-29, 2007...

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004...

This book is the fifth in the successful line of Intelligent Agents volumes published in LNAI...

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006...

This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity...

Provides a detailed introduction to the implementations and official standards of the state of the art audio coding technology...

This is a graduate textbook on the principles of linear inverse problems, methods of their approximate solution, and practical application in imaging...

John von Neumann (1903-1957) was unquestionably one of the most brilliant scientists of the twentieth century...

"Kernel Based Algorithms for Mining Huge Data Sets" is the first book treating the fields of supervised, semi-supervised and unsupervised machine learning collectively...

This book presents current research and development work in the fields of knowledge visualization and information visualization...

This book constitutes the refereed proceedings of the International Symposium on Knowledge Exploration in Life Science Informatics, KELSI 2004, held in Milan, Italy in November 2004...

This book constitutes the thoroughly refereed post-workshop proceedings of the first AIME 2007 workshop From Knowledge to Global Care, K4CARE 2007, held in Amsterdam, The Netherlands, in July 2007, in conjunction with the 11th International Conference on Artificial Intelligence in Medicine, AIME 2007...

This book constitutes the refereed proceedings of the Third International Conference on Large-Scale Knowledge Resources, LKR 2008, held in Tokyo, Japan, in March 2008...

In the last decade there has been a steadily growing need for and interest in computational methods for solving stochastic optimization problems with or wihout constraints...

This book constitutes the refereed proceedings of the 20th Annual Conference on Learning Theory, COLT 2007, held in San Diego, CA, USA in June 2007...

Linear Programming: Foundations and Extensions is an introduction to the field of optimization...

LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers fits in the quest for complete CMOS integration of wireless receiver front-ends...

This is a sound introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems...

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications...

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008...

This book constitutes the refereed proceedings of the International Symposium on Medical Simulation, ISMS 2004, held in Cambridge, MA, USA in June 2004...

Metaheuristics has grown and continues to grow steadily...

This book includes selected papers of the First International Workshop on Model-Based Software and Data Integration 2008, held in Berlin, Germany, in April 2008 as a part of the Berlin Software Integration Week 2008...

A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today’s world of wireless and mobile networking...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Multi-Agent-Based Simulation, MABS 2003, held in Melbourne, Australia as part of AAMAS 2003...

This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Multi-Agent-Based Simulation, MABS 2006, held in Hakodate, Japan, May 8, 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems...

This book constitutes the refereed proceedings of the Second German Conference on Multiagent Systems Technologies, MATES 2004, held in Erfurt, Germany, in September 2004...

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria...

This book constitutes the refereed proceedings of the Third International Conference on Natural Language Generation, INLG 2004, held in Brockenhurst, UK in July 2004...

This volume considers the web architectures and recent developments that make net-centric approaches for intelligence and national security possible...

Deformable objects are ubiquitous in the world surrounding us, on all levels from micro to macro...

This book constitutes the refereed proceedings of the 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, Net...

This book presents the final reports of 19 workshops held during the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004...

This book contains the final reports of 19 workshops held during the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006...

This book is the outcome of an international research seminar on objects, agents, and features held at Dagstuhl Castle, Germany in February 2003...

Stefan Voß and David Woodruff have edited a carefully refereed volume by experts on optimization software class libraries...

This book constitutes the refereed proceedings of the Second International Symposium on Parallel and Distributed Processing and Applications, ISPA 2004, held in Hong Kong, China in December 2004...

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Parallel Processing and Applied Mathematics, PPAM 2003, held in Czestochowa, Poland, in September 2003...

Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems...

Review: After searching all over for a way to understand the translation field and looking the dragon book and all, this is a great find...

Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics...

Parsing the Turing Test is a landmark exploration of both the philosophical and methodological issues surrounding the search for true artificial intelligence...

The two-volume set LNCS 4477 and 4478 constitutes the refereed proceedings of the Third Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2007, held in Girona, Spain in June 2007...

The two-volume set LNCS 4477 and 4478 constitutes the refereed proceedings of the Third Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2007, held in Girona, Spain in June 2007...

Peer to Peer Computing: The Evolution of Disruptive Technology takes a holistic approach to the affects P2P Computing has on a number a disciplines...

This book constitutes the thoroughly refereed postconference proceedings of the 6th International Andrei Ershov Memorial Conference, PSI 2006, held in Akademgorodok, Novosibirsk, Russia in June 2006...

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages...

Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems...

Logic's basic elements are unfolded in this book...

Cryptology nowadays is one of the most important areas of applied mathematics, building on deep results and methods from various areas of mathematics...

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004...

Speech technology, the automatic processing of (spontaneously) spoken language, is now known to be technically feasible...

In the 1990's it was realized that quantum physics has some spectacular applications in computer science...

Critically acclaimed text for computer performance analysis—now in its second edition The Second Edition of this now-classic text provides a current and thorough treatment of queueing systems, queueing networks, continuous and discrete-time Markov chains, and simulation...

Useful as a text as well as a reference, this is one of the first books of its kind to combine basic and advanced topics of radiowave propagation and smart antennas into a single volume...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Real-Time and Embedded Systems and Applications, RTCSA 2003, held in Tainan, Taiwan, in February 2003...

This lecture book presents an overview of the guidelines and strategies for transitioning an image or video processing algorithm from a research environment into a real-time constrained environment...

This book constitutes the refereed proceedings of the 4th International Workshop on Applied Reconfigurable Computing, ARC 2008, held in London, UK, in March 2008...

This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem...

This state-of-the-art survey, reflecting on the teaching of programming, has been written by a group of primarily Scandinavian researchers and educators with special interest and experience in the subject of programming...

This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003...

This book provides an up-to-date account of RNSs and arithmetic...

During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code...

This book constitutes the seventh official archival publication devoted to RoboCup...

This book constitutes the refereed proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, held in Toronto, Canada in May 2007 in conjunction with the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, both as part of the Joint Rough Set Symposium, JRS 2007...

In our day-to-day lives we constantly make decisions which are simply 'good enough' rather than optimal...

Learn the essentials of computer science

Schaum’s Outline of Principles of Computer Science provides a concise overview of the theoretical foundation of computer science...

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis...

Knuth is, of course, one of the foremost computer scientists and has been instrumental in the invention of methods for translating and defining programming languages and mathematical analyses of algorithms...

Selected Topics in Approximation and Computation addresses the relationship between modern approximation theory and computational methods...

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science...

This book constitutes the thoroughly refereed and extended post-proceedings of the joint European Web Mining Forum, EWMF 2005, and the International Workshop on Knowledge Discovery and Ontologies, KDO 2005, held in association with ECML/PKDD in Porto, Portugal in October 2005...

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Sensor Based Intelligent Robots held in Dagstuhl Castle, Germany, in October 2000...

This book constitutes the refereed proceedings of the International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering, SOCASE 2007, held in Honolulu, HI, USA as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems...

University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation...

For anyone learning the Scheme programming language, the second edition of Simply Scheme: Introducing Computer Science provides a very digestible textbook-style introductory tutorial to this powerful and elegant language...

This book constitutes the refereed proceedings of the 4th International Symposium on Smart Graphics, SG 2004, held in Banff, Canada in May 2004...

This book constitutes the refereed proceedings of the 9th International Symposium on Smart Graphics, SG 2008, held in Rennes, France in August 2008...

This book constitutes the refereed proceedings of the Third International Symposium on Smart Graphics, SG 2003, held in Heidelberg, Germany in July 2003...

This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in October 2006...

This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, held in Potsdam, Germany, in September 2007...

This book constitutes the refereed proceedings of the International Conference on Spatial Cognition, Spatial Cognition 2006, held in Bremen, Germany, September 24-28, 2006...

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007...

Want to calculate the probability that an event will happen? Be able to spot fake data? Prove beyond doubt whether one thing causes another? Or learn to be a better gambler? You can do that and much more with 75 practical and fun hacks packed into Statistics Hacks...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001...

With the intense growth of e-business, we hear about an increase in hacking and technology-based criminal incidents...

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium in October 2006...

This book constitutes the refereed proceedings of the Second International Conference on Technologies for Interactive Digital Storytelling and Entertainment, TIDSE 2004, held in Darmstadt, Germany in June 2004...

This book constitutes the refereed proceedings of the 7th International Conference on Text, Speech and Dialogue, TSD 2004, held in Brno, Czech Republic, in September 2004...

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M...

A groundbreaking, unifying theory of computer science for low-cost, high-quality software The Cognitive Dynamics of Computer Science represents the culmination of more than thirty years of the author's hands-on experience in software development, which has resulted in a remarkable and sensible philosophy and practice of software development...

This text synthesizes ten years of research in top-down program design and verification of program correctness...

“The-computer-as-we-know-it� will have no role in our future everyday lives...

Computer Science and Operations Research continue to have a synergistic relationship and this book represents the results of the cross-fertilization between OR/MS and CS/AI...

All traditional implementation techniques for functional languages fail to avoid useless repetition of work...

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand...

The SUPERMEN

"After a rare speech at the National Center for Atmospheric Research in Boulder, Colorado, in 1976, programmers in the audience had suddenly fallen silent when Cray offered to answer questions...

Local search has been applied successfully to a diverse collection of optimization problems...

The process of solving large problems by breaking them down into smaller, more simple problems that have identical forms...

This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004...

Explore descriptions of 100 top computer and technical careers, match them to your skills, and get a good job quickly...

Written by a computer scientist for computer scientists, this book teaches topology from a computational point of view, and shows how to solve real problems that have topological aspects involving computers...

The LNCS Journal "Transactions on Aspect-Oriented Software Developmen"t is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution...

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines...

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication...

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications...

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence...

This book constitutes the refereed proceedings of the Second International Conference on Trust Management, iTrust 2004, held in Oxford, UK, in March/April 2004...

This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008...

The book is an introductory textbook mainly for students of computer science and mathematics...

Describes a unique user-centered design method that helps the software project team decide what information to provide and in what media, based on user's information needs and project require- ments...

Video Object Extraction and Representation: Theory and Applications is an essential reference for electrical engineers working in video; computer scientists researching or building multimedia databases; video system designers; students of video processing; video technicians; and designers working in the graphic arts...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Virtual Systems and Multimedia, VSMM 2007, held in Brisbane, Australia, in September 2007...

This book is a thoroughly arranged anthology outlining the state of the art in the emerging area of visual informationsystems...

Visualization involves constructing graphical interfaces that enable humans to understand complex data sets; it helps humans overcome their natural limitations in terms of extracting knowledge from the massive volumes of data that are now routinely connected...

The last decade has seen tremendous growth in usage of the World Wide Web...