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-03-09
Review Geography Homework KS3/4: Human Geography Pack 2 / Pearson Publishing:
Authors
- Jan M. Smith
- Bengt Nordstrom
- 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.
Edition: 9
Publication date: 2005-01-10
Dewey code: 808
Price: $219.77
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:
Authors
- Denise O'Connor
- Paula Kelly
Publication date: 2003-09
Price: $220.76
Review Training for ECDL: Syllabus 4: The Complete Course in Office 2000 / Blackrock Education Centre:
Publication date: 1987-04
Price: $54.00
Review Knowledge Based Approaches for Structural Design (Topics in engineering) / Computational Mechanics:
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.77
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: 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-03-09
Review Geography Homework KS3/4: Human Geography Pack 2 / Pearson Publishing:
Publication date: 1998-03
Dewey code: 025.04
Review Thompson Fit to View / Addison Wesley Publishing Company:
Publication date: 1987-04
Price: $54.00
Review Knowledge Based Approaches for Structural Design (Topics in engineering) / Computational Mechanics:
Authors
- Denise O'Connor
- Paula Kelly
Publication date: 2003-09
Price: $220.76
Review Training for ECDL: Syllabus 4: The Complete Course in Office 2000 / Blackrock Education Centre:
Authors
- Mark Galassi
- Gerard Jungman
- Jim Davies
- Michael Booth
- James Theiler
- Fabrice Rossi
- 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.
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
- Fabrice Rossi
- Michael Booth
- Jim Davies
- James Theiler
- Gerard Jungman
- Brian Gough
- Mark Galassi
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.
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.
| Browse Software:
Models & Brands:
1996 29th Asilomar Conference on Signals, Systems and Computers (2 Volume Set (Asilomar Conference on Signals, Systems and Computers//Conference Record), Geography Homework KS3/4: Human Geography Pack 2, Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science), 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, Training for ECDL: Syllabus 4: The Complete Course in Office 2000, Knowledge Based Approaches for Structural Design (Topics in engineering), 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, 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), Geography Homework KS3/4: Human Geography Pack 2, Thompson Fit to View, Knowledge Based Approaches for Structural Design (Topics in engineering), Training for ECDL: Syllabus 4: The Complete Course in Office 2000, Gnu Scientific Library Reference Manual, Database and Expert Systems Applications: 12th International Workshop (IEEE Conference Proceedings), Gnu Scientific Library Reference Manual, Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science)Top headlines: Auto industry woes put buyers in drivers seat: By all accounts it's a great time to buy a new car. Manufacturers are willing to slash thousands off sticker prices and offer interest-free money. ›00:22 Report slams Pentagon nuke oversight: A Pentagon advisory group plans to release a report Thursday criticizing the Defense Department for lack of focus on its nuclear mission and recommending more oversight, a senior defense official said. ›02:49 Ill. panel to grill Burris on Senate appointment: Illinois Republicans are promising tough questions for Senate-appointee Roland Burris on why he accepted a position offered by Gov. Rod Blagojevich and whether he promised anything in return. ›13:41 Video: Russia makes power play: Jan. 7: Russia has waged a different kind of cold war on parts of Eastern Europe by shutting off the flow of natural gas through Ukraine. NBC's Jim Maceda reports.(Nightly News) ›23:55 7 Jan, Wed Lab discloses problem with vitamin D testing: The nation's largest medical lab company says it recently discovered and fixed a problem that led to inaccuracies in a small number of tests for vitamin D deficiency. ›14:09 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 Bush headed to Midland, Texas on Jan. 20: The White House settled one post-presidential mystery on Wednesday, answering the question of where will George W. Bush go when his term as president ends on the afternoon of Jan. 20? ›18:25 7 Jan, Wed 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 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 Senator sworn in amid domestic-abuse probe: A former police officer and councilman was sworn in as a new state senator, despite facing charges that he slashed his girlfriend's face with a piece of broken glass in a jealous rage. ›13:45 Test Pattern: Time for surgery on House: I love the predictability of House (which returns Monday, Jan. 19, with new episodes on Fox). The last time I was visiting my sister, as soon as the show's patient of the week walked in, I yelled out lupus! while my sister countered with cancer! and her housemate chipped in brain tumor! ›16:45 7 Jan, Wed DiCaprio, Eastwood take Palm Springs honors: Palm Springs Film Festival honorees include many who are widely considered strong Oscar contenders. ›17:03 7 Jan, Wed 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 5 reasons to be cautious about stocks: With the stock market up 25 percent from November lows, a lot of individual investors are asking: Is this rally for real? ›21:02 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 Noriega fights extradition to France: Whether Manuel Noriega's story ends in prison or freedom, at home or abroad, depends on how courts in three countries on two continents decide to punish him for his drug-running past. ›23:41 7 Jan, Wed 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 Congress meets to count electoral votes: The House and Senate are coming together in a centuries-old tradition to count the electoral votes from the election and formally declare Barack Obama the 44th president of the United States. ›14:19 Colorado blacks score legislative first: Sharecropper's grandson Terrance Carroll was chosen as speaker of Colorado's House of Representatives, making it the first state in which blacks lead both chambers of its Legislature. ›01:02 Slide show: The week in celebrity sightings: Ashlee, Pete and many more celebs ring in the New Year, Lindsay heads to the beach, Cloris is rosey and more. ›12:28 6 Jan, Tue Statins can cause rare eye disorders: Treatment with a cholesterol-lowering "statin" drug may very occasionally cause double-vision, eyelid-droop, or weakness of the muscles that control eye movement. ›20:09 7 Jan, Wed Small retailers struggle in tough season: Like a lot of small retailers, Henry Burton depends heavily on the holiday season to ring up sales, and, like a lot of retailers, this past holiday season proved especially challenging. ›14:18 U.K. slashes interest rates to historic low: The Bank of England cut official interest rates by a half a percentage point to 1.5 percent on Thursday, the lowest level in its 315-year history. ›13:43 House to vote on Obama-favored health plan: House Democrats plan to give President-elect Barack Obama an early victory on health care with a vote next week on legislation to expand a children's health insurance program. ›20:41 7 Jan, Wed |
