Showing
1 - 6
results of
6
Skip to content
Matheson Library
Empowering Knowledge, Inspiring Discovery
Home
About Us
About Matheson Library
Mission
Vision
Values
Library Locations & Hours
Library History
Matheson Library Staff
Meet University Librarian
Meet the Team
Team Hierarchy
Contact Us
Collections
Books
New Arrivals
Popular Titles
Fiction
Non-Fiction
Science Fiction
Historical
Journals
Agriculture
Applied Sciences
Business Management
Engineering
Mining
Digital Collections
e-Books
e-Journals
Online Databases
Audiobooks
Research Papers
Archives
Theses & Dissertations
Free Digital Resources
Open Access Journals
Open Library Books
Free e-Books
Archives Rare Books
Services
Library Services
Borrowing
Research Assistance
Information Literacy
Interlibrary Loan
Printing & Binding
Quick Links
Other Library Services
American Corner
Exams Papers Archive
Library Events Calender
Know More
American Corner
Library Policies
Library Membership
Library Newsletter
Users Login
Login to your Account
Login
Search History
Clear History
Log Out
Contact Us
Contact Library Staff
Contact Us
Provide your feedback
Provide your Suggestions
Feedback
全文檢索
作者
題名
期刊標題
主題
索引號
ISBN/ISSN
標簽
檢索
高級檢索
檢索結果 - "Formal languages."
檢索結果 - "Formal languages."
在您的搜尋 主題建議
在您的搜尋 主題建議
Formal languages
6
Computational complexity
3
Machine theory
3
Computer programming
2
Computational linguistics
1
Graph theory
1
Logic, Symbolic and mathematical
1
Showing
1 - 6
results of
6
Refine Results
結果/頁
10
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
載入...
Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June...
出版 1983
主題:
“...
Formal languages
...”
索引號:
載入...
位於:
載入...
圖書
載入...
QR Code
添加到書包
從書包裡刪除
加到收藏夾
Saved in:
2
載入...
Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
出版 1978
主題:
“...
Formal languages
...”
索引號:
載入...
位於:
載入...
圖書
載入...
QR Code
添加到書包
從書包裡刪除
加到收藏夾
Saved in:
3
載入...
Computers in language research formal methods
出版 1979
主題:
索引號:
載入...
位於:
載入...
圖書
載入...
QR Code
添加到書包
從書包裡刪除
加到收藏夾
Saved in:
4
載入...
Introduction to automata theory, languages, and computation
由
Hopcroft, John E., 1939-
出版 1979
主題:
索引號:
載入...
位於:
載入...
圖書
載入...
QR Code
添加到書包
從書包裡刪除
加到收藏夾
Saved in:
5
載入...
Elements of the theory of computation
由
Lewis, Harry R.
出版 1981
主題:
索引號:
載入...
位於:
載入...
圖書
載入...
QR Code
添加到書包
從書包裡刪除
加到收藏夾
Saved in:
6
載入...
Computability, complexity, and languages : fundamentals of theoretical computer science /
由
Davis, Martin
出版 1983
主題:
索引號:
載入...
位於:
載入...
圖書
載入...
QR Code
添加到書包
從書包裡刪除
加到收藏夾
Saved in:
檢索工具:
得到RSS訂閱
推薦此搜索
保存搜索
Alert schedule: 0
Back
Refine Results
Page will reload when a filter is selected or excluded.
PNG Unitech
PNG Unitech
6 results
6
Matheson Library
Matheson Library
6 results
6
格式
圖書
6 results
6
索引號
000 - Computer science, information, general works
3 results
3
400 - Language
1 results
1
500 - Natural sciences and mathematics
1 results
1
600 - Technology (Applied sciences)
1 results
1
作者
Bjorner, D. (Dines), 1937-
1 results
1
Davis, Martin
1 results
1
Hopcroft, John E., 1939-
1 results
1
IFIP Technical Committee 2--Programming
1 results
1
IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany)
1 results
1
IFIP Working Conference on Formal Description of Programming Concepts (St. Andrews, N.B : (1977)
1 results
1
Lewis, Harry R.
1 results
1
Neuhold, Erich J.
1 results
1
Papadimitriou, Christos H.
1 results
1
Sedelow, Sally Yeates, 1931-
1 results
1
Sedelow, Walter A.
1 results
1
Ullman, Jeffrey D., 1942-
1 results
1
Weyuker, Elaine J.
1 results
1
查看所有...
語言
英语
6 results
6
出版年
來自:
到: