We Need Diverse Ya 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


    Q&A | June 8, 2015

    Owen Sheers: IMG Powell's Q&A: Owen Sheers



    Describe your latest book. I Saw a Man is a contemporary novel set between London, New York, Nevada, and Wales. The book opens with Michael Turner,... Continue »
    1. $18.17 Sale Hardcover add to wish list

      I Saw a Man

      Owen Sheers 9780385529075

    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.