Publication date: 2000-03-09
Review Geography Homework KS3/4: Human Geography Pack 2 / Pearson Publishing:
Authors
- Kent Petersson
- Jan M. Smith
- Bengt Nordstrom
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: 1987-04
Price: $54.00
Review Knowledge Based Approaches for Structural Design (Topics in engineering) / Computational Mechanics:
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: 1998-03
Dewey code: 025.04
Review Thompson Fit to View / Addison Wesley Publishing Company:
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:
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: 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:
Authors
- Jan M. Smith
- Kent Petersson
- Bengt Nordstrom
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: 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.
Publication date: 1998-03
Dewey code: 025.04
Review Thompson Fit to View / Addison Wesley Publishing Company:
Authors
- Fabrice Rossi
- Gerard Jungman
- Brian Gough
- James Theiler
- Mark Galassi
- 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.
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: 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.
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.
Authors
- Michael Booth
- Brian Gough
- Mark Galassi
- Jim Davies
- James Theiler
- Gerard Jungman
- Fabrice Rossi
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-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.
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.
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:
| Browse Software:
Models & Brands:
Geography Homework KS3/4: Human Geography Pack 2, Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science), Knowledge Based Approaches for Structural Design (Topics in engineering), Riordan, Technical Report Writing Today, 9th Edition Plus Raimes, Pocket Keys For Writers, 2nd Edition Plus Helpdesk Gd/cd, 4th Edition, Thompson Fit to View, 1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record), Database Security IX Status and Prospects, 1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record), Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science), Informix Handbook, Thompson Fit to View, Gnu Scientific Library Reference Manual, Riordan, Technical Report Writing Today, 9th Edition Plus Raimes, Pocket Keys For Writers, 2nd Edition Plus Helpdesk Gd/cd, 4th Edition, Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings), Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings), Gnu Scientific Library Reference Manual, Informix Handbook, Database Security IX Status and Prospects, Geography Homework KS3/4: Human Geography Pack 2, Knowledge Based Approaches for Structural Design (Topics in engineering)Top headlines: Mantyhose: Not your moms pantyhose: A growing number of men from construction workers to athletes and businessmen have found a passion for pantyhose, claiming they're for support, comfort and aesthetic purposes. Luckily, there are now pairs made specifically for men so they don't have to ravage their wives' or girlfriends' dressers to nestle into a pair of nylons. ›20:28 7 Jan, Wed Man wants estranged wife to pay for kidney: A New York doctor is demanding that his estranged wife pay him $1.5 million to compensate him for the kidney he gave her while they were still on good terms. ›20:47 7 Jan, Wed Oprah adds Holocaust story disclaimer: Oprah has yet to comment on the debunked story of a Holocaust survivor who claimed to have met his future wife in a Nazi concentration camp. But a brief disclaimer on the story she featured prominently on her show has been added to her Web site. ›19:44 6 Jan, Tue Single ladies: Drive him wild, not away: You don't have to be perfect to attract a guy and keep him, according to "The Man Plan," but you have to be pretty close. From keeping the wrong pictures near your bed to showing off too much cleavage, here are some common mistakes to avoid. ›16:55 7 Jan, Wed Doris Lessings Nobel Prize: The unpredictable curmudgeon has written about everything from feminism to sci-fi to cats (twice). ›15:18 12 Oct, Fri Saad Hariri on Lebanons Future: Saad Hariri takes up the mantle of his assassinated father, and argues for the world to isolate Syria. ›15:46 12 Oct, Fri NYT: Bush's homeland security setup faces ax: Barack Obama is reportedly preparing to scrap the way President Bush oversaw domestic security in the White House and name a former CIA official to coordinate counterterrorism. ›09:14 'Jealous wife' charged in fatal genitals fire: An Australian woman accused of setting her husband's genitals on fire because she thought he was having an affair has been charged with murder. ›12:44 6 Jan, Tue 7 movies that glamorize business travel: Portfolio.com's Joe Brancatelli suggests you take some time to relax, fire up the flat screen in the living room and find the angles in his favorite business-travel movies of all time. ›16:38 Boy, 4, shoots babysitter: Police say a 4-year-old boy in southern Ohio shot his babysitter because the sitter accidentally stepped on his foot. ›01:32 6 Jan, Tue Obama assembles powerful West Wing: Barack Obama is assembling a new and influential cadre of counselors just steps from the Oval Office whose power to direct domestic policy will rival, if not exceed, the authority of his Cabinet. ›10:09 Thousands flee stubborn Colo. wildfire: More than a hundred firefighters spent the night battling a stubborn, wind-driven wildfire that triggered the evacuations of more than 900 homes as it scorched grasslands near Denver. ›12:31 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 When it comes to breasts, three's a crowd: Up to 6 percent of the population is thought to have an extra breast or nipple. ›23:55 29 Dec, Mon How to deal with a moody man: It's women who have the rep for being the moody sex, but sometimes it's the guys who get grumpy. Cosmopolitan magazine offers the best tactics for dealing with his cranky frame of mind. ›15:28 6 Jan, Tue Burmese Battle Spiritual and Economic Ills: Businesses are struggling, prices are rising and residents are facing a spiritual crisis. An on-scene report from post-protest Rangoon. ›18:10 11 Oct, Thu Watch out, Vegas! New York hears wedding bells: With a gleaming marriage bureau makeover, New York City aims to become the new No. 1 place to tie the knot. ›00:56 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 Draft report: Vote on Blagojevich impeachment: The Illinois House committee investigating Gov. Rod Blagojevich released a draft report saying the Democratic governor has abused his power and recommending the full chamber vote on impeachment. ›17:41 Naughty tricks to heat up the honeymoon: You've both said 'I do' but now it's time to get to the real main event: the honeymoon. Brides.com reveals eight steamy suggestions that will definitely add extra heat between the sheets. ›18:14 7 Jan, Wed How you eat could impact your smarts: Many studies have shown that counting calories, carbs or fat grams taxes short-term memory. But how we eat can affect our minds at more fundamental levels, too ›23:03 7 Jan, Wed Video: Gamers, the Army wants YOU: Jan. 7: Army recruiters are canvassing malls across the country in hopes of turning arcade junkies into real life warriors. NBC's Mike Taibbi reports.(Nightly News) ›00:08 Mom, baby die as floodwaters swamp car: A mother and her infant son have died after floodwaters swept their vehicle off a rural road in Alabama. ›13:26 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 |
