1657 results found. Sorted by relevance | date | title .
Result Page   1 2 3 4 5 6 7 8 9 10 11 ... 34 Next
KEYWORDS (1-50 of 1657)
entries 1-43
1
book jacket

Formal languages, automata and numeration systems.
Rigo, Michel
London : Wiley, 2014
2014
電子書

Location: 中央研究院
2
book jacket

Formal languages, automata and numeration systems.
Rigo, Michel
London : ISTE Ltd ; Hoboken, NJ : John Wiley & Sons, Inc., 2014
2014
電子書

Location: 中央研究院
3
book jacket

Formal Languages, Automata and Numeration Systems 1 : Introduction to Combinatorics on Words
Rigo, Michel
Somerset : John Wiley & Sons, Incorporated, 2014
2014
COMPUTER FILE

Location: Department of Information Technology Services
4
book jacket

Formal Languages, Automata and Numeration Systems 2 : Applications to Recognizability and Decidability
Rigo, Michel
Somerset : John Wiley & Sons, Incorporated, 2014
2014
COMPUTER FILE

Location: Department of Information Technology Services
5
book jacket

Formal languages in logic : a philosophical and cognitive analysis
Novaes, Catarina Dutilh
Cambridge ; New York : Cambridge University Press, 2012
 
2012
PRINTED

Location: Euro-Am Studies Lib, Chinese Lit.&Phi. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Euro-Am 3F Western Mat.  511.3 N8566 2012    AVAILABLE  -  30500101466020
 Chinese Lit.&Phi. Lib.  156 N935    AVAILABLE    30580003039471
6
book jacket

Bio-inspired models for natural and formal languages

Newcastle upon Tyne : Cambridge Scholars Pub., 2011
 
2011
PRINTED

Location: 人文社會聯圖
LOCATION CALL # STATUS OPACMSG BARCODE
 人文社會聯圖  QA267.3 .B58 2011    AVAILABLE    30630020038905
7
book jacket

Automata, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008
International Workshop on Automata, Formal Languages and Algebraic Systems (2008 : Kyoto, Japan)
Singapore ; Hackensack, NJ : World Scientific, c2010
 
c2010
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267.3 I587 2008    AVAILABLE    30340200510141
8
book jacket

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008

Singapore ; Hackensack, NJ : World Scientific, c2010
c2010
COMPUTER FILE

Location: 中央研究院
9
book jacket

Automata, Formal Languages And Algebraic Systems - Proceedings Of Aflas 2008 : Proceedings of AFLAS 2008
Ito, Masami
Singapore : World Scientific Publishing Company, 2010
2010
COMPUTER FILE

Location: Department of Information Technology Services
10
book jacket

A second course in formal languages and automata theory
Shallit, Jeffrey
Cambridge ; New York : Cambridge University Press, 2009
 
2009
PRINTED

Location: Statistics Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Statistics Sci. Lib.I  QA267.3 S53 2009    AVAILABLE    30570000120721
11
book jacket

A course in formal languages, automata and groups
Chiswell, Ian
London : Springer-Verlag London, 2009
2009
電子書

Location: 中央研究院
12
book jacket

Formal languages and compilation
Crespi Reghizzi, Stefano
London : Springer-Verlag London, 2009
2009
電子書

Location: 中央研究院
13
book jacket

An introduction to the theory of formal languages and automata
Levelt, W. J. M. (Willem J. M.), 1938-
Amsterdam ; Philadelphia : John Benjamins Pub., c2008
 
c2008
PRINTED

Location: 人文社會聯圖
LOCATION CALL # STATUS OPACMSG BARCODE
 人文社會聯圖  QA267.3 .L48 2008    AVAILABLE    30630020020523
14
book jacket

New Developments in Formal Languages and Applications

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

Location: 中央研究院
15
book jacket

Semigroups and formal languages : proceedings of the International Conference, in honour of the 65th birthday of Donald B. McAlister

Hackensack, NJ : World Scientific, 2007
 
2007
PRINTED

Location: Mathematics Library
16
book jacket

Semigroups and Formal Languages : Proceedings of the International Conference, in honour of the 65th birthday of Donald B. McAlister

Hackensack, NJ : World Scientific, 2007
 
2007
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267 S46 2007    AVAILABLE    30340200484453
17
book jacket

Semigroups And Formal Languages - Proceedings Of The International Conference : Proceedings of the International Conference
Gomes, Gracinda M S
Singapore : World Scientific Publishing Company, 2007
2007
COMPUTER FILE

