Creator: R.L. Rankin
Edition: 1
Publication date: 1993-01-01
Dewey code: 005.14
List Price: $399.00
Price: $371.96
Review Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems) / Springer:Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C. A. R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. [+]These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
Publication date: 2006-04-30
Dewey code: 372
List Price: $371.82
Price: $371.82
Review This Is Geography 1: Elearning Activities Cd (This Is Geography) / Hodder Murray:This is Geography is a major new course for Key Stage 3 Geography aiming to raise standards of teaching and learning through covering less content but doing more learning with it. It has been thoroughly revised to reflect the concept based approach of the revised National Curriculum. It offers: - an enquiry based approach - a streamlined scheme of work - worthwhile and significant tasks - integrated ICT This CD ROM provides e-learning activities to support and extend the use of Pupil Book 1 - including web-based searches, animations, video clips, pictures, whiteboard activities and much more.
Publication date: 2005-12-05
Price: $364.89
Review Objects Abstraction Data Structure Design Using Java: WITH eGrade Plus 1 Term / John Wiley & Sons Inc:
Creator: Karen O. Egiazarian
Publication date: 2002-04-30
Price: $363.72
Review Image Processing: Algorithms and Systems / SPIE Society of Photo-Optical Instrumentation Engi:
Authors
- Maryann Barber
- Robert T. Grauer
Review Data Base Management Through DBase: I.B.M. / McGraw-Hill Education (ISE Editions):
Authors
- Leigh Ann Sudol
- Joseph Chase
- John Lewis
Publication date: 2005-09-24
Dewey code: 005
Price: $74.00
Review Java Software Structures for AP Computer Science AB / Addison Wesley:This book presents advanced data structures and algorithms to prepare students for the Advanced Placement* Computer Science AB Exam. Throughout the book, the authors provide detailed descriptions of the data structures and algorithms that are required by the College Board AP curriculum. Programming projects, self-review questions, and code examples reinforce concepts in every chapter. Specific information relating to the current AP Case Study is available on the book's Web site, so you know you are getting the most up-to-date materials. This title is available and can be purshased from our Pearson education school division at: http://k12catalog. pearson. com/program_single. cfm?site_id=6&program_id=20792&searchType=Author&searchTerm=lewis *Advanced Placement, Advanced Placement Program, AP, and Pre-AP are registered trademarks of College Board, which was not involved in the production of, and does not endorse, these products.
Publication date: 2003-01
List Price: $282.00
Price: $380.94
Review 2003 International Conference on Natural Language Processing and Knowledge Engineering: Proceedings: Nlp-Ke 2003: Beijing, China / Institute of Electrical & Electronics Enginee:
Creator: Andrew J. Woods
Publication date: 2002-04-30
Price: $363.72
Review Stereoscopic Displays and Virtual Reality Systems IX / SPIE Society of Photo-Optical Instrumentation Engi:
Authors
- IEEE Signal Processing Society
Publication date: 2000-10
List Price: $454.00
Price: $454.00
Review 2000 International Conference on Image Processing: Proceedings, September 10-13, 2000, Vancouver Convention & Exposition Centre, Vancouver, British Columbia, Canada / IEEE Standards Office:
Creator: R.S. Mitchell
Publication date: 1984-12-31
Review Machine Learning (Symbolic Computation) / Springer-Verlag Berlin and Heidelberg GmbH & Co. K:This exciting addition to the McGraw-Hill Series in Computer Science focuses on the concepts and techniques that contribute to the rapidly changing field of machine learning-including probability and statistics, artificial intelligence, and neural networks-unifying them all in a logical and coherent manner. Machine Learning serves as a useful reference tool for software developers and researchers, as well as an outstanding text for college students.
Publication date: 2003-03-21
Price: $369.54
Review System Analyst and Design with Uml with Visible an Alyst and Microsoft Project 2002 Set / John Wiley & Sons Inc:
Authors
- IEEE
- IEEE Signal Processing Society
Publication date: 1996-06
Dewey code: 621
List Price: $404.00
Price: $404.00
Review 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing: Conference Proceedings (Ieee International Conference on Acoustics, Speech, and Signal Processing//I C a S S P (Year)) / Institute of Electrical & Electronics Enginee:ICASSP offers comprehensive coverage of the many interdisciplinary applications of signal processing to engineering and research fields. These proceedings include the findings of special sessions which focused on automotive, astronomical, biological imaging and environmental fields.
Authors
- Dr. D
- Yoh-Han Pao
- Mohamed A. El Sharkawi
- Dagmar Niebur
- Hiroyuki Mori
Dewey code: 621
List Price: $375.00
Price: $375.00
Review Overview of Artificial Neural Networks / Institute of Electrical & Electronics Enginee:Over the past years, several technologies have been introduced to help the engineering industry analyze and design large-scale complex systems. One of these techniques is artificial neural network technology. The primary advantages of this technology are in the area of learning algorithms, on-line adaptation of dynamic systems, quick parallel computation and intelligent interpolation of data. This programme is a module of the video tutorial "Artificial Neural Networks with Applications to Power Systems". The purpose of this CD-ROM course is to provide an introduction to artificial neural network (ANN) technology for power system engineers. This tutorial gives an overview of ANNs, including network architectures, principles of operation, learning rules, advantages and limitations. The objective is to give the reader a working knowledge of ANN including examples. From this CD-ROM, the viewer will learn about neural network architecture and learning algorithms. The introduction, "Historical Perspectives on Neural-Net Computing", focuses on neural-net computing as a computational paradigm and relates it to research activities and achievements in several other disparate disciplines. "Introduction to Concepts in Artificial Neural Networks" summarizes some basic concepts of computational neuroscience and the resulting modules of artificial neurons, introducing biological and machine learning and neural processing terminology. [+]The next section, "An Example of Unsupervised Networks Kohonen's Self-Organizing Feature Map", details supervised learning attempts to determine the relationship between a set of input or stimulus data and corresponding output data. "Neural Network and its Ancillary Techniques as Applied to Power Systems" addresses why neural networks are a useful problem solving tool in the power industry. The final section, "State-of-the-Art Overview on Artificial Neural Networks in Power Systems" describes ANNs in power systems, as well as how to apply the typical ANNs to specific problems.
Publication date: 1991-08-01
Review PROLOG and Expert Systems / McGraw-Hill Education (ISE Editions):
Edition: 1st
Publication date: 1998-01-14
Dewey code: 005.133
Price: $60.95
Review Advanced C Programming by Example / International Thomson Publishing Services:This practical, example-driven, code-centered book is intended for intermediate-level C programmers who want to take their skills to the next level. The book builds on readers' existing background in C to complete their knowledge of ANSI C libraries, and the conceptual and syntactic structures needed to master dynamic data structures, string parsing and numeric conversion, memory management, bit-level manipulation, interactions with operating systems, and other advanced techniques. What sets this book apart from traditional data structures books is it's "blue collar" approach to the art of programming - how to master the "down in the trenches" C details to implement abstract ideas successfully. In recognition of this approach, the book presents actual C code rather than pseudocode.
Authors
- Stefan-Alexander Schneider
Review Adaptive Solution of Elliptic Partial Differential Equations by Hierarchical Tensor Product Finite Elements (Berichte aus der Informatik) / Shaker Verlag:
Publication date: 1989-10-01
Review Computer Hardware, Systems Software and Architecture / McGraw-Hill Education (ISE Editions):
Authors
- Simon Haykin
- David G. Thomson
Dewey code: 531
Price: $89.95
Review Adaptive Signal Detection (Adaptive and Learning Systems for Signal Processing, Communications and Control Series) / Wiley-IEEE Press:The author is a well-known expert and successful author in the fields of signal processing and communications. This is the first book published on adaptive signal detection. Features case studies.
Edition: Vhs
Publication date: 1999-01
Dewey code: 610
List Price: $366.95
Price: $366.95
Review Dealing With Dementia / Prentice Hall Health:
Authors
- Sharon Burton
- Nelda Shelton
Review Using V. P. Planner Plus (Software Solutions) / Houghton Mifflin (Academic):
| Browse Software:
Models & Brands:
Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems), This Is Geography 1: Elearning Activities Cd (This Is Geography), Objects Abstraction Data Structure Design Using Java: WITH eGrade Plus 1 Term, Image Processing: Algorithms and Systems, Data Base Management Through DBase: I.B.M., Java Software Structures for AP Computer Science AB, 2003 International Conference on Natural Language Processing and Knowledge Engineering: Proceedings: Nlp-Ke 2003: Beijing, China, Stereoscopic Displays and Virtual Reality Systems IX, 2000 International Conference on Image Processing: Proceedings, September 10-13, 2000, Vancouver Convention & Exposition Centre, Vancouver, British Columbia, Canada, Machine Learning (Symbolic Computation), System Analyst and Design with Uml with Visible an Alyst and Microsoft Project 2002 Set, 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing: Conference Proceedings (Ieee International Conference on Acoustics, Speech, and Signal Processing//I C a S S P (Year)), Overview of Artificial Neural Networks, PROLOG and Expert Systems, Advanced C Programming by Example, Adaptive Solution of Elliptic Partial Differential Equations by Hierarchical Tensor Product Finite Elements (Berichte aus der Informatik), Computer Hardware, Systems Software and Architecture, Adaptive Signal Detection (Adaptive and Learning Systems for Signal Processing, Communications and Control Series), Dealing With Dementia, Using V. P. Planner Plus (Software Solutions)Top headlines: 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 Can the Youth Vote Save Obama?: With the Hillary juggernaut growing in strength every day, Barack Obama is hoping Iowas youth can help keep him in the game. ›14:47 8 Oct, Mon In just minutes, Mumbai was under siege: Retracing the steps of the Mumbai attackers offers clues as to how a posse of just 10 gunmen brought India's largest city to its knees in a matter of minutes. ›04:46 Technology Review: 2007 Ford Expedition: Ford's full-size SUV is big on conveniences and standard features. ›07:00 19 Oct, Fri Q&A: Policing School Shootings: A disturbed 14-year-old wounds four before killing himself in Clevelandjust another spasm of violence in another bloody year for Americas schools. How to spot trouble before it opens fireand the ongoing debate over blame for a cycle that just wont stop. ›23:25 11 Oct, Thu Randy Jackson reveals his weight battle: After landing in an emergency room with diabetes and gastric bypass surgery that helped him lose 100 pounds, Randy Jackson of American Idol has written about his experience in hopes of helping others defeat obesity. Weight control is like a serious disease, he said. ›16:53 Anthony Bourdain dishes on parenting and food: After spending years introducing television viewers to unusual eats from around the globe, culinary bad boy Anthony Bourdain is focused on a smaller perhaps tougher audience: his 19-month-old daughter. ›20:02 28 Nov, Fri Pilgrim's Pride files for bankruptcy protection: Pilgrims Pride Corp., the nations largest chicken producer, filed for Chapter 11 bankruptcy protection on Monday, hobbled by its debt load and volatile feed prices. ›18:43 Q&A: Shawn Hornbecks Parents: The parents of kidnap victim Shawn Hornbeck speak out on the sentencing of their sons tormentor and the status of the boys recovery. ›20:50 12 Oct, Fri 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 Top 10 Sports Cars on MSN Autos: The most popular sports cars on MSN Autos, based on visits to the site's vehicle pages. ›07:00 18 Oct, Thu Real Estate: Keeping Tabs On 'This Old House': Now in its 28th year, 'This Old House' has helped transform dozens of houses. But what does it really cost to be part of this DIY club? ›17:21 9 Oct, Tue Wall Street tumbles on fears about economy: Confirmation that the nation is in a recession and signs pointing to a prolonged downturn sent Wall Street plunging once again, hurtling the Dow down more than 440 points. ›18:12 Rice: India probe will test Pakistan's will: The United States has told Pakistan it expects nothing short of complete cooperation in investigations into the terrorist rampage in nuclear rival India. ›17:05 2007 Tokyo Motor Show: Top 10 Production Cars: Editors' ten favorite production vehicles at the biennial show. ›07:00 29 Oct, Mon Answer Desk: Explaining the oil bust: With oil prices at a third of peak levels, OPEC producers are having little luck trying to prop them back up. So was the price spike driven by greedy speculators after all? Answer Desk. ›21:57 30 Nov, Sun Ethnic Minorities Key to Burma's Future: As the vast majority of Burmese citizens clamor for change, ethnic minorities could be keys to the countrys future. How theyre planning ahead. ›20:30 6 Oct, Sat Slain anchors parents still ask: Why?: A suspect is in custody, but unanswered questions remain about why Anne Pressly was brutally murdered in her home, the Little Rock TV anchors parents said Monday. They revealed that there is evidence their daughter was sexually assaulted. ›14:22 Son of slain rabbi heads to Israel: An Israeli Air Force jet left India for Israel Monday carrying the 2-year-old orphan of a rabbi and his wife who were slain in the Mumbai Jewish center attack. ›16:47 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 FDA sets safe level for infant formula chemical: Federal regulators set a safety threshold Friday for the industrial chemical melamine that is greater than the amount of contamination found so far in U.S.-made infant formula. ›01:10 29 Nov, Sat Cost of 12 days of Christmas rises to $86,609: Given the economic downturn, even the most romantic might balk at the $86,609 price tag for the items in the carol, The Twelve Days of Christmas. ›05:07 Book Excerpt: Vegetable Dishes I Cant Live Without: A book excerpt by Mollie Katzen. ›21:49 6 Oct, Sat Top 5 party and gift wines: Wondering what bottle to bring to the party? Epicurious profiles five perfect presents in the red, white, and sparkling varieties. ›16:11 26 Nov, Wed |
