Skip to main content
LRC IIT Indore
Your cart is empty.
Cart
Log in to your account
Search history
Clear
विद्यार्जन
संसाधन
केंद्र, भारतीय
प्रौद्योगिकी
संस्थान
इन्दौर
Learning Resource Center, Indian Institute of Technology Indore
ऑनलाइन सार्वजनिक अभिगम प्रसूची
O
nline
P
ublic
A
ccess
C
atalogue (
OPAC
)
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Browse by hierarchy
Authority search
Most popular
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Results of search for 'su:"Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages"'
Refine your search
Availability
Limit to currently available items
Authors
Kim Guldstrand Larsen, Igor Potapov, Jir� Srba
(1)
Martyn Amos, ANNE CONDON
(1)
Matthew Hague, Igor Potapov
(1)
Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov
(1)
Srecko Brlek, Christophe Reutenauer
(1)
Yo-Sub Han, Kai Salomaa
(1)
Show more
Show less
Item types
E-Book
(6)
Locations
Online
(6)
Series
Lecture Notes in Computer Science
(6)
Your search returned 6 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Results per page:
20 (default)
20
40
60
80
100
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
Place hold
Results
1.
Reachability Problems
by
Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2015
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
2.
Implementation and Application of Automata
by
Yo-Sub Han, Kai Salomaa
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
3.
Unconventional Computation and Natural Computation
by
Martyn Amos, ANNE CONDON
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
4.
Reachability Problems
by
Kim Guldstrand Larsen, Igor Potapov, Jir� Srba
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
5.
Developments in Language Theory
by
Srecko Brlek, Christophe Reutenauer
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2016
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
6.
Reachability Problems
by
Matthew Hague, Igor Potapov
Series:
Lecture Notes in Computer Science
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Springer
2017
Online access:
Click here to access online
Availability:
Items available for reference:
LRC, IIT Indore: Not for loan
(1).
Add to cart
(remove)
Pages
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore
Powered by
Koha