 |
|
 Constraint Logic Programming using Eclipse
Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying... | | Conquest in Cyberspace: National Security and Information WarfareWith billions of computers in existence, cyberspace, 'the virtual world created when they are connected,' is said to be the new medium of power. Computer hackers operating from anywhere can enter cyberspace and take control of other people's computers, stealing their information, corrupting their workings, and shutting them down. Modern societies... | | Reactive Systems: Modelling, Specification and VerificationFormal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,... |
|
| | Integration-Ready Architecture and Design: Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge TechnologiesOne might think that the software industry is performing very well because it is armed with object-oriented approaches, Web services, Java and .NET technologies, and so forth. Unfortunately, this is not true.
There may be something wrong with the way we write programs. The process has not changed much during the past twenty years, except... | | Modern Coding TheoryHaving trouble deciding which coding scheme to employ, how to design a new scheme, or how to improve an existing system? This summary of the state-of-the-art in iterative coding makes this decision more straightforward. With emphasis on the underlying theory, techniques to analyse and design practical iterative coding systems are presented. Using... |
|
The Psychology of the InternetThis timely volume explores the psychological aspects of cyberspace, a virtual world in which people from around the globe are acting and interacting in many new, unusual, and occasionally alarming ways. Drawing on research in the social sciences, communications, business, and other fields, Patricia Wallace examines how the online environment can... | | Testing of Digital SystemsThe fraction of the industrial semiconductor budget that manufacturing-time testing consumes continues to rise steadily. It has been known for quite some time that tackling the problems associated with testing semiconductor circuits at earlier design levels significantly reduces testing costs. Thus, it is important for hardware designers to be... | | Automata Theory with Modern Applications'Anderson's book gives an excellent, clearly written account of automata theory.' SIAM Review
Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily... |
|
Wireless CommunicationsThis book provides a comprehensive introduction to the basic principles, design techniques and analytical tools of wireless communications, focusing primarily on the design of practical systems. It begins with an overview of wireless systems and standards. The characteristics of the wireless channel are then described, including capacity limits.... | | Introduction to Information RetrievalClass-tested and coherent, this groundbreaking new textbook teaches web-era information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. Written from a computer science perspective by three leading experts in the field, it gives an up-to-date treatment of all aspects of the design... | | Distributed Computing: Principles, Algorithms, and SystemsDesigning distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed... |
|
| Result Page: 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 |
