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.
Creator: Sebastiano B. Serpico
Publication date: 2002-02
List Price: $120.00
Price: $218.31
Review Image and Signal Processing for Remote Sensing (SPIE Proceedings) / SPIE-International Society for Optical Engine:
Authors
- David W. Kelton
- Deborah Sadowski
- Randall Sadowski
Publication date: 2003-09-01
List Price: $90.85
Price: $219.06
Review Simulation with Arena / McGraw-Hill Education (ISE Editions):The first edition of this book was the first text to be written on the Arena software, which is a very popular simulation modeling software. What makes this text the authoritative source on Arena is that it was written by the creators of Arena themselves. The new third edition follows in the tradition of the successful first and second editions in its tutorial style (via a sequence of carefully crafted examples) and an accessible writing style. The updates include thorough coverage of the new version of the Arena software (Arena 7. 01), enhanced support for Excel and Access, and updated examples to reflect the new version of software. The CD-ROM that accompanies the book contains the Academic version of the Arena software. The software features new capabilities such as model documentation, enhanced plots, file reading and writing, printing, and animation symbols.
Authors
- Stephen Joseph Stillwell
- IEEE Computer Society
Dewey code: 006
List Price: $217.00
Price: $217.00
Review Sixth International Conference on Information Visualisation: Proceedings / IEEE Computer Society Pr:This text contains information on computer engineering as presented at the 6th International Conference on w/CD-ROM Information Visualisation (IV 2002).
Publication date: 1984-01
Review BASIC Programming in the Acorn ELECTRON / Prentice Hall:
Publication date: 1992-02
Price: $19.95
Review The Perfect Guide to Learning Wordperfect 5.1 / Wadsworth Pub Co:
Creator: Michael Rudd
Publication date: 1993-05
Review Information Technology and Geography at Key Stages 3 and 4 / Geographical Association:
Edition: 3
Publication date: 2003-11
List Price: $218.53
Price: $218.53
Review Internet & World Wide Web& XML How to Progr / Not Avail:
Creator: Eric Schmidt
Edition: Pap/Cdr
Publication date: 1999-10
Dewey code: 005
Review Power of Now: How Winning Companies Sense and Respond to Change in Real Time (Enterprise Computing) / McGraw-Hill Publishing Co.:
Authors
- Maxime Crochemore
- Wojciech Rytter
Dewey code: 005.1
Price: $135.00
Review Text Algorithms / Oxford University Press, USA:This much-needed book on the design of algorithms and data structures for text processing emphasizes both theoretical foundations and practical applications. It is intended to serve both as a textbook for courses on algorithm design, especially those related to text processing, and as a reference for computer science professionals. The work takes a unique approach, one that goes more deeply into its topic than other more general books. It contains both classical algorithms and recent results of research on the subject. The book is the first text to contain a collection of a wide range of text algorithms, many of them quite new and appearing here for the first time. Other algorithms, while known by reputation, have never been published in the journal literature. Two such important algorithms are those of Karp, Miller and Rosenberg, and that of Weiner. Here they are presented together for the fist time. The core of the book is the material on suffix trees and subword graphs, applications of these data structures, new approaches to time-space optimal string-matching, and text compression. Also covered are basic parallel algorithms for text problems. [+]Applications of all these algorithms are given for problems involving data retrieval systems, treatment of natural languages, investigation of genomes, data compression software, and text processing tools. From the theoretical point of view. the book is a goldmine of paradigms for the development of efficient algorithms, providing the necessary foundation to creating practical software dealing with sequences. A crucial point in the authors' approach is the development of a methodology for presenting text algorithms so they can be fully understood. Throughout, the book emphasizes the efficiency of algorithms, holding that the essence of their usefulness depends on it. This is especially important since the algorithms described here will find application in "Big Science" areas like molecular sequence analysis where the explosive growth of data has caused problems for the current generation of software. Finally, with its development of theoretical background, the book can be considered as a mathematical foundation for the analysis and production of text processing algorithms.
Publication date: 1993-07
Review PageMaker 5 in Easy Steps (In Easy Steps) / Computer Step:
Authors
- Taiwan) International Conference on Parallel Processing Workshops (2003 : Kaohsiung
Dewey code: 006.7
List Price: $217.00
Price: $217.00
Review 32nd International Conference On Parallel Processing Workshops Icpp 2003 Workshops / Ieee:
Creator: R. Rolles
Edition: 1
Publication date: 1998-01-12
Price: $50.00
Review Verbesserung von Geschäftsprozessen mit flexiblen Workflow-Management-Systemen 1: Von der Erhebung zum Sollkonzept / Physica-Verlag Heidelberg:In einer vierteiligen Berichtsreihe werden die Ergebnisse des Kooperationsverbundes "Verbesserung von Geschäftsprozessen mit flexiblen Workflow-Management-Systemen (MOVE)" dokumentiert. Sie ist interessant für all jene, die sich mit der Reorganisation von Unternehmen und der Einführung von Workflow-Management-Systemen beschäftigen. Darüber hinaus sind die Beiträge aber auch für Unternehmensberater, Software-Entwickler und Wissenschaftler geschrieben. Die starke Praxisorientierung verleiht der Reihe gleichsam Handbuchcharakter. Der Band 1 "Von der Erhebung zum Sollkonzept" befaßt sich mit den ersten Schritten eines Workflow-Management-Projektes: Im Mittelpunkt stehen der Beginn der Geschäftsprozeßoptimierung und die frühen Phasen der Einführung von Workflow-Management-Systemen in ein Unternehmen.
Creator: Oliver E. Drummond
Edition: 2002
Publication date: 2002-07
List Price: $120.00
Price: $216.36
Review Signal and Data Processing of Small Targets (SPIE Proceedings) / SPIE-International Society for Optical Engine:
Creator: International Conference on Document Analysis and Recognition
Publication date: 2001-10
Dewey code: 535
List Price: $255.00
Price: $255.00
Review Sixth International Conference on Document Analysis and Recognition: September 10-13, 2001 Seattle, Washington, USA : Proceedings (IEEE Conference Proceedings) / IEEE Computer Society Press:These volumes contain the conference proceedings of the 2001 6th International Conference on Document Image Analysis and Recognition.
Authors
- Thailand) Asia-Pacific Software Engineering Conference (10th : 2003 : Chiang Mai
Dewey code: 004
List Price: $218.00
Price: $218.00
Review 10th Asia-pacific Software Engineering Conference Apsec 2003 / Ieee:
Creator: Alfonso Valencia
Edition: 1
Publication date: 2008-12-01
Dewey code: 572.80285
List Price: $259.00
Price: $219.65
Review Modern Genome Annotation: The Biosapiens Network / Springer:An accurate description of current scientific developments in the field of bioinformatics and computational implementation is presented by research of the BioSapiens Network of Excellence. Bioinformatics is essential for annotating the structure and function of genes, proteins and the analysis of complete genomes and to molecular biology and biochemistry. Included is an overview of bioinformatics, the full spectrum of genome annotation approaches including; genome analysis and gene prediction, gene regulation analysis and expression, genome variation and QTL analysis, large scale protein annotation of function and structure, annotation and prediction of protein interactions, and the organization and annotation of molecular networks and biochemical pathways. Also covered is a technical framework to organize and represent genome data using the DAS technology and work in the annotation of two large genomic sets: HIV/HCV viral genomes and splicing alternatives potentially encoded in 1% of the human genome.
Publication date: 2004-09-30
Review International Conference on Scientific and Statistical Database Management (SSDM 2004) / IEEE Computer Society Press,U.S.:
Edition: 1st
Publication date: 2001-12-14
Dewey code: 791
Price: $24.99
Review Flash X Simply Visual / Sybex Inc:
Creator: Stephen A. R. Scrivener
Publication date: 1994-03
Dewey code: 650.028546
List Price: $129.95
Price: $217.69
Review Computer-Supported Cooperative Work: The Multimedia and Networking Paradigm (Unicom Applied Information Technology) / Brookfield Vermont:This work supplies an up-to-date view of Computer-Supported Cooperative Work (CSCW) and its role in empowering groups to achieve better solutions faster. The enabling technology and group organizational and behavioural aspects of CSCW should be of interest to a wide audience.
| Browse Software:
Models & Brands:
Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science), Image and Signal Processing for Remote Sensing (SPIE Proceedings), Simulation with Arena, Sixth International Conference on Information Visualisation: Proceedings, BASIC Programming in the Acorn ELECTRON, The Perfect Guide to Learning Wordperfect 5.1, Information Technology and Geography at Key Stages 3 and 4, Internet & World Wide Web& XML How to Progr, Power of Now: How Winning Companies Sense and Respond to Change in Real Time (Enterprise Computing), Text Algorithms, PageMaker 5 in Easy Steps (In Easy Steps), 32nd International Conference On Parallel Processing Workshops Icpp 2003 Workshops, Verbesserung von Geschäftsprozessen mit flexiblen Workflow-Management-Systemen 1: Von der Erhebung zum Sollkonzept, Signal and Data Processing of Small Targets (SPIE Proceedings), Sixth International Conference on Document Analysis and Recognition: September 10-13, 2001 Seattle, Washington, USA : Proceedings (IEEE Conference Proceedings), 10th Asia-pacific Software Engineering Conference Apsec 2003, Modern Genome Annotation: The Biosapiens Network, International Conference on Scientific and Statistical Database Management (SSDM 2004), Flash X Simply Visual, Computer-Supported Cooperative Work: The Multimedia and Networking Paradigm (Unicom Applied Information Technology)Top headlines: 3 back from dead update their stories: Their lives were rudely interrupted in dramatically different ways, from a lightning bolt to a heart attack to an ATV accident. But Lara Eustermann, Jill Finley and Zack Dunlap have one thing in common: Theyre very thankful to be alive this Thanksgiving. ›15:59 26 Nov, Wed Video: Backstage with Faith Hill: Nov. 25: Country star Faith Hill talks about her husband's hosting gig on "SNL", singing in the shower, and her three daughters.(Today Show) ›16:55 26 Nov, Wed 'Mercenary is a Slanderous Term': The founder of Blackwater defends himselfand his company. ›03:32 13 Oct, Sat Will Knicks Scandal Affect Cablevision?: Jimmy Dolan's sports empire is a humiliation. Does that make him unfit to run Daddy's cable company? ›00:00 15 Oct, Mon MTVs AIDS awareness campaign turns 10: MTV marks the 10th anniversary of its AIDS awareness campaign this year with an hour-long documentary by singer and Destiny's Child founding member Kelly Rowland. ›16:35 29 Nov, Sat Feast on Fido? Dog meat a delicacy in Korea: Dog meat is eaten in Asia. South Korea, mindful of criticism attached to eating dogs in the West, has made the practice more discreet and better regulated,but isolated North Korea attaches no public stigma to consuming the meat. ›15:03 26 Nov, Wed Bumpy road ahead for cleaner cars: Call it an economic and environmental murder mystery in the making: Will a cash-strapped Detroit kill the electric car again? ›21:37 19 Nov, Wed John Updike: Laureate of bad sex: The author won a lifetime achievement award from judges of Britain's Bad Sex in Fiction Prize, which celebrates crude, tasteless or ridiculous sexual passages in modern literature. ›21:15 25 Nov, Tue Col. Jack Jacobs: Life in war and peace: With candor, humor, and quiet modesty, Medal of Honor recipient Col. Jack Jacobs looks back at his service and ahead to Americas future,sharing his views on our contemporary world and the nature and necessity of sacrifice. ›17:51 2 Oct, Thu 10 healthiest cities for women: Where are the best places for ladies to live in America? SELF magazine looked at criteria like death and disease rates, community resources and more to deliver this new report. Did your city make the list? ›15:30 Bush set to relax rules protecting species: Animals in danger of becoming extinct could lose the protection of government experts who make sure that dams and other projects don't pose a threat, under a regulation the Bush administration is set to put in place. ›16:13 20 Nov, Thu Could Nobel Win Push Gore Into 08 Race?: Thousands of activists are hoping to convince Al Gore to run for president. Could a Nobel Peace Prize give the reluctant candidate a push? ›14:39 8 Oct, Mon No Who-ville in Louisville this Christmas: The Kentucky city is scrapping plans to use the iconic Dr. Seuss village and characters as part of its annual Christmas display after receiving a cease-and-desist letter from Dr. Seuss Enterprises. "These lawyers' hearts are two sizes too small," said the mayor. ›16:55 25 Nov, Tue Newsweek: Why we need better batteries: ›07:52 26 Nov, Wed Money for babies named after Mussolinis: What's in a name? A little extra cash, if the name is that of Italy's wartime Fascist dictator Benito Mussolini or his wife. ›17:05 25 Nov, Tue Budget tips for the self-employed: Are you self-employed and struggling to pay the bills? TODAY financial editor Jean Chatzky offers advice on this, plus information on paying off your debt and maintaining your credit score. ›18:52 29 Nov, Sat Video: Are video games recession proof?: Dec. 1: CNBC's Jim Goldman reports that while consumers are pulling back on spending for many holiday gifts, they are continuing to shell out cash for video games.(MSNBC) ›20:00 Key to HIV shot may be bodys initial reaction: The body's initial response to contracting HIV could provide the answers scientists need to develop a vaccine for the AIDS-causing virus, a Nobel-winning expert said on Monday. ›19:34 Governors pledge fight on global warming: Gov. Arnold Schwarzenegger, his counterparts in 12 states and regional leaders from four other countries signed a declaration Wednesday pledging to work together to combat global warming. ›14:46 20 Nov, Thu 'Christmas Story' fans celebrate film's 25th year: Fans of the holiday classic "A Christmas Story" are celebrating the film's 25th anniversary with a convention and trips to the house where it was made. ›23:07 30 Nov, Sun 'War and Peace': New Versions Worth the Read: 'War and Peace' has been the Everest of literature for more than 150 years. Two new English versions remind us why Tolstoy's tome is still worth the climb. ›22:06 6 Oct, Sat Scoop: Britney had ulterior motive for TV special: "Britney: For the Record" might offer an inside glimpse into the pop star's life, but offering up tidbits about her failed relationship with Kevin Federline wasn't the goal of the documentary. ›02:35 Hopes of ever separating conjoined girls dashed: Twin girls born joined at the head have overcome long odds, but the doctor who brought them to the U.S. now says there's no longer a chance they will ever lead separate lives. ›22:03 28 Nov, Fri Septic tanks make Malibu special, smelly: Malibu, which has long relied on septic tanks over sewer pipes as a way to limit development, may soon be forced to acquiesce. ›21:24 19 Nov, Wed |