Location: Department of Information Technology Services
18
book jacket

Recent advances in formal languages and applications

Berlin : Springer, c2006
c2006
PRINTED

Location: 人文社會聯圖
LOCATION CALL # STATUS OPACMSG BARCODE
 人文社會聯圖  QA267.3 .R43 2006    AVAILABLE    30630020013981
19
book jacket

Formal languages and applications

Berlin ; New York : Springer, ©2004
2004
電子書

Location: Mathematics Library
20
book jacket

Theory of Automata, Formal Languages and Computation
Xavier, S.P.E
Daryaganj : New Age International Ltd, 2004
2004
COMPUTER FILE

Location: Department of Information Technology Services
21
book jacket

An introduction to formal languages and automata
Linz, Peter
Sudbury, Mass. : Jones and Bartlett Publishers, c2001.
 
c2001
PRINTED

Location: 人文社會聯圖
LOCATION CALL # STATUS OPACMSG BARCODE
 人文社會聯圖  QA267.3 L762 2001    AVAILABLE    30630000118610
22
 

代数的半群, 形式言語及び計算理論 =bAlgebraic semigroups, formal languages and computation : 研究集会報告集, 2001年2月19日~2月21日

[京都市] : 京都大学数理解析研究所, 2001
 
2001
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  310.5 5812 v.1222    AVAILABLE    30340200413544
23
book jacket

Finiteness and regularity in semigroups and formal languages
De Luca, A. (Aldo)
Berlin : New York : Springer, c1999
 
c1999
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA182 D4 1999    AVAILABLE    30340200383432
24
book jacket

Finiteness and Regularity in Semigroups and Formal Languages
Luca, Aldo
Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
1999
電子書

Location: Mathematics Library
25
book jacket

An introduction to formal languages and machine computation
Yan, Song Y
River Edge, NJ : World Scientific, 1998
 
1998
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267.3 Y36 1998    AVAILABLE    30340200367674
26
book jacket

Models of computation and formal languages
Taylor, Ralph Gregory
New York : Oxford University Press, c1998
 
c1998
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9.59 T39 1998    AVAILABLE    30340200375677
 Mathematics Library  QA9.59 T39 1998 c.2  AVAILABLE    30340200377673
27
book jacket

Handbook of formal languages

Berlin ; New York : Springer, c1997
 
c1997
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267.3 H36 1997  v.1    AVAILABLE    30340200353724
 Mathematics Library  QA267.3 H36 1997  v.2    AVAILABLE    30340200353732
 Mathematics Library  QA267.3 H36 1997  v.3    AVAILABLE    30340200353740
There are additional copies/volumes of this item
28
book jacket

New trends in formal languages : control, cooperation, and combinatorics

Berlin ; New York : Springer, c1997
c1997
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  Ser F4.3 N532  LNCS 1218    AVAILABLE    30330000120985
29
book jacket

New trends in formal languages control, cooperation, and combinatorics

Berlin ; New York : Springer, c1997
c1997
電子書

Location: 中央研究院
30
book jacket

Handbook of formal languages.

Springer, [Germany] ; Heidelberg, [Germany] : Springer, 1997
1997
COMPUTER FILE

Location: Department of Information Technology Services
31
book jacket

Automata and formal languages : an introduction
Kelley, Dean
Englewood Cliffs, N.J. : Prentice Hall, c1995
 
c1995
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.9.M35 K45 1995    AVAILABLE    30340200330854
32
book jacket

Formal languages and automata theory
Drobot, Vladimir
Rockville, Md. : Computer Science press, 1989.
 
1989
PRINTED

Location: Department of Information Technology Services
LOCATION CALL # STATUS OPACMSG BARCODE
 Department of Information Technology Services  QA267.3 D783 1989    AVAILABLE  ows of the institute only  ACC004049
33
book jacket

Varieties of formal languages
Pin, Jean Eric
New York, N.Y. : Plenum Pub. Corp., 1986
 
1986
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267.3 P5613 1986    AVAILABLE    30340200221988
34
 

Labelled formal languages and their uses
Greene, Daniel Hil
Ann Arbor, MI : UMI , 1983.
 
1983
PRINTED

Location: Statistics Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Statistics Sci. Lib.I  QA267.3 G831 1983    AVAILABLE    30570000111225
35
book jacket

