![]() |
An Introduction to Lambda Calculi for Computer Scientists
ISBN: 9780954300654 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The lambda-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus,... The lambda-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has had signific... |
cena:
99,27 |
![]() |
Computational Complexity
ISBN: 9781402003134 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
Audiophotography: Bringing Photos to Life with Sounds
ISBN: 9781402023316 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you read the history of any new communication medium such as the cinema, television or radio, it always happens to be bound up with advances in some underlying technology. For example, cinema was born out of the rapid projection of a series of still images on a celluloid film strip. The difficulty of synchronizing sound recordings with the resulting moving images led to about 30 years of silent films - until such time as the technical problems were solved. In between the inventions, media seem to grow and develop at a slower pace, as content producers and consumers experiment with the most...
If you read the history of any new communication medium such as the cinema, television or radio, it always happens to be bound up with advances in som...
|
cena:
402,53 |
![]() |
Practical Spoken Dialog Systems
ISBN: 9781402026751 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spoken dialog systems allow people to get information, conduct business, and be entertained, simply by speaking to a computer. There are hundreds of these systems currently in use, handling millions of interactions every day. How do they work? What problems do they solve? The goal of this book is to answer these questions and others like them, including: How can I decide if a spoken dialog system is a good fit for the needs of my organization? What's the difference between a voice user interface and a conventional graphical interface? What are the psychological... Spoken dialog systems allow people to get information, conduct business, and be entertained, simply by speaking to a computer. There are hundreds o... |
cena:
402,53 |
![]() |
From Brows to Trust: Evaluating Embodied Conversational Agents
ISBN: 9781402027291 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embodied conversational agents (ECAs) are autonomous software entities with human-like appearance and communication skills. These agents can take on a number of different roles, for example, as an assistant, tutor, information provider, or customer service agent. They may also simply represent or entertain a user. The precise nature and benefits of different characteristics of ECAs requires careful investigation. Questions range from the function of an eyebrow raise to mechanisms for assessing and improving ECA trustworthiness. This book will help experts and designers in the... Embodied conversational agents (ECAs) are autonomous software entities with human-like appearance and communication skills. These agents can take o... |
cena:
402,53 |
![]() |
Information Retrieval: Algorithms and Heuristics
ISBN: 9781402030048 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Interested in how an efficient search engine works? Want to know what algorithms are used to rank resulting documents in response to user requests? The authors answer these and other key information retrieval design and implementation questions. This book is not yet another high level text. Instead, algorithms are thoroughly described, making this book ideally suited for both computer science students and practitioners who work on search-related applications. As stated in the foreword, this book provides a current, broad, and detailed overview of the field and is the only one that... Interested in how an efficient search engine works? Want to know what algorithms are used to rank resulting documents in response to user requests?... |
cena:
1207,67 |
![]() |
The Inside Text: Social, Cultural and Design Perspectives on SMS
ISBN: 9781402030598 / Angielski / Twarda / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. SMS or Text is one of the most popular forms of messaging. Yet, despite its immense popularity, SMS has remained unexamined by science. Not only that, but the commercial organisations, who have been forced to offer SMS by a demanding public, have had very little idea why it has been successful. Indeed, they have, until very recently, planned to replace SMS with other messaging services such as MMS. This book is the first to bring together scientific studies into the values that 'texting' provides, examining both cultural variation in countries as different as the... SMS or Text is one of the most popular forms of messaging. Yet, despite its immense popularity, SMS has remained unexamined by science. Not only th... |
cena:
603,81 |
![]() |
Computer-Aided Design of User Interfaces IV: Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces Cadui '2004
ISBN: 9781402031458 / Angielski / Twarda / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface... Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations invol... |
cena:
805,10 |
![]() |
Spaces, Spatiality and Technology
ISBN: 9781402032721 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. separated by the exigencies of the design life cycle into another compartment, that makes invisible the (prior) technical work of engineers that is not directly pertinent to the application work of practitioners. More recently (and notably after the work of Greisemer and Star) the black box has been opened and infrastructure has been discussed in terms of the social relations of an extended group of actors that includes developers. Ethical and political issues are involved (cf f accountable computing). Writing broadly within this context, Day (chapter 11) proposes that the concept of...
separated by the exigencies of the design life cycle into another compartment, that makes invisible the (prior) technical work of engineers that is no...
|
cena:
603,81 |
| |
Avatars at Work and Play: Collaboration and Interaction in Shared Virtual Environments
ISBN: 9781402038839 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Avatars at Work and Play brings together contributions from leading social scientists and computer scientists who have conducted research on virtual environments used for collaboration and online gaming. They present a well-rounded and state-of-the-art overview of current applications of multi-user virtual environments, ranging from highly immersive virtual reality systems to internet-based virtual environments on personal computers. The volume is a follow-up to a previous essay collection, 'The Social Life of Avatars', which explored general issues in this field. This... Avatars at Work and Play brings together contributions from leading social scientists and computer scientists who have conducted r... |
cena:
603,81 |
![]() |
Consuming Music Together: Social and Collaborative Aspects of Music Consumption Technologies
ISBN: 9781402040313 / Angielski / Twarda / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Listening to, buying and sharing music is an immensely important part of everyday life. Yet recent technological developments are increasingly changing how we use and consume music. This book collects together the most recent studies of music consumption, and new developments in music technology. It combines the perspectives of both social scientists and technology designers, uncovering how new music technologies are actually being used, along with discussions of new music technologies still in development. With a specific focus on the social nature of music, the book breaks new ground in... Listening to, buying and sharing music is an immensely important part of everyday life. Yet recent technological developments are increasingly chan... |
cena:
402,53 |
![]() |
Information Technology and Lawyers: Advanced Technology in the Legal Domain, from Challenges to Daily Routine
ISBN: 9781402041457 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The area of Information Technology and Lawyers is a fascinating one. Both from a practical and an academic perspective the opportunities of applying Information Technology to law are tremendous. At the same time, however, lawyers are amongst the most conservative professionals, and traditional late adapters of technology. Nowadays the gap between Information Technology and Lawyers is closing more and more, in particular due to the Internet and the richness of legal sources that can be found online. This book provides material to further bridge the gap by showing people with a legal... The area of Information Technology and Lawyers is a fascinating one. Both from a practical and an academic perspective the opportunities of applyin... |
cena:
402,53 |
![]() |
Self-Organizing Natural Intelligence: Issues of Knowing, Meaning, and Complexity
ISBN: 9781402052750 / Angielski / Twarda / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Self-Organizing Natural Intelligence brings new scientific methods to intelligence research that is currently under the influence of largely classical 19th century single causal theory and method. This out-dated classical approach has resulted in the single-capacity g-theory, a "central processor," top-down, genetically determined linguistic view of intelligence that is directly contradicted by empirical facts of human and animal studies of intelligence. This book proposes, utilizes, and demonstrates the research superiority of a highly developed multidisciplinary theory... Self-Organizing Natural Intelligence brings new scientific methods to intelligence research that is currently under the influence of largely classi... |
cena:
402,53 |
![]() |
Informatics in Control, Automation and Robotics II
ISBN: 9781402056253 / Angielski / Twarda / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Informatics in Control, Automation and Robotics II is a collection of the best papers presented at the 2nd International Conference on Informatics in Control, Automation and Robotics (ICINCO). The purpose of ICINCO was to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. The research papers focused on real world applications, covering three main themes: Intelligent Control Systems, Optimization, Robotics and Automation and Signal Processing, Systems Modeling and Control. Informatics applications... Informatics in Control, Automation and Robotics II is a collection of the best papers presented at the 2nd International Conference on Informatics ... |
cena:
402,53 |
![]() |
Mobile Computation with Functions
ISBN: 9781402070242 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advanced state of computer networking and telecommunications technology makes it possible to view computers as parts of a global computation platform, sharing their resources in terms of hardware, software and data. The possibility of exploiting the resources on a global scale has given rise to a new paradigm - the mobile computation paradigm - for computation in large scale distributed networks. The key characteristic of this paradigm is to give programmers control over the mobility of code or active computations across the network by providing appropriate language features. The... The advanced state of computer networking and telecommunications technology makes it possible to view computers as parts of a global computation pl... |
cena:
402,53 |
![]() |
Disseminating Security Updates at Internet Scale
ISBN: 9781402073052 / Angielski / Twarda / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Disseminating Security Updates at Internet Scale describes a new system, "Revere," that addresses these problems. "Revere" builds large-scale, self-organizing and resilient overlay networks on top of the Internet to push security updates from dissemination centers to individual nodes. "Revere" also sets up repository servers for individual nodes to pull missed security updates. This book further discusses how to protect this push-and-pull dissemination procedure and how to secure "Revere" overlay networks, considering possible attacks and countermeasures.... Disseminating Security Updates at Internet Scale describes a new system, "Revere," that addresses these problems. "Revere" builds ... |
cena:
402,53 |
![]() |
Global Mobile Satellite Systems: A Systems Overview
ISBN: 9781402073847 / Angielski / Twarda / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Global Mobile Satellite Systems - A Systems Overview makes mobile satellite communications understandable for communication engineers, candidates for an engineering degree, technicians, managers, and other decision makers such as financiers and regulators. It provides a systems oriented top-level view of mobile satellite communications. In particular, it focuses on Global Mobile Satellite Systems (GMSS) including active programs such as Globalstar, IRIDIUM, ORBCOMM, ACeS, and Thuraya, or so-called the second generation mobile satellite systems class. The authors start with... Global Mobile Satellite Systems - A Systems Overview makes mobile satellite communications understandable for communication engine... |
cena:
402,53 |
![]() |
Security and Privacy in the Age of Uncertainty: Ifip Tc11 18th International Conference on Information Security (Sec2003) May 26-28, 2003, Athens, Gre
ISBN: 9781402074493 / Angielski / Twarda / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In light of the rapidly escalating age of uncertainty in the IT security and privacy world, this book provides the professional IT community and, in particular, security and data protection experts and researchers, with a selection of state-of-the-art material on emerging technologies for IT security and privacy issues. Furthermore, the book analyzes the new security threats and vulnerabilities that appear in modern information societies. Security and Privacy in the Age of Uncertainty covers issues related to security and privacy of information in a wide range of... In light of the rapidly escalating age of uncertainty in the IT security and privacy world, this book provides the professional IT community and, i... |
cena:
402,53 |
![]() |
Variation Principle in Informational Macrodynamics
ISBN: 9781402074653 / Angielski / Twarda / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information Macrodynamics (IMD) belong to an interdisciplinary science that represents a new theoretical and computer-based methodology for a system informational descriptionand improvement, including various activities in such areas as thinking, intelligent processes, communications, management, and other nonphysical subjects with their mutual interactions, informational superimposition, and theinformation transferredbetweeninteractions. The IMD is based on the implementation of a single concept by a unique mathematical principle and formalism, rather than on an artificial combination of...
Information Macrodynamics (IMD) belong to an interdisciplinary science that represents a new theoretical and computer-based methodology for a system i...
|
cena:
402,53 |
![]() |
Interdisciplinary Computing in Java Programming
ISBN: 9781402075131 / Angielski / Twarda / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Books on computation in the marketplace tend to discuss the topics within specific fields. Many computational algorithms, however, share common roots. Great advantages emerge if numerical methodologies break the boundaries and find their uses across disciplines. Interdisciplinary Computing In Java Programming Language introduces readers of different backgrounds to the beauty of the selected algorithms. Serious quantitative researchers, writing customized codes for computation, enjoy cracking source codes as opposed to the black-box approach. Most C and Fortran programs,... Books on computation in the marketplace tend to discuss the topics within specific fields. Many computational algorithms, however, share common roo... |
cena:
603,81 |