Knockout Narratives Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    The Powell's Playlist | January 5, 2015

    Tim Johnston: IMG The Powell's Playlist: Songs for Not Sleeping by Tim Johnston



    I once told a medical-profession-type lady that I didn't sleep well, that I awoke all through the night and was awake for hours. "What do you do... Continue »

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Fst Tcs 2000: Foundations of Software Technology and Theoretical Science (Lecture Notes in Computer Science)

Fst Tcs 2000: Foundations of Software Technology and Theoretical Science (Lecture Notes in Computer Science) Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the 20th international Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2000, held in New Delhi, India in December 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 141 submissions; also included are six invited papers. The volume provides broad coverage of the logical and mathematical foundations of computer science and spans the whole range of theoretical computer science.

Product Details

ISBN:
9783540414131
Editor:
Kapoor, S.
Editor:
Prasad, S.
Editor:
Kapoor, Sanjiv
Editor:
Kapoor, S.
Editor:
Prasad, S.
Author:
Kapoor, S.
Author:
Kapoor, Sanjiv
Author:
Prasad, Sanjiva
Publisher:
Springer
Location:
Berlin, Heidelberg
Subject:
General
Subject:
Computer Science
Subject:
Software engineering
Subject:
Science Reference-General
Subject:
Programming - General
Subject:
theoretical computer science
Subject:
Algorithms
Subject:
computing theory
Subject:
Discrete Mathematics
Subject:
Formal methods
Subject:
logical foundations
Subject:
mathematical foundations
Subject:
mathematical logics
Subject:
program semantics
Subject:
programming theory
Subject:
software science
Subject:
Logics and Meanings of Programs
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Mathematical Logic and Formal Languages
Subject:
Algorithm Analysis and Problem Complexity
Subject:
Mathematics of Computing
Subject:
Language, literature and biography
Subject:
Logic Design
Subject:
Computer software
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science
Series Volume:
no. 441974
Publication Date:
20010112
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
545
Dimensions:
235 x 155 mm 1690 gr

Related Subjects

Computers and Internet » Computers Reference » General
Health and Self-Help » Health and Medicine » General
Health and Self-Help » Health and Medicine » General Medicine
Reference » Science Reference » General

Fst Tcs 2000: Foundations of Software Technology and Theoretical Science (Lecture Notes in Computer Science)
0 stars - 0 reviews
$ In Stock
Product details 545 pages Springer - English 9783540414131 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.