Home | Amazing | Today | Tags | Publishers | Years | Search 
Constraint Logic Programming using Eclipse
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...

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and...
Doing Internet Research: Critical Issues and Methods for Examining the Net
Doing Internet Research: Critical Issues and Methods for Examining the Net

Whether or not one believes the hyperbolic claims about the Internet being the biggest thing since the invention of the wheel, the Internet is a medium with great consequences for social and economic life. Doing Internet Research is written to help people discern in what ways it has commanded the public imagination, and the...

Enterprise Information Portals and Knowledge Management (KMCI Press)
Enterprise Information Portals and Knowledge Management (KMCI Press)
'Enterprise Information Portals and Knowledge Management' is the book on portals you've been waiting for. It is the only book that thoroughly considers, explores, and analyzes:

* The EIP orientation, outlook and evolution

* A new methodology for estimating EIP benefits and costs

* EIP and Enterprise Knowledge Portals (EKP)...

Encyclopedia of 20th-Century Architecture
Encyclopedia of 20th-Century Architecture
Focusing on architecture from all regions of the world, this three-volume set profiles the twentieth century's vast chronicle of architectural achievements, both within and well beyond the theoretical confines of modernism. Unlike existing works, this encyclopedia examines the complexities of rapidly changing global conditions that have dispersed...
E-Services: Opportunities and Threats
E-Services: Opportunities and Threats
This volume presents the best papers of the special issue "E-Services" of the Journal of Value Chain Management. In association with Marketing Center Muenster (University of Muenster, Germany) and the Center for Services Marketing and Management (Florida Atlantic University, USA), the volume provides a thorough introduction and...
An Encyclopaedia of the History of Technology
An Encyclopaedia of the History of Technology
This one-of-a-kind encyclopedia presents the entire field of technology--from rudimentary agricultural tools to communication satellites--in this first-of-its-kind reference source.

Following an introduction that discusses basic tools, devices, and mechanisms, the chapters are grouped into five parts that provide detailed information
...
Computer Sound Design: Synthesis Techniques and Programming (Music Technology)
Computer Sound Design: Synthesis Techniques and Programming (Music Technology)
This comprehensive introduction to software synthesis techniques and programming is intended for students, researchers, musicians, sound artists and enthusiasts in the field of music technology.

The art of sound synthesis is as important for the electronic musician as the art of orchestration is important for symphonic music
...
Wireless Data Services: Technologies, Business Models and Global Markets
Wireless Data Services: Technologies, Business Models and Global Markets
"[T]his is a quite readable book with lots of interesting nuggets of information..." Russell J. Haines, Communications Engineer

"This is an excellent book covering all of the current research and development in the wireless industry as well as pointing out what is to come. A recommended book for all academic
...
Computational Electromagnetics for RF and Microwave Engineering
Computational Electromagnetics for RF and Microwave Engineering
The numerical approximation of Maxwell's equations, Computational Electromagnetics (CEM), has emerged as a crucial enabling technology for radio-frequency, microwave and wireless engineering. The three most popular 'full-wave' methods - the Finite Difference Time Domain Method, the Method of Moments, and the Finite Element Method - are introduced...
Web Accessibility: A Foundation for Research (Human-Computer Interaction Series)
Web Accessibility: A Foundation for Research (Human-Computer Interaction Series)
Covering key areas of evaluation and methodology, client-side applications, specialist and novel technologies, along with initial appraisals of disabilities, this important book provides comprehensive coverage of web accessibility.

Written by leading experts in the field, it provides an overview of existing research and also looks at future...

Multidimensional Programming
Multidimensional Programming
This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically...
Result Page: 245 244 243 242 241 240 239 238 237 236 235 234 233 232 231 230 229 228 227 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy