Authors
- Kent Petersson
- Bengt Nordstrom
- Jan M. Smith
Dewey code: 005.1
Price: $55.00
Review Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science) / Oxford University Press, USA:In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
Publication date: 1998-03
Dewey code: 025.04
Review Thompson Fit to View / Addison Wesley Publishing Company:
Creator: R. R. Wagner
Publication date: 2001-10
Dewey code: 005
List Price: $220.00
Price: $220.00
Review Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings) / IEEE Computer Society Press:This volume contains the conference proceedings of the International Workshop on Database and Expert Systems Applications.
Publication date: 1998-03
Dewey code: 025.04
Review Thompson Fit to View / Addison Wesley Publishing Company:
Edition: 9
Publication date: 2005-01-10
Dewey code: 808
Price: $219.63
Review Riordan, Technical Report Writing Today, 9th Edition Plus Raimes, Pocket Keys For Writers, 2nd Edition Plus Helpdesk Gd/cd, 4th Edition / Houghton Mifflin Company:Technical Report Writing Today provides thorough coverage of the technical writing basics, techniques, and applications students are likely to encounter in both their academic courses and their future careers. Its practical presentation of varied examples and exercises helps students internalize the skills necessary to produce clear and effective documents and reports. Annotated student examples—more than 100 in all—illustrate different writing styles and approaches to problems. A chapter on Developing Web Sites introduces students to the basics of effective web site creation by presenting professional and student examples and references to current practices.
Creator: John Dobson
Edition: 1
Publication date: 1996-03-31
Dewey code: 005
List Price: $286.00
Price: $220.00
Review Database Security IX Status and Prospects / Springer:This book documents progress and presents a broad perspective of recent developments in database security. It also discusses in depth the current state-of-the-art in research in the field. A number of topics are explored in detail including: current reseearch in database security and the state of security controls in present commercial database systems. Database Security IX will be essential reading for advanced students working in the area of database security research and development in for industrial researchers in this technical area.
Creator: R. R. Wagner
Publication date: 2001-10
Dewey code: 005
List Price: $220.00
Price: $220.00
Review Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings) / IEEE Computer Society Press:This volume contains the conference proceedings of the International Workshop on Database and Expert Systems Applications.
Edition: 9
Publication date: 2005-01-10
Dewey code: 808
Price: $219.63
Review Riordan, Technical Report Writing Today, 9th Edition Plus Raimes, Pocket Keys For Writers, 2nd Edition Plus Helpdesk Gd/cd, 4th Edition / Houghton Mifflin Company:Technical Report Writing Today provides thorough coverage of the technical writing basics, techniques, and applications students are likely to encounter in both their academic courses and their future careers. Its practical presentation of varied examples and exercises helps students internalize the skills necessary to produce clear and effective documents and reports. Annotated student examples—more than 100 in all—illustrate different writing styles and approaches to problems. A chapter on Developing Web Sites introduces students to the basics of effective web site creation by presenting professional and student examples and references to current practices.
Publication date: 1987-04
Price: $54.00
Review Knowledge Based Approaches for Structural Design (Topics in engineering) / Computational Mechanics:
Publication date: 2000-03-09
Review Geography Homework KS3/4: Human Geography Pack 2 / Pearson Publishing:
Authors
- Bengt Nordstrom
- Jan M. Smith
- Kent Petersson
Dewey code: 005.1
Price: $55.00
Review Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science) / Oxford University Press, USA:In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
Creator: John Dobson
Edition: 1
Publication date: 1996-03-31
Dewey code: 005
List Price: $286.00
Price: $220.00
Review Database Security IX Status and Prospects / Springer:This book documents progress and presents a broad perspective of recent developments in database security. It also discusses in depth the current state-of-the-art in research in the field. A number of topics are explored in detail including: current reseearch in database security and the state of security controls in present commercial database systems. Database Security IX will be essential reading for advanced students working in the area of database security research and development in for industrial researchers in this technical area.
Authors
- Jim Davies
- Mark Galassi
- James Theiler
- Fabrice Rossi
- Gerard Jungman
- Michael Booth
- Brian Gough
Dewey code: 004
Price: $39.99
Review Gnu Scientific Library Reference Manual / Network Theory Ltd.:The GNU Scientific Library (GSL) is a free numerical library for C and C++ programmers. This reference manual is the definitive guide to the library.
Publication date: 2000-03-09
Review Geography Homework KS3/4: Human Geography Pack 2 / Pearson Publishing:
Publication date: 1987-04
Price: $54.00
Review Knowledge Based Approaches for Structural Design (Topics in engineering) / Computational Mechanics:
Creator: Avtar Singh
Publication date: 1997-04
Dewey code: 004
List Price: $220.00
Price: $220.00
Review 1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record) / IEEE Computer Society Press:
Publication date: 2000-08-14
Dewey code: 005.7565
Price: $99.00
Review Informix Handbook / Prentice Hall PTR:The all-in-one reference for Informix administrators, developers, and DBAs. The Informix Handbook is the most comprehensive Informix desktop reference ever published. No matter what platform or version of Informix you use, here are the complete, results-focused answers you'd have to search through piles of documentation for - if you could find them at all! Whether you're a developer, DBA, manager, Web professional, or end user, this is the one Informix resource that delivers it all: *Core concepts, history, and background *Easy-to-use functional sections cover NT, UNIX, Linux - and versions 5. x through Informix Internet Foundation. 2000 *Server administration, configuration, backup, recovery, and "under the hood" insights into Informix products *In-depth coverage of application development, SQL, 4GL, Dynamic 4GL, and performance tuning *Object-relational databases and data warehouses *Web/E-commerce solutions with Informix Internet Foundation. 2000, i. Sell, and Informix Dynamic Server. This exclusive Web site is integrated with the book and provides up-to-the-minute coverage that's never out of date. Updated technical information for each chapter *Web links that supplement the book's material *An E-newsletter providing Informix news and book updates CD-ROM Awesome CD-ROM contains the most Informix resources ever assembled in one place! *Fully functional versions of Informix Dynamic Server for NT and Linux-free and unrestricted for non-commercial use *An extensive library of ready-to-run Informix shell scripts, programs, and SQL code *Informix manuals for server administration and SQL *A complete Informix SmartForce training module.
Authors
- Fabrice Rossi
- Mark Galassi
- Gerard Jungman
- Brian Gough
- James Theiler
- Michael Booth
- Jim Davies
Dewey code: 004
Price: $39.99
Review Gnu Scientific Library Reference Manual / Network Theory Ltd.:The GNU Scientific Library (GSL) is a free numerical library for C and C++ programmers. This reference manual is the definitive guide to the library.
Creator: Avtar Singh
Publication date: 1997-04
Dewey code: 004
List Price: $220.00
Price: $220.00
Review 1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record) / IEEE Computer Society Press:
Publication date: 2000-08-14
Dewey code: 005.7565
Price: $99.00
Review Informix Handbook / Prentice Hall PTR:The all-in-one reference for Informix administrators, developers, and DBAs. The Informix Handbook is the most comprehensive Informix desktop reference ever published. No matter what platform or version of Informix you use, here are the complete, results-focused answers you'd have to search through piles of documentation for - if you could find them at all! Whether you're a developer, DBA, manager, Web professional, or end user, this is the one Informix resource that delivers it all: *Core concepts, history, and background *Easy-to-use functional sections cover NT, UNIX, Linux - and versions 5. x through Informix Internet Foundation. 2000 *Server administration, configuration, backup, recovery, and "under the hood" insights into Informix products *In-depth coverage of application development, SQL, 4GL, Dynamic 4GL, and performance tuning *Object-relational databases and data warehouses *Web/E-commerce solutions with Informix Internet Foundation. 2000, i. Sell, and Informix Dynamic Server. This exclusive Web site is integrated with the book and provides up-to-the-minute coverage that's never out of date. Updated technical information for each chapter *Web links that supplement the book's material *An E-newsletter providing Informix news and book updates CD-ROM Awesome CD-ROM contains the most Informix resources ever assembled in one place! *Fully functional versions of Informix Dynamic Server for NT and Linux-free and unrestricted for non-commercial use *An extensive library of ready-to-run Informix shell scripts, programs, and SQL code *Informix manuals for server administration and SQL *A complete Informix SmartForce training module.
| Browse Software:
Models & Brands:
Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science), Thompson Fit to View, Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings), Thompson Fit to View, Riordan, Technical Report Writing Today, 9th Edition Plus Raimes, Pocket Keys For Writers, 2nd Edition Plus Helpdesk Gd/cd, 4th Edition, Database Security IX Status and Prospects, Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings), Riordan, Technical Report Writing Today, 9th Edition Plus Raimes, Pocket Keys For Writers, 2nd Edition Plus Helpdesk Gd/cd, 4th Edition, Knowledge Based Approaches for Structural Design (Topics in engineering), Geography Homework KS3/4: Human Geography Pack 2, Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science), Database Security IX Status and Prospects, Gnu Scientific Library Reference Manual, Geography Homework KS3/4: Human Geography Pack 2, Knowledge Based Approaches for Structural Design (Topics in engineering), 1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record), Informix Handbook, Gnu Scientific Library Reference Manual, 1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record), Informix HandbookTop headlines: Video: Managing debts, and expectations: Jan. 7: The Congressional Budget Office said Wednesday the projected federal deficit for 2009 is $1.2 trillion, and that does not include the $800 billion economic stimulus package President-elect Barack Obama is proposing. NBC's Chuck Todd reports.(Nightly News) ›23:43 7 Jan, Wed Diet pills from Brazil pose big health risks: A new report highlights the potentially serious health risks of using imported Brazilian-made prescription diet pills that combine amphetamines and other prescription medicines. ›16:15 7 Jan, Wed 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 Ski bum? Bottom bared in lift mishap: A guy who dangled upside down from a ski lift with his bare bottom exposed probably doesn't want to hear any "ski bum" jokes. ›14:40 7 Jan, Wed Easy being green? Travelers think it should be: Environmentally-conscious vacations are out of fashion. Travelers expect their next getaway to be green and theyre not willing to pay more for it. ›22:56 5 Jan, Mon Video: West Coast battles winter washout: Jan. 7: The West Coast tried to cope Wednesday with a monster storm that threatens to cause epic flooding. Weather Channel's Julie Martin reports.(Nightly News) ›00:05 Now hair this Sanjaya is back!: Sanjaya Malakar, who was known as much for his big hair and personality as for his mediocre voice on his unsuccessful Idol Season 6 campaign, is about to release some new music and a memoir. ›14:53 Starr: How to Fix the Yankees: With their longtime manager halfway out the door, the Yankees in transition will be the most fascinating story in baseball. ›22:28 10 Oct, Wed Obama: Pass stimulus or recession lasts years: President-elect Barack Obama warned Thursday that the nation's recession could "linger for years" unless Congress acts to pump huge sums from Washington into the U.S. economy. ›17:17 January is the saddest movie month of the year: If youre a moviegoer, the transition from December to January is a rough one, like falling asleep in Willy Wonkas chocolate factory and waking up in the dystopia of Blade Runner. ›18:22 5 Jan, Mon Neocons Converge Around Giuliani Campaign: ›21:52 6 Oct, Sat Prediction: Trendy sex not so hot in 2009: Every new year is a time for trend prediction and, in 2009, even sex isnt immune. So heres my 2009 prediction about trendy sex: Its over, writes Brian Alexander. ›17:02 Premium tuna fetches $100,000 at auction: Two sushi bar owners paid more than $100,000 for a Japanese bluefin tuna at a Tokyo fish auction Monday, several times the average price and the highest in nearly a decade, market officials said. ›13:26 5 Jan, Mon N.Y. adopts tough clean air rules: New York environmental regulators adopted stricter air pollution rules on Tuesday to prevent power plants and factories from belching out more smog and soot. ›22:46 7 Jan, Wed Flood-control dams eyed for energy: America's search for cleaner electricity has developers studying dozens of government flood-control dams to see if it makes financial sense to retrofit them with hydroelectric turbines. ›17:28 31 Dec, Wed Mississippi now has highest teen birth rate: Mississippi now has the nation's highest teen birth rate, displacing Texas and New Mexico for that lamentable title, according to a new federal report. ›13:30 7 Jan, Wed Algae used in biofuel on jet test flight: Continental Airlines on Wednesday became the first U.S. commercial carrier to conduct a demonstration flight powered in part by alternative fuels. ›23:31 7 Jan, Wed Republicans hit US attorney-general nominee: Eric Holder Jr., President-elect Barack Obama's pick for attorney general, brings to his confirmation hearing next week a dream resume and a bull's-eye target with his picture in the middle. ›15:25 Terror Watch: Gonzales Lawyers Up: Still under investigation by Congress and Justice Department lawyers who once worked for him, the former attorney general has turned to a leading Washington attorney to help him beat the rap. ›18:12 10 Oct, Wed Bike stolen from crusader against bike thefts: A former Fort Lauderdale city commissioner who helped create a program to combat bicycle theft had his own bike stolen while trying to help people involved in a vehicle crash. ›21:44 1 Jan, Thu Video: Israel resumes airstrikes in Gaza: Jan. 7: Israel Wednesday warned residents along the border between Gaza and Egypt that airstrikes are coming, saying it will continue to attack Hamas during any peace talks. NBC's Richard Engel reports.(Nightly News) ›23:52 7 Jan, Wed Sub to probe shifting Antarctic glacier: A yellow, remote-controlled submarine will dive under an ice shelf in Antarctica to seek clues to world ocean level rises in one of the most inaccessible places on Earth. ›17:34 7 Jan, Wed Shape up in '09 with a month of fitness tips: If you've resolved to give yourself a tune-up in 2009 or more like a full-body makeover we've got lots of expert advice to help you reach your get-fit goals. ›16:05 1 Jan, Thu Video: Obama, on the record: Jan. 7: The President-elect talks to CNBC's John Harwood about the massive spending package and the people he has chosen to surround him in office.(Nightly News) ›23:46 7 Jan, Wed |
