My Account
|
Home
|
Bulletin Board
|
Cart
|
Help
IISER-K
Indian Institute of Science Education & Research - Kolkata
SEARCHES
:
Browse
|
Advanced
|
External Databases
|
Close Session
Quick Search
Search Terms:
All Documents
Books
Newspapers
Periodicals
Articles
Theses
E-Books
Database :
IISERK
Set Session Filters
Login to ask the library to add a book.
Active Filter Settings
No Active Filters
There are
0
titles in your cart.
Search History
Special Collections: Maps
Recommended Reading
Sort by:
None
Title
Author
Call Number
Pub Date (title)
Pub Date (author)
Ascending
Descending
You searched IISERK - Author: Heil, Christopher.
Records 1 through 9 of 9
1
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
005.131 LIP6
Author
Linz, Peter., author.
Title
An introduction to formal languages and automata / Peter Linz.
Material
xiii, 415 p. : illustrations 23 cm.
Subject
Machine theory.
Subject
Formal languages.
2
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
511.3 MEP0
Author
Meduna, Alexander, 1957-
Title
Automata and languages : theory and applications / Alexander Meduna.
Publisher
New Delhi : Springer, c2000.
Material
xv, 916 p. : ill.
Subject
Machine theory.
Subject
Formal languages.
3
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Author
Anderson, James A., author.
Title
Automata Theory with Modern Applications / James A. Anderson.
Material
1 online resource (264 pages) : digital, PDF file(s).
Subject
Machine theory.
Subject
Formal languages.
4
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
511.35 ANP6
Author
Anderson, James A. (James Andrew), 1937-
Title
Automata theory with modern applications / James A. Anderson ; with contributions by Tom Head.
Publisher
New York : Cambridge : Cambridge University Press, c2006.
Material
viii, 255 p. : ill. ; 24 cm.
Subject
Machine theory.
Subject
Formal languages.
Added Entry
Head, Thomas J., 1934-
5
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
511.3 LEN8
Author
Lewis, Harry R.
Title
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
Edition
2nd ed.
Publisher
New Delhi, India. : Prentice-Hall, c1998.
Material
361 p. : ill.
Subject
Machine theory.
Subject
Formal languages.
Subject
Computational complexity.
Added Entry
Papadimitriou, Christos H.
6
full
marc
Add To Subset
Remove From Subset
Select to add record to cart
Request
Call No.
519.4
Author
Hartmanis, Juris.
Title
Feasible computations and provable complexity properties [electronic resource] / Juris Hartmanis.
Publisher
Philadelphia, Pa. : Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1978.
Material
1 electronic text (vii, 62 p.) : digital file.
Series Stmt
CBMS-NSF regional conference series in applied mathematics ; 30
Subject
Machine theory.
Subject
Formal languages.
Subject
Computational complexity.
Added Entry
Society for Industrial and Applied Mathematics.
Link
SIAM
7
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
512.2 HOQ7
Author
Holt, Derek F., author.
Title
Groups, languages, and automata / Derek F. Holt, Sarah Rees, Claas E. Röver.
Material
xi, 294 pages : illustrations (black and white) ; 24 cm.
Series Stmt
London Mathematical Society student texts ; 88
Subject
Group theory.
Subject
Formal languages.
Subject
Machine theory.
Added Entry
Rees, Sarah, author.
Added Entry
Röver, Claas E., author.
8
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
511.35 HOP7
Author
Hopcroft, John E., 1939-
Title
Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
Edition
3rd ed.
Publisher
Boston : Pearson/Addison Wesley, c2007.
Material
xvii, 535 p. : ill. ; 25 cm. + 1 student access kit.
Subject
Machine theory.
Subject
Formal languages.
Subject
Computational complexity.
Added Entry
Motwani, Rajeev.
Added Entry
Ullman, Jeffrey D., 1942-
9
full
items(1)
marc
Add To Subset
Remove From Subset
Select to add record to cart
Number Available: 1
Available At: IISER-K
Request
Call No.
511.35 HOL9
Author
Hopcroft, John E., 1939-
Title
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman.
Publisher
New Delhi : Narosa, c1979.
Material
x, 418 p. : ill. ; 24 cm.
Subject
Machine theory.
Subject
Formal languages.
Subject
Computational complexity.
Added Entry
Ullman, Jeffrey D., 1942-
Keyword Search
Words:
Search Type:
Author
Title
Subject
ISBN
ISSN
LCCN
Anywhere
AND
OR
NOT
NEAR
Author
Title
Subject
ISBN
ISSN
LCCN
Anywhere
AND
OR
NOT
Author
Title
Subject
ISBN
ISSN
LCCN
Anywhere
Database:
IISERK
Any filter options that are chosen below will be combined with the Session Filters and applied to the search.
Nature of Contents Filters
Format Filters
None
Abstracts/summaries
Bibliographies
Catalogs
Dictionaries
Directories
Discographies
Encyclopedias
Filmographies
Handbooks
Indexes
Law reports and digests
Legal articles
Legal cases and case notes
Legislation
Programmed texts
Reviews
Statistics
Surveys of literature
Technical reports
Thesis
Treaties
Including
Excluding
None
Archival/Manuscript
Community Information
Community Information - event
Community Information - individual
Community Information - organization
Community Information - program
Computer file
Integrating Resource
Manuscript
Manuscript Serial
Manuscript Serial-Braille
Manuscript Serial-Large print
Manuscript Serial-Microfiche
Manuscript Serial-Microfiche
Manuscript Serial-Microopaque
Manuscript-Braille
Manuscript-Large print
Manuscript-Microfiche
Manuscript-Microfilm
Manuscript-Microopaque
Map
Mixed Material
Mixed Material-Braille
Mixed Material-Large print
Mixed Material-Microfiche
Mixed Material-Microfilm
Mixed Material-Microopaque
Monograph
Monograph-Braille
Monograph-Large print
Monograph-Microfiche
Monograph-Microfilm
Monograph-Microopaque
Music
Music-Braille
Music-Large print
Music-Microfiche
Music-Microfilm
Music-Microopaque
Serial
Serial-Braille
Serial-Large print
Serial-Microfiche
Serial-Microfilm
Serial-Microopaque
Sound recording
Visual material
Visual material-Art
Visual material-Chart
Visual material-Diorama
Visual material-Filmstrip
Visual material-Flash card
Visual material-Game
Visual material-Graphic
Visual material-Kit
Visual material-Microscope slide
Visual material-Model
Visual material-Motion picture
Visual material-Picture
Visual material-Realia
Visual material-Slide
Visual material-Technical drawing
Visual material-Toy
Visual material-Transparency
Visual material-Videorecording
Including
Excluding
Language Filters
Place of Publication Filters
None
Arabic
Chinese
Coptic
Czech
Dyula
Egyptian
English
finnish
French
German
Greek, Ancient (to 1453)
Greek, Modern (1453- )
Hebrew
Hindi
Hungarian
Italian
Latin
Polish
Portuguese
Russian
Spanish
Swedish
Yiddish
Including
Excluding
None
Alabama
Alaska
Alberta
Arizona
Arkansas
Australia
Belgium
Brazil
British Columbia
California
Canada
China
Colorado
Connecticut
Czechoslovakia
Delaware
Denmark
District of Columbia
Egypt
England
finland
Florida
France
Georgia
Germany
Greece
Hawaii
Hungary
Idaho
Illinois
India
Indiana
Iowa
Ireland
Israel
Italy
Japan
Kansas
Kentucky
Louisiana
Luxembourg
Maine
Manitoba
Maryland
Massachusetts
Mexico
Michigan
Minnesota
Mississippi
Missouri
Montana
Nebraska
Netherlands
Nevada
New Brunswick
New Hampshire
New Jersey
New Mexico
New York (State)
New Zealand
Newfoundland
North Carolina
North Dakota
Northern Ireland
Northwest Territories
Norway
Nova Scotia
Ohio
Oklahoma
Ontario
Oregon
Pennsylvania
Poland
Portugal
Rhode Island
Russia (Federation)
Saskatchewan
Scotland
South Carolina
South Dakota
Spain
Sweden
Switzerland
Taiwan
Tennessee
Texas
Turkey
United Arab Emirates
United Kingdom
Utah
Vermont
Virginia
Washington (State)
West Virginia
Wisconsin
Wyoming
Including
Excluding
Publication Date
Context Date
-
-
Set Session Filters
Select below to return to the last:
Full Record
MARC Record
Items List
Item Information
Author Browse
Title Browse
Subject Browse
List of Titles
Cross References
Copyright © 2014 VTLS Inc. All rights reserved.
VTLS.com
Patron ID:
Password:
Library:
IISERK