Elementary computability, formal languages, and automata
McNaughton, Robert
Englewood Cliffs, N.J. : Prentice-Hall, c1982
 
c1982
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9.59 M35    AVAILABLE    30340200170813
 Inform. Sci. Books  F4.0 M169    AVAILABLE    30330000029681
36
book jacket

Algebraic and automata-theoretic properties of formal languages
Ginsburg, Seymour, 1927-
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975
 
1975
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.7 G5    AVAILABLE    30340200159733
 Inform. Sci. Books  F4.3 G4935    AVAILABLE    30330000018429
37
book jacket

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975

Berlin ; New York : Springer-Verlag, 1975
 
1975
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro F4.3 A939 1975  LNCS 33    LIB USE ONLY    30330000010335
 Mathematics Library  QA75.5 .L42  v.33    AVAILABLE    30340200102444
38
book jacket

Automata theory and formal languages 2nd GI conference,Kaiserslautern, May 20-23, 1975

Berlin ; New York : Springer-Verlag, 1975
1975
COMPUTER FILE

Location: Information Sci. Lib.
39
book jacket

Simple program schemes and formal languages
Engelfriet, Joost
Berlin ; New York : Springer-Verlag, 1974
 
1974
PRINTED

Location: Mathematics Library, Information Sci. Lib., Economics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  Ser D3.1 E57  LNCS 20    AVAILABLE    30330000010202
 Mathematics Library  QA75.5 .L42  v.20    AVAILABLE    30340200096877
 Economics Library  QA267.3 E53 1974    AVAILABLE    30510100065640
40
book jacket

Simple program schemes and formal languages
Engelfriet, Joost
Berlin ; New York : Springer-Verlag, 1974
1974
COMPUTER FILE

Location: Information Sci. Lib.
41
 

Formal languages
Salomaa, Arto
New York : Academic Press, 1973
 
1973
PRINTED

Location: Mathematics Library, Fu Ssu-Nien Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267.3 S24    AVAILABLE    30340200098204
 Fu Ssu-Nien WTN LANG BK  QA267.3 S173    AVAILABLE    HPW0024348
 Inform. Sci. Books  F4.3 S173-2    AVAILABLE    30330000033352
42
book jacket

A programmer's introduction to computability and formal languages
Kurki-Suonio, Reino
Lund, Studentlitt.; Princeton [N.J.] Auerbach Publishers, 1971
 
1971
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.7 K965    AVAILABLE    30340200114894
43
 

Formal languages and their relation to automata
Hopcroft, John E., 1939-
Reading, Mass., Addison-Wesley Pub. Co. [1969]
 
1969
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA267.3 H6    AVAILABLE    30340200093395
entries 44-48
44
book jacket

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

Cham : Springer International Publishing : Imprint: Springer, 2020
2020
COMPUTER FILE

Location: 中央研究院
45
 

代数系,形式言語および通常.非通常計算理論 = Algebraic systems, formal languages and conventional and unconventional computation theory

[京都市] : 京都大学数理解析研究所, 2004
 
2004
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  310.5 5812 v.1366    AVAILABLE    30340200455206
46
 

代数系, 形式言語および計算理論 = Algebraic systems, formal languages and computations : 研究集会報告集, 2000年3月21日~3月23日

[京都市] : 京都大学数理解析研究所, 2000
 
2000
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  310.5 5812 v.1166    AVAILABLE    30340200399503
47
book jacket

Semigroups : algebraic theory and applications to formal languages and codes

Singapore ; River Edge, N.J. : World Scientific, c1993
 
c1993
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA182 S44 1993    AVAILABLE    30340200291841
48
book jacket

Theory of finite automata : with an introduction to formal languages
Carroll, John, 1951-
Englewood Cliffs, N.J. : Prentice Hall, 1989
 
1989
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  F1.1 C319    AVAILABLE    30330000065008
 Very relevantentries 49-445
49
book jacket

Lessons in enumerative combinatorics
Egecioglu, Omer Nuri, 1954- author
Cham, Switzerland : Springer, [2021]
 
2021
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA164 .E3174 2021    IN PROCESS    30340200569329
50
book jacket

Language and automata theory and applications : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020 : proceedings
LATA (Conference) (14th : 2020 : Milan, Italy)
Cham : Springer International Publishing : Imprint: Springer, 2020
2020
COMPUTER FILE

Location: 中央研究院
Result Page   1 2 3 4 5 6 7 8 9 10 11 ... 34 Next