Creator: Manfred Broy
Edition: 1
Publication date: 1996-06-18
Dewey code: 005.11
List Price: $175.00
Price: $140.00
Review Deductive Program Design / Springer:This volume presents some of the most advanced research in the description of distributed systems and the design calculi of software and of hardware using functional, algebraic, logical, and programming calculi. The deductive treatment of distributed systems is presented in its complete spectrum from formal foundations and functional system specifications to assertion calculi for the verification of system programs. A highlight is the use of model checking techniques for proving properties about finite state automaton systems with extremely large state sets. It is also shown how the formalisms can be used to treat hardware systems, with emphasis on development steps leading from high-level abstractions to concrete representations. An important notion treated is that of refinement concepts in system development.
Publication date: 2000-12
Dewey code: 658
List Price: $140.00
Price: $140.00
Review Proceedings Fourth International Conference: Enterprise Distributed Object Computing : 25-28 September 2000, Makuhari, Japan / Ieee:This work contains the proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000). It explores: service provision; software architecture; business process engineering; middleware and agent; workflow; components and framework; and more.
Edition: 13
Publication date: 2001-10
Dewey code: 004
List Price: $140.00
Price: $140.00
Review Real-Time Systems: 13 Euromicro Conference / IEEE Computer Society Press:
Creator: Andrew P. Sage
Edition: 1st
Publication date: 1990-04
Dewey code: 004.03
Price: $272.25
Review Concise Encyclopedia of Information Processing in Systems & Organizations (Advances in Systems, Control and Information Engineering) / Pergamon:
Creator: Cisco Systems Inc.
Edition: 1st
Publication date: 2001-05-23
Dewey code: 004
Price: $99.95
Review CIM IP Routing Link-State Protocols (Network Simulator CD-ROM) / Cisco Systems Press:Cisci Interactive Mentor IP Routing, Link-State Protocols is the second in the CIM IP Routing series. Designed to provide fundamental IP routing concepts to use with Cisco routers, this product includes an overview of IP routing, Cisco IOS IP routing commands, and IP access lists. In addition, the link-state protocols OSPF and IS-IS are explored in detail, utilizing the Cisco command line interface for all configuration and challenge labs. Users interact with virtual network devices without the need for costly hardware connections. Includes various tips from Cisco support engineers and CCIE professionals, pop quizzes, audio and video guides, lists of supported router commands, and hyperlinked references. This CIM product consists of four modules, each one including a brief introduction, an instructional section, and several configuration labs that utilize the concepts being taught. Most modules also contain a challenge lab that test user understanding of the concepts by presenting troubleshooting scenarios for users to solve.
Authors
- Italy) International Symposium on Temporal Representation and Reasoning (8th : 2001 : Cividale dei Friuli
Dewey code: 006
List Price: $140.00
Price: $140.00
Review Temporal Representation and Reasoning (Time 2001): 8th International Workshop / Institute of Electrical & Electronics Enginee:Based on an international workshop, this text on computational intelligence cover topics including temporal representation and reasoning in AI; time management databases; and temporal logic in computer science.
Authors
- Spain) International Symposium on String Processing and Information Retrieval (7th : 2000 : La Coruna
Publication date: 2000-11
Dewey code: 005
List Price: $140.00
Price: $139.90
Review Seventh International Symposium on String Processing and Information Retrieval: Proceedings, Spire 2000, September 27-29, 2000 a Curuna, Spain / IEEE Computer Society Pr:This volume constitutes the proceedings of the 7th International Symposium on String Processing and Information Retrieval (SPIRE 2000). The papers address: software architecture for search results visualization on the Web; fast multipattern search algorithms for intrusion detection; and more.
Creator: Pawan Lingras
Publication date: 2007-08-30
Dewey code: 006.3
List Price: $180.00
Price: $140.10
Review Rough Computing: Theories, Technologies and Applications / IGI Global:Rough set theory is a new soft computing tool which deals with vagueness and uncertainty. It has attracted the attention of researchers and practitioners worldwide, and has been successfully applied to many fields such as knowledge discovery, decision support, pattern recognition, and machine learning. Rough Computing: Theories, Technologies and Applications offers the most comprehensive coverage of key rough computing research, surveying a full range of topics from granular computing to pansystems theory. With its unique coverage of the defining issues of the field, this commanding research collection provides libraries with a single, authoritative reference to this highly advanced technological topic.
Creator: Mohamed G. Gouda
Edition: 2000 & 20th
Publication date: 2000-06
Dewey code: 658
List Price: $140.00
Price: $139.96
Review Proceedings 20th IEEE International Conference on Distributed Computing Systems (International Conference on Distributed Computing Systems//Proceedings) / Institute of Electrical & Electronics Enginee:Proceedings of the April 2000 conference on distributed computing systems. Following the opening plenary address on the post-PC era, 187 papers and keynote addresses discuss mobile agents, adaptive communications, multimedia systems, network management, clustered architecture, market-based computing and agent organizations, QoS management, distributed scheduling, web performance, communication protocols, distributed system architecture, group communication, file management, internet computing, mobile communication and environment, fault tolerance techniques, distributed services, fault recovery, distributed algorithms, cluster performance, web-based applications, design with distributed algorithm, and architectural supports. Three panel discussions address VoIP engineering, information appliances, and E-commerce on the Web. Lacks a subject index.
Authors
- Mukesh Singhal
- Gurdeep S. Hura
Publication date: 2001-03-28
Dewey code: 004.6
List Price: $169.95
Price: $152.79
Review Data and Computer Communications: Networking and Internetworking / CRC:The protocols and standards for networking are numerous and complex. Multivendor internetworking, crucial to present day users, requires a grasp of these protocols and standards. Data and Computer Communications: Networking and Internetworking, a comprehensive text/reference, brings clarity to all of the complex issues involved in networking activity, providing excellent instruction for students and an indispensable reference for practitioners. This systematic work answers a vast array of questions about overall network architecture, design, protocols, and deployment issues. It offers a practical, thorough treatment of the applied concepts of data and computer communication systems, including signaling basics, transmission of digital signals, and layered architecture. The book features in-depth discussions of integrated digital networks, integrated services digital networks, and high-speed networks, including currently evolving technologies, such as ATM switching, and their applications in multimedia technology. It also presents the state-of-the-art in Internet technology, its services, and implementations. The balance of old and new networking technologies presents an appealing set of topics for both undergraduate students and computer and networking professionals. This book presents all seven layers of OSI-based networks in great detail, covering services, functions, design issues, interfacing, and protocols. With its introduction to the basic concepts and practical aspects of the field, Data and Computer Communications: Networking and Internetworking helps you keep up with the rapidly growing and dominating computer networking technology.
Creator: Paul Hasler
Edition: 1
Publication date: 2009-01
Dewey code: 004
List Price: $164.00
Price: $140.22
Review VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very ... Federation for Information Processing) / Springer:This book constitutes Extended Selections of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Creator: Euromicro Workshop on Parallel and Distributed Processing
Publication date: 2001-03
Dewey code: 004
List Price: $140.00
Price: $140.00
Review 9th Euromicro Workshop on Parallel and Distributed Processing (Euro - PDP 2001 / Ieee:This title covers topics including: networks; models and tools; applications; distributed mobile computing; distributed systems; parallel matrix processing; Web computing; performance issues; fault tolerance; and unorthodox computing architectures.
Authors
- PR&&&&
- IEEE Computer Society
- IEEE
Dewey code: 004
List Price: $140.00
Price: $140.00
Review 7th IEEE Real-Time Technology and Applications Symposium (Rtas 2001): Symposium Held May 30 Through June 1, 2001 in Taipei, Taiwan / Institute of Electrical & Electronics Enginee:Areas such as QoS issues in computation and networking, systems integration, operating systems, middleware, software engineering, and programming languages are part of the broad field of real-time computing and communication examined in this proceedings.
Creator: Robert N. Clark
Edition: 1st
Publication date: 2000-05-15
Dewey code: 620.0011
List Price: $206.00
Price: $157.72
Review Issues of Fault Diagnosis for Dynamic Systems / Springer:There is an increasing demand for dynamic systems to become safer, more reliable and more economical in operation. This requirement extends beyond the normally accepted safety-critical systems e. g. , nuclear reactors, aircraft and many chemical processes, to systems such as autonomous vehicles and some process control systems where the system availability is vital. The field of fault diagnosis for dynamic systems (including fault detection and isolation) has become an important topic of research. Many applications of qualitative and quantitative modelling, statistical processing and neural networks are now being planned and developed in complex engineering systems. Issues of Fault Diagnosis for Dynamic Systems has been prepared by experts in fault detection and isolation (FDI) and fault diagnosis with wide ranging experience. Subjects featured include: - Real plant application studies; - Non-linear observer methods; - Robust approaches to FDI; - The use of parity equations; - Statistical process monitoring; - Qualitative modelling for diagnosis; - Parameter estimation approaches to FDI; - Fault diagnosis for descriptor systems; - FDI in inertial navigation; - Stuctured approaches to FDI; - Change detection methods; - Bio-medical studies. Researchers and industrial experts will appreciate the combination of practical issues and mathematical theory with many examples. Control engineers will profit from the application studies.
Authors
- Chile) International Symposium on String Processing and Information Retrieval (8th : 2001 : Santiago
Dewey code: 652
List Price: $140.00
Price: $140.00
Review Eighth Symposium on String Processing and Information Retrieval: Proceedings : November 13-15, 2001 Laguan De San Rafael, Chile : Spire 2001 / IEEE Computer Society Pr:This volume constitutes proceedings from the 8th International String Processing and Information Retrieval (SPIRE 2001). The book covers such topics as: string processing; information retrieval (IR); and interaction of biology and computation.
Creator: Laurence Tianruo Yang
Publication date: 2004-06-30
Dewey code: 004.35
List Price: $190.00
Price: $144.18
Review Applied Parallel And Distributed Computing Advances In Computation: Theory And Practice / Nova Science Publishers:In the not too distant future, every researcher and professional in science and engineering fields will have to understand parallel and distributed computing. With hyperthreading in Intel processors, hypertransport links in AMD processors, multi-core silicon in today's high-end microprocessors from IBM and emerging cluster and grid computing, parallel and distributed computers have moved into the mainstream of computing. To fully exploit these advances in computer architectures, researchers and professionals must start to design parallel or distributed software, systems and algorithms for their scientific and engineering applications. Parallel and distributed scientific and engineering computing has become a key technology, which will play an important part in determining, or at least shaping, future research and development activities in many academic and industrial branches. This book reports on the recent important advances in the area of parallel and distributed computing for science and engineering applications. Included in the book are selected papers from prestigious workshops such as PACT-SHPSEC, IPDPS-PDSECA, and ICPP-HPSECA, together with some invited papers from prominent researchers around the world. The book is divided into five main sections. These chapters not only provide novel ideas, new experimental results and handful experience in this field, but also stimulate the future research activities in the area of parallel and distributed computing for science and engineering applications.
Creator: S. Ventura
Publication date: 2006-06-13
Dewey code: 371.3344678
List Price: $185.00
Price: $185.00
Review Data Mining in E-learning (Advances in Management Information) / WIT Press (UK):The development of e-learning systems, particularly web-based education systems, has increased exponentially in recent years. In the last years, researchers have begun to investigate various data mining methods to help teachers improve e-learning systems. These methods allow them to discover new knowledge based on students’ usage data. Following this line, one of the most promising areas is the application of knowledge extraction. As one of the first of its kind, this book presents an introduction to e-learning systems, data mining concepts and the interaction between both areas. It consists of both openly solicited and invited chapters, written by international researchers and leading experts on the application of data mining techniques in e-learning systems. The main purpose of this book is to show the current state of this research area. It includes an introduction to e-learning systems, data mining and the interaction between areas, as well as several case studies and experiences of applying data mining techniques in e-learning systems.
Authors
- Ian N. Dunn
- Gerard G.L. Meyer
Publication date: 2003-04-30
Dewey code: 005.275
List Price: $175.00
Price: $140.00
Review A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architecture / Springer:Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-heralded triumph over sequential computing has yet to materialize. This is in spite of the fact that the processing needs of many signal processing applications continue to eclipse the capabilities of sequential computing. The culprit is largely the software development environment. Fundamental shortcomings in the development environment of many parallel computer architectures thwart the adoption of parallel computing. Foremost, parallel computing has no unifying model to accurately predict the execution time of algorithms on parallel architectures. Cost and scarce programming resources prohibit deploying multiple algorithms and partitioning strategies in an attempt to find the fastest solution. As a consequence, algorithm design is largely an intuitive art form dominated by practitioners who specialize in a particular computer architecture. This, coupled with the fact that parallel computer architectures rarely last more than a couple of years, makes for a complex and challenging design environment. To navigate this environment, algorithm designers need a road map, a detailed procedure they can use to efficiently develop high performance, portable parallel algorithms. [+]The focus of this book is to draw such a road map. The Parallel Algorithm Synthesis Procedure can be used to design reusable building blocks of adaptable, scalable software modules from which high performance signal processing applications can be constructed. The hallmark of the procedure is a semi-systematic process for introducing parameters to control the partitioning and scheduling of computation and communication. This facilitates the tailoring of software modules to exploit different configurations of multiple processors, multiple floating-point units, and hierarchical memories. To showcase the efficacy of this procedure, the book presents three case studies requiring various degrees of optimization for parallel execution. This book can be used as a reference for algorithm designers or as a text for an advanced course on parallel programming.
Creator: Central Computer and Telecommunications
Publication date: 1993-10
Price: $55.00
Review Database Language SQL Explained (Information Systems Engineering Library) / Bernan Press(PA):
Authors
- Kais Al-Timimi
- John Mackrell
List Price: $79.95
Price: $150.00
Review Step: Towards Open Systems: Step Fundamentals & Business Benefits / Cimdata Inc:
| Browse Databases:
Models & Brands:
Deductive Program Design, Proceedings Fourth International Conference: Enterprise Distributed Object Computing : 25-28 September 2000, Makuhari, Japan, Real-Time Systems: 13 Euromicro Conference, Concise Encyclopedia of Information Processing in Systems & Organizations (Advances in Systems, Control and Information Engineering), CIM IP Routing Link-State Protocols (Network Simulator CD-ROM), Temporal Representation and Reasoning (Time 2001): 8th International Workshop, Seventh International Symposium on String Processing and Information Retrieval: Proceedings, Spire 2000, September 27-29, 2000 a Curuna, Spain, Rough Computing: Theories, Technologies and Applications, Proceedings 20th IEEE International Conference on Distributed Computing Systems (International Conference on Distributed Computing Systems//Proceedings), Data and Computer Communications: Networking and Internetworking, VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very ... Federation for Information Processing), 9th Euromicro Workshop on Parallel and Distributed Processing (Euro - PDP 2001, 7th IEEE Real-Time Technology and Applications Symposium (Rtas 2001): Symposium Held May 30 Through June 1, 2001 in Taipei, Taiwan, Issues of Fault Diagnosis for Dynamic Systems, Eighth Symposium on String Processing and Information Retrieval: Proceedings : November 13-15, 2001 Laguan De San Rafael, Chile : Spire 2001, Applied Parallel And Distributed Computing Advances In Computation: Theory And Practice, Data Mining in E-learning (Advances in Management Information), A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architecture, Database Language SQL Explained (Information Systems Engineering Library), Step: Towards Open Systems: Step Fundamentals & Business BenefitsTop headlines: Depression in elderly tied to heart disease: Older people who are depressed are much more likely to develop a dangerous type of internal body fat that can lead to diabetes and heart disease, a disturbing new study found. ›21:05 1 Dec, Mon White House rejects impeachment ornament: The White House won't display a Christmas tree ornament that calls for President Bush's impeachment. ›03:13 New doctors still too tired for safety: Doctors-in-training are still too exhausted, says a new U.S. report that calls on hospitals to let them have a nap. ›22:48 2 Dec, Tue Over 50 dead in Texas due to awful patient care: More than 50 mentally disabled patients in the large state-run institutions of Texas died in the past year from preventable conditions often related to poor care, an investigation shows. ›00:57 Activist vows no retreat against Japan whalers: The leader of a militant conservation group that has skirmished violently with Japanese whalers he will not retreat from confrontation during his bid to stop this season's hunt in Antarctic waters. ›15:46 Climate crusaders set to act in Congress: Democrats now have all their climate ducks lined up: Four crusaders from California ready to join forces in Congress with President-elect Barack Obama to pass mandatory emissions curbs . ›23:16 21 Nov, Fri Greenhouse gas emissions increase in US: The amount of U.S. greenhouse gases flowing into the atmosphere, mainly carbon dioxide from burning fossil fuels, increased last year by 1.4 percent after a decline in 2006, the Energy Department reported Wednesday. ›23:56 Deal struck to protect Congo gorillas: A deal between Congo rebels and the government has paved the way for staff who fled to return to the gorilla sector of Virunga National Park for the first time in 15 months. ›22:22 28 Nov, Fri Amid crisis, automakers look green in L.A.: Even as the auto industry is engulfed in a crisis, automakers are showing off their greenest rides at the Los Angeles auto show. Heres a round-up of whats on show. By Dan Carney. ›18:55 24 Nov, Mon Which Manning boy would you take?: One family, two QBs and several complicated plotlines affecting them this season. Peter Schrager picks his Manning of the year. ›17:31 Allergic reactions to HPV shot are uncommon: A study of Merck & Co Inc's cervical cancer vaccine Gardasil found that allergic reactions were uncommon and most young women can tolerate subsequent doses. ›18:30 1 in 5 young Americans has personality disorder: Almost one in five young American adults has a personality disorder that interferes with everyday life, and even more abuse alcohol or drugs, researchers report. ›22:10 1 Dec, Mon 'Miracle' at Lourdes? Don't ask these doctors: An international doctors' panel appointed by the Roman Catholic Church says it's getting out of the "miracle" business at Lourdes. ›22:58 Bison roundup shows species' prairie recovery: Bison are no longer in danger of extinction. With more than 500,000 living in North America, the animals can be found on private ranches, public parks and wildlife preserves. ›19:57 28 Nov, Fri Italian judge suspends trial of CIA agents: Frustrated by rules preventing military doctors from treating Iraqis, two U.S. soldiers began arranging for sick children to receive free medical treatment abroad. ›05:13 Obese children risk thyroid damage: Obese children may be damaging their thyroids, creating a vicious cycle of metabolism and overweight, Italian researchers reported on Wednesday. ›16:01 Attacks in Iraq at lowest level since '03: Attacks fell in November to their lowest monthly level since the Iraq war began in 2003, despite recent high-profile bombings aimed at shaking public confidence, a U.S. commander said Wednesday. ›21:42 Evidence grows for vitamin D, heart health link: People with a deficiency in vitamin D may be at increased risk of heart and blood vessel disease, the authors of a new review on research of vitamin D and heart health conclude. ›00:29 2 Dec, Tue Brand-name drugs no better than generics: There is no evidence that brand-name drugs given to treat heart and other cardiovascular conditions work any better than their cheaper generic counterparts, U.S. researchers said. ›21:35 2 Dec, Tue Cops: Kmart shooting suspect commits suicide: A Philadelphia man suspected in the shooting of a Kmart manager on a store loading dock has committed suicide. ›15:35 Texas lambasted over care of mentally disabled: Texas has more mentally disabled patients in institutions than any other state, and the federal government has concluded that the states care system is stubbornly out of step. ›20:32 Thai premier's ouster ends airport sieges: A Chinese AIDS activist said Wednesday that she was forcibly taken back to her rural home after participating in World AIDS Day in Beijing. ›17:34 Bush set to relax rules protecting species: Animals in danger of becoming extinct could lose the protection of government experts who make sure that dams and other projects don't pose a threat, under a regulation the Bush administration is set to put in place. ›16:13 20 Nov, Thu Himalaya glaciers melting much faster: Glaciers high in the Himalayas are dwindling faster than anyone thought, putting nearly a billion people living in South Asia in peril of losing their water supply. ›21:24 24 Nov, Mon |
