Poetry Madness
 
 

Recently Viewed clear list


Interviews | March 17, 2014

Shawn Donley: IMG Peter Stark: The Powells.com Interview



Peter StarkIt's hard to believe that 200 years ago, the Pacific Northwest was one of the most remote and isolated regions in the world. In 1810, four years... Continue »
  1. $19.59 Sale Hardcover add to wish list

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.