Publication date: 1997-07
Dewey code: 005.7565
Price: $79.50
Review The Developer's Handbook to DB2 for Common Servers (Mcgraw-Hill Series on Database Warehousing and Data Management) / McGraw-Hill Companies:Reviewed for accuracy by a team of IBM analysts and DB2 specialists, this authoritative, one-stop reference to development DB2/2 and DB2/6000 applications is the only comprehensive and up-to-date sourcebook on the latest versions of the red-hot database software that doubled its sales in the past year. Author Roger E. Sanders provides complete source code examples in this logically organized, impressively sized volume. He covers the underlying database architecture, application development fundamentals, and the latest tools for developing object-oriented DB2/2 and DB2/6000 database applications.
Creator: Dexter Booth
Publication date: 1989-01
Price: $160.00
Review Smartware: A Beginners Guide / Hyperion Books:
Creator: Grant Malcolm
Edition: 1
Publication date: 2000-03-01
Dewey code: 005.1
List Price: $222.00
Price: $215.02
Review Software Engineering with OBJ - Algebraic Specification in Action (ADVANCES IN FORMAL METHODS Volume 2) (Advances in Formal Methods) / Springer:Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.
Creator: Frank Schlottmann
Edition: 1
Publication date: 2008-09-23
Dewey code: 332
List Price: $269.00
Price: $213.20
Review Handbook on Information Technology in Finance (International Handbooks on Information Systems) / Springer:This Handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary research in the intersection between IT and finance. Included are recent trends and challenges, IT systems and architectures in finance, essential developments and case studies on management information systems, service oriented architecture modelling, IT architectures for securities trading, IT-systems in banking, process-oriented systems in corporate treasuries, grid computing and networking. The IT applications in banking, trading and insurance cover risk management and controlling, financial portals, electronic payment and others. In addition, also finance-related IT applications in non-financial companies are considered. The concept-oriented part of the book focuses on IT methods in finance like financial models and modelling financial data, planning and processes, security, algorithms and complexity.
Edition: 1st
Publication date: 2006-10-01
Price: $212.89
Review ABAP Development for SAP BW -- User Exits and BAdIs / SAP Press:Readers quickly learn the basics and dive into all key aspects of high-performance ABAP programming techniques, plus uncover the options available to manipulate the data flow from the source system through to the report. In addition, you learn how to develop extractor exits and their extensions, and how best to customize data in SAP NetWeaver BI - from transformation including the derivation of characteristics and key figures - to start and end routines to transfer and update rules. You can implement your own custom developments, step-by-step, using the final chapter on variable exits and the corresponding, extensively commented code samples. Although this SAP Press Essentials guide is based on SAP NetWeaver BI (SAP NetWeaver 2004s Release) it also discusses previous releases by outlining the key differences wherever necessary. The book is ideally suited for developers supporting a release upgrade, but it also serves as a highly useful reference book.
Authors
- Rolf Hammer
- Dietmar Ratz
- Ulrich Kulisch
- Matthias Hocks
Publication date: 1997-04-11
Price: $105.00
Review C++ Toolbox for Verified Computing I: Basic Numerical Problems / Springer:This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented.
Authors
- France) Ipdps (Conference) 2003 Nice
Dewey code: 004
List Price: $225.00
Price: $225.00
Review International Parallel and Distributed Processing Symposium, Ipdps 2003: Proceedings : April 22-26, 2003, Nice, France / Institute of Electrical & Electronics Enginee:This volume originated from the 2003 International Parallel and Distributed Processing Symposium, and examines distributed computing and real-time systems. It is intended for researchers, professors, practitioners and students.
Authors
- M. Vandenwauver
- Paul M. Ashley
Publication date: 1999-01-31
Dewey code: 005.8
List Price: $224.00
Price: $224.00
Review Practical Intranet Security: Overview of the State of the Art and Available Technologies / Kluwer Academic:Foreword by Lars Knudsen Practical Intranet Security focuses on the various ways in which an intranet can be violated and gives a thorough review of the technologies that can be used by an organization to secure its intranet. This includes, for example, the new security architecture SESAME, which builds on the Kerberos authentication system, adding to it both public-key technology and a role-based access control service. Other technologies are also included such as a description of how to program with the GSS-API, and modern security technologies such as PGP, S/MIME, SSH, SSL IPSEC and CDSA. The book concludes with a comparison of the technologies. This book is different from other network security books in that its aim is to identify how to secure an organization's intranet. Previously books have concentrated on the Internet, often neglecting issues relating to securing intranets. However the potential risk to business and the ease by which intranets can be violated is often far greater than via the Internet. The aim is that network administrators and managers can get the information that they require to make informed choices on strategy and solutions for securing their own intranets. The book is an invaluable reference for network managers and network administrators whose responsibility it is to ensure the security of an organization's intranet. The book also contains background reading on networking, network security and cryptography which makes it an excellent research reference and undergraduate/postgraduate text book. [+]Practical Intranet Security also includes a CD-ROM with the SESAME security architecture, and example SESAME secured applications.
Publication date: 2004-08-31
Review International Conference on Bioinformatics and Bioengineering (BIBE 2004) / IEEE Computer Society Press,U.S.:
Publication date: 1997-04-24
List Price: $49.99
Price: $215.13
Review Essentials Excel Off97 Lv1 I/M B+d Sup / Que:
Creator: Philippe Smets
Edition: 1
Publication date: 1996-12-31
Dewey code: 005.74
List Price: $274.00
Price: $214.54
Review Uncertainty Management in Information Systems: From Needs to Solutions / Springer:Uncertainty Management in Information Systems: From Needs to Solutions is a book about how information systems can be made to manage information permeated with uncertainty. This subject is at the intersection of two areas of knowledge: information systems is an area that concentrates on the design of practical systems that can store and retrieve information; uncertainty modeling is an area in artificial intelligence concerned with accurate representation of uncertain information and with inference and decision-making under conditions infused with uncertainty. The first part of this book describes issues and challenges in the area of imperfect information that confront information systems, and the second part covers the principal theories for modeling imperfect information, and shows how these theories may be adapted to information systems. All chapters are original contributions and present solutions that have been applied and the experiences that have been gained from those solutions. The material has been closely edited by the book's editors for content, consistency and style. This authoritative book is state-of-the-art coverage of `Uncertainty Management in Information Systems'.
Publication date: 2003-03-21
Dewey code: 005.437
Price: $79.99
Review Applications Interface Programming Using Multiple Languages: A Windows Programmer's Guide / Prentice Hall PTR:This book addresses the need for interfaces, or bridges, between the multiple popular programming languages. With the development of the advanced computer controls and applications, the single programming language sometimes has a limitation for today's complicated projects. Programmers will frequently be working with multiple programming languages at a time and, currently, do not have a "bridge" language to tie things together. They spend countless work hours either converting code or working simultaneously on 2 (or more) different languages at once. To solve this problem and to utilize the advantages of multiple languages, an interface is needed to set a bridge between the different languages. The programming languages covered in this book include: C/C++ and Visual C++ 6. 0, Visual Basic 6. 0, Java 1. 2 and 1. 3, Perl, LabView, LabWindows/CVI and Measurement Studio, Matlab, Matlab C/C++ Math library, Matlab compiler and Matlab Graphic library, and SmallTalk. [+]Practical and hands-on programming examples are provided with each project in the book. All program examples, which are stored in the attached CD-ROM, have been tested, debugged and applied in the actual projects. Readers can easily select the examples to suit their special needs.
Edition: 1
Publication date: 1995-02-09
Dewey code: 005.756
Price: $44.00
Review Foundations of Semantic Databases / Prentice Hall PTR:Providing a comprehensive theory of data modelling, this book explains the important concepts and principles with real-life examples showing how to apply it directly in practical applications. Topics covered include: a wide variety of functional requirements and query specification capabilities; a formal treatment of the semantics of the data; static and dynamic constraints and business rules; operations on tables, databases, and database universes; data dictionaries and their semantics; and comparisons of incidental properties and structural properties throughout the book. The book is aimed at professional database users such as designers, administrators and programmers, as well as specialists involved in data processing.
Publication date: 1989-01-01
Review Handbook on Microcomputers / McGraw-Hill Education:
Publication date: 1997-06
Dewey code: 681.7610285
List Price: $189.00
Price: $215.25
Review Software Quality Assurance Sops for Healthcare Manufacturers / Interpharm Pr:This work provides not only guidance for generating documents but also templates that can be used to establish the documentation for a software quality assurance program for healthcare manufacturers. Readers can use the policies and guidelines as presented, modify them for use within their organizations, or use them to compare and contrast with any existing software engineering policies and SOPs within their organizations. They can also use the project documentation examples as presented within this volume. In this second edition, all templates have been revised and several new templates have been included.
Publication date: 1998-03
Dewey code: 004
List Price: $59.99
Price: $215.11
Review Teach Yourself Java 1.1 in 21 Days, Sun Certification Exam Preparation Guide (Sams Teach Yourself) / Sams Publishing:A self-study guide for preparing for the Sun Java Programmer Certification exam, this information is presented in the popular "Teach Yourself" format. The 56 course objectives are covered completely with hands-on examples, followed by sample questions that will prepare users for the exam. The CD-ROM includes a series of sample tests that the reader can take electronically.
Creator: Simulation Symposium
Publication date: 1988-03
List Price: $28.00
Price: $215.13
Review Record of Proceedings: 21st Annual Simulation Symposium (Simulation Symposium//Record of Proceedings) / Society for Computer Simulation:
Publication date: 1993-03-15
Review Superbase / Butterworth-Heinemann Ltd:
Creator: Jack Minker
Edition: 1
Publication date: 2000-12-31
Dewey code: 006.3
List Price: $279.00
Price: $213.18
Review Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597) / Springer:This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and surveys of almost every subject that uses logic in AI, contributed by leading scientists, and grew out of preliminary work presented at the Workshop on Logic-Based Artificial Intelligence held in Washington, DC, June 1999. All papers have been extensively refereed and revised. The introductory article presents background on research that has transpired since 1959 and discusses the significance of each chapter in this context. The topics covered in the book are commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and actions, inductive reasoning, possibilistic logic, logic and beliefs, logic and language, computational logic, knowledge base system implementations, and applications of theorem proving and logic programming. Logic-Based Artificial Intelligence is invaluable to graduate students and researchers in artificial intelligence, and advanced methods for database and knowledge base systems. Logic-Based Artificial Intelligence will also be of interest to those applying theorem proving methods to problems in program and hardware verification, to those who deal with large knowledge base systems, those developing cognitive robotics, and for those interested in the solution of McCarthy's 1959 "oldest planning problem in AI: getting from home to the airport".
Publication date: 2003-12-31
Review International Workshop on Source Code Analysis and Manipulation (SCAM 2003) / IEEE Computer Society Press,U.S.:
| Browse Software:
Models & Brands:
The Developer's Handbook to DB2 for Common Servers (Mcgraw-Hill Series on Database Warehousing and Data Management), Smartware: A Beginners Guide, Software Engineering with OBJ - Algebraic Specification in Action (ADVANCES IN FORMAL METHODS Volume 2) (Advances in Formal Methods), Handbook on Information Technology in Finance (International Handbooks on Information Systems), ABAP Development for SAP BW -- User Exits and BAdIs, C++ Toolbox for Verified Computing I: Basic Numerical Problems, International Parallel and Distributed Processing Symposium, Ipdps 2003: Proceedings : April 22-26, 2003, Nice, France, Practical Intranet Security: Overview of the State of the Art and Available Technologies, International Conference on Bioinformatics and Bioengineering (BIBE 2004), Essentials Excel Off97 Lv1 I/M B+d Sup, Uncertainty Management in Information Systems: From Needs to Solutions, Applications Interface Programming Using Multiple Languages: A Windows Programmer's Guide, Foundations of Semantic Databases, Handbook on Microcomputers, Software Quality Assurance Sops for Healthcare Manufacturers, Teach Yourself Java 1.1 in 21 Days, Sun Certification Exam Preparation Guide (Sams Teach Yourself), Record of Proceedings: 21st Annual Simulation Symposium (Simulation Symposium//Record of Proceedings), Superbase, Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597), International Workshop on Source Code Analysis and Manipulation (SCAM 2003)Top headlines: Problems force manual docking at space station: A Russian cosmonaut used a joystick to guide a modernized cargo ship to the international space station Sunday after problems with an automated system prompted a last-minute switch to a manual docking. ›17:01 30 Nov, Sun Obama taps Clinton, Gates: President-elect Barack Obama announced former rival Hillary Rodham Clinton as his choice for secretary of state Monday and also said he would keep Robert Gates as defense minister. ›17:34 Your Career: Entitlements of the unemployed: With jobless claims at a 14-year high, this is a good time to figure out what youre entitled to if youre laid off or if you sense a pink slip may be in your future. ›15:05 Do Women Lead Differently Than Men?: Americans could elect our first female president in 2008. What the most powerful women of the past can teach us about how to rule in the future. ›21:39 6 Oct, Sat Twix and pizza are these really diet foods?: Proponents of the glycemic index say the secret to losing your gut is to eat by their numbers. But what happens when those numbers lie? ›17:40 28 Nov, Fri Specter: 'I'll be prepared' for 2010 race: Sen. Arlen Specter, R-Pa., says he's ready for a tough re-election race in 2010, whether it's against MSNBC pundit Chris Matthews or someone else. ›16:14 Hirsh: Democracy's Strange Bedfellows: The champions of democracy often share an overly romantic view of how quickly it can flower in hostile soil. ›16:56 11 Oct, Thu Scoop: Britney had ulterior motive for TV special: "Britney: For the Record" might offer an inside glimpse into the pop star's life, but offering up tidbits about her failed relationship with Kevin Federline wasn't the goal of the documentary. ›02:35 New hope on AIDS in Africa: In a sign of hope on a continent ravaged by AIDS, a South African fertility clinic has started a service allowing couples infected with the virus to have a healthy baby. ›12:20 For the Record, Britney reveals very little: "No topic was off limits. No question went unanswered." That's what we were told at the beginning of the MTV documentary "Britney: For the Record." But Britney's answers to those questions provide very little insight about her life, her decision-making, or her mistakes. ›13:46 Childhood sleep terrors inherited, study finds: Night terrors, which send children into sudden inconsolable screaming, are at least partially inherited, according to a study published on Monday. ›17:26 Seeking Common Ground on Abortion: Can evangelicals and liberals come together over abortion, gay rights, and the role of religion in public life? ›14:35 10 Oct, Wed 'Christmas Story' fans celebrate film's 25th year: Fans of the holiday classic "A Christmas Story" are celebrating the film's 25th anniversary with a convention and trips to the house where it was made. ›23:07 30 Nov, Sun Book Excerpt: Vegetable Dishes I Cant Live Without: A book excerpt by Mollie Katzen. ›21:49 6 Oct, Sat A Muslim Letter to Christians: In an unprecedented letter, Muslim leaders across the globe invite the worlds Christians to the table. ›14:33 11 Oct, Thu Pentagon to detail plan to bolster security: The U.S. military expects to field 20,000 uniformed troops inside the country by 2011, to respond to a nuclear terrorist attack or other domestic catastrophe, Pentagon officials say. ›04:46 Aston Martin laying off 600 employees: Aston Martin, maker of James Bond's luxury sports car, said Monday that it is laying off as much as a third of its work force because of falling sales during the economic slump. ›18:16 Is gay the new black?: Gay is the new black, say the protest signs and magazine covers, casting the gay marriage battle as the last frontier of equal rights for all. ›18:53 30 Nov, Sun Fuel-cell powered devices getting closer: Laptop, cell phone and iPod owners tired of having their devices run out of charge after a few hours have been patiently waiting for the next portable power source to arrive. ›20:40 30 Nov, Sun Newsweek: Big Three combo could save Detroit: Newsweek: Big Three combo could save Detroit ›14:30 Cars: Wheres the Perfect Part?: In the past, finding the perfect part for a classic-car restoration meant joining enthusiast clubs, hanging around swap meets and pawing through junkyards. How the Web has revolutionized the hunt. ›16:21 9 Oct, Tue Brain waves show autism language problems: Unique brain wave patterns, spotted for the first time in autistic children, may help explain why they have so much trouble communicating. ›17:12 'War and Peace': New Versions Worth the Read: 'War and Peace' has been the Everest of literature for more than 150 years. Two new English versions remind us why Tolstoy's tome is still worth the climb. ›22:06 6 Oct, Sat Laser technique produces bevy of antimatter: Blasting a gold target with high-powered lasers creates huge amounts of antimatter, reported scientists from the Lawrence Livermore National Laboratory at a conference last week. ›16:53 |
