Mega Dose
 
 

Recently Viewed clear list


Original Essays | September 30, 2014

Brian Doyle: IMG The Rude Burl of Our Masks



One day when I was 12 years old and setting off on my newspaper route after school my mom said will you stop at the doctor's and pick up something... Continue »
  1. $13.27 Sale Trade Paper add to wish list

    Children and Other Wild Animals

    Brian Doyle 9780870717543

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.