Creator: Tom Anderson
Edition: 1
Publication date: 2008-01-24
Dewey code: 363.11
List Price: $119.00
Price: $110.14
Review Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008 (Safety-Critical Systems Club) / Springer:Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field. The book begins with a tutorial examining the recent marked shift in the regulatory approach to ensuring software safety. Whereas compliance with development standards used to be norm, the responsibility has now shifted on to the developers and operators to construct and present well reasoned arguments that their software is acceptably safe (in a system context). These arguments, together with supporting evidence, are typically assembled, structured and presented in a software ‘safety case’. This tutorial is crucial to all involved in the discipline and an excellent introduction to the topics subsequently discussed. The first paper reflects a tutorial – on The Safety Case – held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium’s sessions: Themes Reprised from SSS ’07; The Safety Case; Safety Culture; Human Factors; Achieving and Improving System Safety; Safety and Risk Analysis. This book will be of interest to both academics and practitioners working in the safety-critical systems arena.
Authors
- IEEE
- IEEE Computer Society
Dewey code: 005
List Price: $110.00
Price: $110.00
Review Proceedings Ninth International Workshop on Rapid System Prototyping: June 3-5, 1998 Leuven, Belgium / Institute of Electrical & Electronics Enginee:
Edition: Har/Dis
Publication date: 1991-12
Dewey code: 005.43
Price: $39.95
Review Building Applications With Toolbook (Book and Disk) / Brady:This disk/book package offers practical, hands-on guidance to creating Windows applications quickly, without programming expertise. Topics covered are an address and phone book file, a marketing application with animations, and an expert system with database query applications.
Creator: E. D. Tagg
Publication date: 1988-09
Dewey code: 371.39445
Price: $207.50
Review Informatics and Education: An Anthology of Papers Selected from Ific Tc 3 Publications Since the Establishment of Tc 3 in 1963 / Elsevier Science Ltd:
Creator: Tony Griffiths
Publication date: 1999-08
Dewey code: 005
List Price: $110.00
Price: $110.00
Review Uidis '99 User Interfaces to Data Intensive Systems: 5-6 September 1999 Edinburgh, Scotland Proceedings / Institute of Electrical & Electronics Enginee:
Authors
- Yves Lafont
- Paul Taylor
- Jean-Yves Girard
Price: $49.95
Review Proofs and Types (Cambridge Tracts in Theoretical Computer Science) / Cambridge University Press:This book is derived from notes prepared by J-Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.
Authors
- IEEE Computer Society
- IEEE
Dewey code: 004.35
List Price: $110.00
Price: $110.00
Review 5th International Conference on Massively Parallel Processing Using Optical Inerconnections, Mppoi' 98 / Institute of Electrical & Electronics Enginee:This text covers the subjects of computer architecture and parallel and high-performance computing. Topics include: free-space optical interconnect systems; design and analysis of optical interconnects; interconnect system analysis; and fiber-based interconnects.
Edition: 1999 & 7th
Publication date: 1999-06
Dewey code: 005
List Price: $110.00
Price: $110.00
Review Hot Topics in Operating Systems (Hotos-Vii), 7th Workshop on: IEEE Computer Society, Sponsor(S / Institute of Electrical & Electronics Enginee:This collection of essays from the 7th Workshop on Hot Topics in Operating Systems (HOTOS-VII) includes a wide range of relevant issues and topics.
Authors
- Et Al
- Dan Holme
- Orin Thomas
Publication date: 2004-11-10
Dewey code: 005.4476
List Price: $65.00
Price: $112.76
Review Managing And Maintaining a Microsoft Windows Server 2003 Environment for a Mcsa Certified on Windows 2000 (70-292): Frontpage 2002 And 2003 (Pro Academic Learning) / Microsoft Press:
Publication date: 1987-04
Dewey code: 005.43
Price: $28.00
Review Unix System V: Utilities Release Notes (Prentice-Hall C & UNIX Systems Library) / Prentice Hall:
Publication date: 1984-04
Price: $12.95
Review Dragon Programmer's Reference Guide / Melbourne House:
Edition: 1
Publication date: 1999-04
Dewey code: 005.284
List Price: $117.00
Price: $110.95
Review Fundamentals of X Programming: Graphical User Interfaces and Beyond (Series in Computer Science) / Springer:The X is the dominant window system under Unix, and X servers are available for Microsoft Windows, thus enabling graphics over a network in the PC world. This book provides an overview of the X Window System, focusing on characteristics that have significant impact on the development of both application programs and widgets. It pays special attention to applications that go beyond graphical user interfaces (GUIs), such as visualization and imaging programs; issues affecting video games; and designing widgets with a complex appearance. While the book does not assume previous knowledge of X, it is intended for experienced programmers, especially those who want to write programs that go beyond simple GUIs.
Authors
- Jürgen Gulbins
- Karl Obermayr
Review Desktop Publishing mit FrameMaker. Für UNIX, MAC OS und Windows (Edition PAGE) / Springer Verlag:Adobe FrameMaker 7 ist das führende Programm in der Technischen Dokumentation und für professionelles Publishing hochvolumiger Produkte. Das Buch wendet sich an alle FrameMaker-Anwender unter Windows, MacOS und UNIX und an Umsteiger von anderen Publishing-Systemen. Es bietet eine solide Grundlage für die Arbeit mit FrameMaker mit vielen Tipps und Hinweisen aus der Praxis und zeigt, wie damit komplexe Dokumente, Bücher und Manuale aufgebaut und gestaltet werden können. Es vermittelt ferner fundamentale Grundlagen der Typographie, zum Einsatz und Druck von Farbe, zur Online-Zusammenarbeit mit WebDAV und insbesondere zur Ausgabe in PDF, HTML und XML. Das Buch ist sehr ausführlich gehalten und soll als Einführungs- und Arbeitsbuch dienen und damit auch dem erfahrenen FrameMaker-Nutzer ein nützliches Werkzeug sein.
Creator: VHDL International
Edition: 1999
Publication date: 1999-08
Dewey code: 004
List Price: $110.00
Price: $110.00
Review 1999 Fall Viuf Workshop: Proceedings October 4-6, 1999 Orlando, Florida, USA / Institute of Electrical & Electronics Enginee:Topics from these workshop papers include: design reuse; teset and functional verification; and business issues.
Edition: 1st
Publication date: 2001-12-15
Dewey code: 005.432
List Price: $44.99
Price: $109.99
Review Reliable Linux: Assuring High Availability / John Wiley & Sons:An In the Trenches(TM) look at how to run e-commerce and intranet applications 24/7 on Linux-based servers This book shows system administrators, managers, and developers how to scale up Linux to run on large server systems in order to maintain high availability for e-commerce applications. It brings readers quickly up to speed on Linux 2. 4, the latest version, and its new enterprise features, providing detailed instructions on analyzing, setting up, and maintaining robust Linux servers that can operate reliably with little or no downtime. Readers will learn about risk analysis, fault tolerance, configuration, monitoring, backup, and recovery. They'll also get top-notch advice on Linux's new features, including Logical Storage Management (LSM), alternative file systems, and high-availability clusters. No other book on the subject offers the kind of practical thinking, tools, analysis, and tests featured in this hands-on guide.
Creator: Qi Hao
Edition: 1
Publication date: 2007-08-08
Dewey code: 005
List Price: $119.00
Price: $109.26
Review Computer Supported Cooperative Work in Design III: 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers (Lecture Notes in Computer Science) / Springer:This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2006, held in Nanjing, China in May 2006. The 76 revised full papers presented were carefully reviewed and selected from about 600 submissions during two rounds of reviewing and improvement. They contain expanded versions of the papers presented at the conference and are organized in topical sections on CSCW techniques and methods, collaborative design, collaborative manufacturing and enterprise collaboration, design methods and tools, agents and multi-agent systems, Web services, semantic Web, and grid computing, knowledge management, security and privacy in CSCW systems, workflow management, and e-learning.
Authors
- Sandeep K. Shukla
- Hiren D. Patel
Publication date: 2008-06-22
Dewey code: 003
List Price: $149.00
Price: $109.91
Review Ingredients for Successful System Level Design Methodology / Springer:
Creator: Robert Morris
Publication date: 1998-06
Dewey code: 006.333
List Price: $110.00
Price: $110.00
Review Proceedings Fifth International Workshop on Temporal Representation and Reasoning: Sanibel Island, Florida May 16-17, 1998 / IEEE Computer Society Pr:This volume addresses topics including: temporal reasoning in plan management; accounting for temporal evolutions in highly reactive decision-making; modelling problems; qualitative temporal reasoning; and quantitative structural temporal constraints on repeating events.
Edition: 10th
Publication date: 2007
Review Digital System / Prentice Hall of India:Printed in black and white pages.
Publication date: 2004
Review Red Hat Linux Fedora Desktop Kit for Dum / HUNGRY MINDS IDG:
| Browse Operating Systems:
Models & Brands:
Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008 (Safety-Critical Systems Club), Proceedings Ninth International Workshop on Rapid System Prototyping: June 3-5, 1998 Leuven, Belgium, Building Applications With Toolbook (Book and Disk), Informatics and Education: An Anthology of Papers Selected from Ific Tc 3 Publications Since the Establishment of Tc 3 in 1963, Uidis '99 User Interfaces to Data Intensive Systems: 5-6 September 1999 Edinburgh, Scotland Proceedings, Proofs and Types (Cambridge Tracts in Theoretical Computer Science), 5th International Conference on Massively Parallel Processing Using Optical Inerconnections, Mppoi' 98, Hot Topics in Operating Systems (Hotos-Vii), 7th Workshop on: IEEE Computer Society, Sponsor(S, Managing And Maintaining a Microsoft Windows Server 2003 Environment for a Mcsa Certified on Windows 2000 (70-292): Frontpage 2002 And 2003 (Pro Academic Learning), Unix System V: Utilities Release Notes (Prentice-Hall C & UNIX Systems Library), Dragon Programmer's Reference Guide, Fundamentals of X Programming: Graphical User Interfaces and Beyond (Series in Computer Science), Desktop Publishing mit FrameMaker. Für UNIX, MAC OS und Windows (Edition PAGE), 1999 Fall Viuf Workshop: Proceedings October 4-6, 1999 Orlando, Florida, USA, Reliable Linux: Assuring High Availability, Computer Supported Cooperative Work in Design III: 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers (Lecture Notes in Computer Science), Ingredients for Successful System Level Design Methodology, Proceedings Fifth International Workshop on Temporal Representation and Reasoning: Sanibel Island, Florida May 16-17, 1998, Digital System, Red Hat Linux Fedora Desktop Kit for DumTop headlines: Leftist Sandinistas win Nicaragua vote: Nicaragua's ruling Sandinista party won the large majority of municipal races, including the capital Managua, in local elections that have sparked violent clashes and allegations of fraud. ›09:16 21 Nov, Fri Chinese still buying cars - fuel efficient ones: ›18:22 12 Nov, Wed Q&A: Hip Size and Breast Cancer Risk: A new study shows that having a mom with wide hips could be a risk factor for breast cancer. ›15:16 8 Oct, Mon Chefs dream up inaugural dinners for Obama: While President-elect Barack Obama fills his Cabinet, many foodies are wondering who will fill the ones in his kitchen. Famous chefs from Charlie Palmer to Rachael Ray share their meal suggestions for a fictional inaugural dinner. ›19:38 21 Nov, Fri Ex-child soldiers launch aid group: Three former child soldiers from Africa announced the launch of a new U.N.-backed advocacy group Thursday to help other kids escape and heal from war. ›11:33 21 Nov, Fri Chinese still buying cars - fuel efficient ones: ›18:22 12 Nov, Wed Mexico: Ex-drug czar took cartel money: Mexico's former drug czar took $450,000 to leak information to a powerful cartel, officials said Friday. ›01:38 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 Larry Craig, Hall of Famer: Not even a sex-sting arrest and an on-again, off-again guilty plea can keep Idahos senior senator from induction into the pantheon of Gem State greats. ›17:40 12 Oct, Fri NYT: Obama tilts to center, inviting a clash of ideas: Barack Obama won the nomination with the hearty support of the left wing of his party. Now, his reported selections for two major Cabinet positions suggest a plan to govern from the center-right. ›03:48 Nebraska tightens 'safe haven' age limit: Nebraska on Friday added a 30-day age limit to the state's "safe haven" law. ›22:28 21 Nov, Fri Stocks jump on Geithner speculation: Wall Street put a stop to a terrifying decline and stormed higher as President-elect Obama appeared ready to tap the chief of the N.Y. Federal Reserve as the next treasury secretary. ›00:52 Myanmar sends comedian, monk to prison: Courts in military-ruled Myanmar handed long prison sentences Friday to a prominent Buddhist monk and a popular comedian who are active in the country's pro-democracy movement. ›17:30 21 Nov, Fri Mukasey feeling better, checks out of hospital: The attorney general was given a "clean bill of health" and went back to work Friday after his harrowing collapse at a late-night dinner speech. ›18:03 21 Nov, Fri Report predicts U.S. decline, Russia rise: Global warming could be a boon to Russia while the U.S. could further decline in importance during the next two decades, says a U.S. intelligence report with predictions for the world in 2025. ›11:07 21 Nov, Fri Video: 'Twilight' takes big bite of box office: Nov. 21: Parents of teenage daughters across the country have been forced to enter the "Twilight" zone as the movie, based on the popular book series of the same name, spawns the latest American pop-culture obsession. NBC's Kevin Tibbles reports.(Nightly News) ›00:09 Obama team springs leaks: Barack Obama was famously able to impose discipline and control over his presidential campaign, but it didn't take long for him to discover that running a transition is something quite different. ›15:15 21 Nov, Fri Send us your TODAY show concert photos!: Did you see New Kids on the Block, Coldplay or Natasha Bedingfield performing on the Plaza? Take pictures of them, you, your friends or other fans? E-mail them to us and we'll publish the best! ›15:32 16 Jul, Mon Disputed Senate ballots hold key to Minn. win: The pile of disputed ballots in Minnesota's U.S. Senate race is growing at a pace sure to dwarf the 215-vote margin prior to the recount, making it tough to tell who is gaining an edge as the recount progresses. ›17:56 21 Nov, Fri Holidays can still be happy in tough times: Ask Kitty" columnist Kitty Schindler is the newest contributor to TODAYshow.com, and also the oldest at age 85, she has been around long enough to remember tough times. Even so, her memories of Thanksgiving are happy ones. ›21:41 21 Nov, Fri Denis Leary: Jesus would guest on Oprah: I really do think if Jesus came back, hed be on Oprah for an hour-long special, comic Denis Leary said, referring to a chapter in his new book written from Jesus point of view. He also defended a controversial passage about autism that he says has been taken out of context. ›16:38 20 Nov, Thu Consumer alert: Hazardous window blinds: The Consumer Product Safety Commission has announced the voluntary recalls of two kinds of window blinds, citing the strangulation death of a child and the near strangulation of another. ›14:13 20 Nov, Thu Top 5 best sleeper games of 2008: These are the best Cinderella games of 2008. If it's the new and innovative you seek, don't overlook these hidden gems. ›01:09 21 Nov, Fri Quiz: Surprising Thanksgiving calories!: Think you know what's in that holiday pie? TODAY's Joy Bauer shares fun and helpful trivia to fight the battle of the bulge this season. ›20:03 21 Nov, Fri |
