Tournament of Books 2015
 
 

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


    Lists | January 23, 2015

    Paula Hawkins: IMG Five Memorable Train Journeys



    Some train journeys I don't remember. Thankfully not for the same reasons as the protagonist of The Girl on the Train — in my case, I was... 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

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

by

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R & D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.

Product Details

ISBN:
3330000245579
Subtitle:
4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Publisher:
Springer
Author:
Kučera, Antonín
Subject:
Logic Design
Subject:
Software Development & Engineering - General
Subject:
Programming Languages - General
Subject:
Algebraic structures
Subject:
Automata
Subject:
Cellular automata
Subject:
Complexity
Subject:
Computational Models
Subject:
Decidability
Subject:
finite-state machines
Subject:
Games
Subject:
hybrid systems
Subject:
infinite state systems
Subject:
linear time domains
Subject:
model checking
Subject:
reachability problems
Subject:
Rewriting systems
Subject:
temporal logics
Subject:
Undecidability
Subject:
Verification
Subject:
Logics and Meanings of Programs
Subject:
Software engineering
Subject:
Mathematical Logic and Formal Languages
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Algorithm Analysis and Problem Complexity
Subject:
Computation by Abstract Devices
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
main_subject
Subject:
all_subjects
Publication Date:
20100910
Binding:
ELECTRONIC
Language:
English
Pages:
197

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Algorithms
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Foundations and Logic

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
0 stars - 0 reviews
$ In Stock
Product details 197 pages Springer - English 3330000245579 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.