Skip to main content
Elsevier

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • DBAs Guide to Databases Under Linux

    • 1st Edition
    • Syngress
    • English
    In an effort to increase its marketshare and threat to Windows NT, Oracle8 was ported to Linux in late 1998, opening the popular database to an additional 10 million Linux users worldwide. The availability of Oracle8 enables current Linux users to deploy enterprise-class applications at low cost and provides an alternative to Microsoft Windows NT. This book covers that marriage of the most popular database and the fastest growing operating system.

  • Computer Vision and Applications

    A Guide for Students and Practitioners,Concise Edition
    • 1st Edition
    • Bernd Jahne
    • English
    Based on the highly successful 3-volume reference Handbook of Computer Vision and Applications, this concise edition covers in a single volume the entire spectrum of computer vision ranging form the imaging process to high-end algorithms and applications. This book consists of three parts, including an application gallery.

  • Robots for Kids

    Exploring New Technologies for Learning
    • 1st Edition
    • Allison Druin + 1 more
    • English
    Within the sphere of children's learning and play, the concept of robot and the application of actual robots are undergoing a dramatic expansion. Here the term "robot" refers to a growing range of interactive devices-including toys, pets, assistants to the disabled, and overtly educational tools-which are being used in ways that are expected to have profound and beneficial effects on how our children develop and grow.Robots for Kids: Exploring New Technologies for Learning opens with contributions from leading designers and researchers, each offering a unique perspective into the challenge of developing robots specifically for children. The second part is devoted to the stories of educators who work with children using these devices, exploring new applications and mapping their impact. Throughout the book, essays by children are included that discuss their first-hand experiences and ideas about robots. This is an engaging, entertaining, and insightful book for a broad audience, including HCI, AI, and robotics researchers in business and academia, new media and consumer product developers, robotics hobbyists, toy designers, teachers, and education researchers.

  • Big Book of Internet File Transfer RFCs

    • 1st Edition
    • Peter Loshin
    • English
    File Transfer Protocol (FTP) was one of the first applications implemented on the Internet, and it is also one of the most fundamental. Almost all Internet hosts support it, as do almost all browsers. This volume offers exhaustive coverage of the rules governing how clients and servers communicate to enable successful data transfers via FTP. In addition to documentation of file transfer mechanics, readers will find practical instructions on many special techniques, including using file transfers for network booting and the security issues relating to file transfer over the Internet. Despite the growing acceptance of protocols specific to the Web, there remain many scenarios in which simple file transfer offers clear-cut advantages. Thus, this book is certain to prove an important source of information for years to come.

  • Fractals Everywhere

    • 1st Edition
    • Michael F. Barnsley
    • English
    This volume is the second edition of the highly successful Fractals Everywhere. The Focus of this text is how fractal geometry can be used to model real objects in the physical world. This edition of Fractals Everywhere is the most up-to-date fractal textbook available today.Fractals Everywhere may be supplemented by Michael F. Barnsley's Desktop Fractal Design System (version 2.0) with IBM for Macintosh software. The Desktop Fractal Design System 2.0 is a tool for designing Iterated Function Systems codes and fractal images, and makes an excellent supplement to a course on fractal geometry

  • Pocket PC Clear and Simple

    • 1st Edition
    • Craig Peacock
    • English
    The expert introduction to Microsoft's Pocket PC operating system that runs on devices such as the Compaq ipaq, Casio E125, EM-500 and the HP Jornada 540 series. Pocket PC Clear and Simple teaches readers how to use, customize and get the most out of the built in applications included on the Pocket PC. The book is packed with over 200 screen shots to illustrate the points being made. Pocket PC is bursting with powerful new capabilities, including direct internet connectivity, multimedia, and e-book reader functions, features that have led many industry experts to dub it the "Palm killer," referring to the competing Palm Pilot device. Pocket PC Clear and Simple is written by Craig Peacock, a recipient of Microsoft's "Windows CE MVP" award and one of the few Windows CE gurus outside of Microsoft. Drawing on his extensive experience running "Craig Peacock's Windows CE Pages," one of the most heavily trafficked sites on the topic, the author offers extensive tips, workarounds, and innovative solutions that will help readers get the most of a Pocket PC device. Consistent with the "Clear & Simple" series, this book features a very visual and engaging style.

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 24
    • Lev D. Beklemishev
    • English

  • Truth, Syntax and Modality

    • 1st Edition
    • Volume 68
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 14
    • Lev D. Beklemishev
    • English

  • Studies in Logic and the Foundations of Mathematics

    • 1st Edition
    • Volume 42
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 29
    • Lev D. Beklemishev
    • English

  • Foundational Studies

    • 1st Edition
    • Volume 93B
    • Lev D. Beklemishev
    • English

  • Problems in the Philosophy of Science

    • 1st Edition
    • Volume 49
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 22
    • Lev D. Beklemishev
    • English

  • Word Problems

    • 1st Edition
    • Volume 71
    • Lev D. Beklemishev
    • English

  • Generalized Recursion Theory

    • 1st Edition
    • Volume 79
    • Lev D. Beklemishev
    • English

  • Non-Classical Logics, Model Theory, And Computability

    • 1st Edition
    • Volume 89
    • Lev D. Beklemishev
    • English

  • Intuitionism An Introduction

    • 1st Edition
    • Volume 41
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 30
    • Lev D. Beklemishev
    • English

  • LOGIC COLLOQUIUM '69

    • 1st Edition
    • Volume 61
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 25
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 23
    • Lev D. Beklemishev
    • English

  • Model Theory For Infinitary Logic

    • 1st Edition
    • Volume 62
    • Lev D. Beklemishev
    • English

  • Sentences Undecidable in Formalized Arithmetic

    • 1st Edition
    • Volume 10
    • Lev D. Beklemishev
    • English

  • Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

    • 1st Edition
    • Volume 99
    • Lev D. Beklemishev
    • English

  • Set Theory

    • 1st Edition
    • Volume 76
    • Lev D. Beklemishev
    • English

  • Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

    • 1st Edition
    • Volume 60
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 27
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 3
    • Lev D. Beklemishev
    • English

  • Intuitionistic Logic Model Theory and Forcing

    • 1st Edition
    • Volume 54
    • Lev D. Beklemishev
    • English

  • Logic Colloquium '78, Proceedings of the colloquium held in Mons

    • 1st Edition
    • Volume 97
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 31
    • Lev D. Beklemishev
    • English

  • Computer Programming and Formal Systems

    • 1st Edition
    • Volume 26
    • Lev D. Beklemishev
    • English

  • Quantitative Psychology

    Some Chosen Problems and New Ideas
    • 1st Edition
    • Volume 15
    • M. Nowakowska
    • English
    Examining selected statistical and modeling approaches in psychology, the book concentrates on the topics of mental test theory and theory of measurement. The main objective is not only to present a critical view of the approaches suggested up until now, but also their reinterpretation, extension and enrichment by new theories and concepts, for example, formal theories of semiotics and knowledge, and a unifying theory of actions.The book also shows a relation between test theory and the foundations of fuzzy set theory. It presents new models of measurement tools and new measurement theories of concepts such as objective and subjective time, risk or utility, and discusses the cognitive foundations of these theories, namely the theory of perception and observability.

  • Large Infinitary Languages

    • 1st Edition
    • Volume 83
    • Lev D. Beklemishev
    • English

  • The Collected Papers of Gerhard Gentzen

    • 1st Edition
    • Volume 55
    • Lev D. Beklemishev
    • English

  • A Transfinite Type Theory with Type Variables

    • 1st Edition
    • Volume 37
    • Lev D. Beklemishev
    • English

  • Logic Colloquium '77

    • 1st Edition
    • Volume 96
    • Lev D. Beklemishev
    • English

  • Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

    • 1st Edition
    • Volume 59
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 7
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 17
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 12
    • Lev D. Beklemishev
    • English

  • The Axiom of Choice

    • 1st Edition
    • Volume 75
    • Lev D. Beklemishev
    • English

  • Sets, Models and Recursion Theory

    • 1st Edition
    • Volume 46
    • Lev D. Beklemishev
    • English

  • The Theory of Semisets

    • 1st Edition
    • Volume 70
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 13
    • Lev D. Beklemishev
    • English

  • Proof Theory

    • 1st Edition
    • Volume 81
    • Lev D. Beklemishev
    • English

  • SET THEORY

    • 1st Edition
    • Volume 53
    • Lev D. Beklemishev
    • English

  • Lincos

    Design of a Language for Cosmic Intercourse
    • 1st Edition
    • Volume 28
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 19
    • Lev D. Beklemishev
    • English

Related subjects