國立高雄大學圖資館 |

Search result for [ subject:"Machine theory"]

96 records (0.025s)· Page 1 of 10 • 1 2 3 4 5

1.

Implementation and application of au...

~
(1998 :)
- Implementation and application of automata5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
- by: (1998 :); Paun, Andrei.; SpringerLink (Online service); Yu, Sheng.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540424918
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Machines, computations, and universa...

~
(1998 :)
- Machines, computations, and universalitythird international conference, MCU 2001 : Chisinau, Moldova, May 23-27 2001 : proceedings /
- by: (1998 :); Margenstern, Maurice.; Rogozhin, Yurii.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540421214
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Implementation and application of au...

~
(1998 :)
- Implementation and application of automata6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers /
- by: (1998 :); SpringerLink (Online service); Watson, Bruce William.; Wood, Derick.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540004004
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Automata implementationFirst Interna...

~
(1998 :)
- Automata implementationFirst International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996 : revised papers /
- by: (1998 :); Raymond, Darrell Ronald.; SpringerLink (Online service); Wood, Derick.; Yu Sheng.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540631743
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Automata implementationSecond Intern...

~
(1998 :)
- Automata implementationSecond International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers /
- by: (1998 :); SpringerLink (Online service); Wood, Derick.; Yu, Sheng.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540646945
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Automata implementationthird Interna...

~
(1998 :)
- Automata implementationthird International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers /
- by: (1998 :); Champarnaud, Jean-Marc.; Maurel, Denis.; SpringerLink (Online service); Ziadi, Djelloul.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1999
- ISBN: 9783540666523
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Abstract state machinestheory and ap...

~
Gurevich, Yuri.
- Abstract state machinestheory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 19-24, 2000 : proceedings /
- by: Gurevich, Yuri.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2000
- ISBN: 9783540679592
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Automata implementation4th Internati...

~
(1998 :)
- Automata implementation4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers /
- by: (1998 :); Boldt, Oliver.; Jurgensen, Helmut.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540428121
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Abstract state machines 2004advances...

~
(1998 :)
- Abstract state machines 2004advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
- by: (1998 :); SpringerLink (Online service); Thalheim, B. (1952-); Zimmermann, Wolf.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540220947
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Abstract state machines 2003advances...

~
(1998 :)
- Abstract state machines 2003advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings /
- by: (1998 :); Borger, E. (1946-); Gargantini, Angelo, (1969-); Riccobene, Elvinia, (1964-); SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2003
- ISBN: 9783540006244
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items