>> Amazon.co.jp
このページのQRコード

Categorical combinators, sequential algorithms, and functional programming. 2nd ed

種類:
図書
責任表示:
Pierre-Louis Curien
出版情報:
Boston : Birkhäuser, c1993
著者名:
Curien, Pierre-Louis <DA00531051>  
シリーズ名:
Progress in theoretical computer science <BA1282110X>
ISBN:
9780817636548 [0817636544] (: us)  CiNii Books  Calil
9783764336547 [3764336544] (: sz)  CiNii Books  Calil
注記:
Includes bibliographical references (p. 381-394) and indexes
1st ed. by Pitman Publishing, 1986
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Cousineau, Guy, Curien, Pierre-Louis, Robinet, Bernard, SpringerLink (Online service)

Springer-Verlag
7 図書 Dynamic programming : sequential scientific management

Kaufmann, Arnold, 1911-, Cruon, R., Sneyd, Henry C.

Academic Press
2 電子ブック Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

Cousineau, Guy., Curien, Pierre-Louis., Robinet, Bernard., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Domains and lambda-calculi

Amadio, Roberto M, Curien, P.-L. (...Pierre-Louis...)

Cambridge University Press
3 図書 Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings

Laboratoire Informatique Théorique et Programmation (France). Spring School, Cousineau, Guy, Curien, Pierre-Louis, &hellip;

Springer-Verlag
9 図書 An introduction to formal languages and automata

Linz, Peter

Jones and Bartlett Publishers
4 図書 Lambda-calculus, combinators, and functional programming

Révész, György E.

Cambridge University Press
10 図書 Introduction to automata theory, languages, and computation

Hopcroft, John E., 1939-, Motwani, Rajeev, Ullman, Jeffrey D., 1942-

Pearson Addison-Wesley
5 図書 Simple program schemes and formal languages

Engelfriet, Joost

Springer-Verlag
11 図書 Die Kalkülisierung der Grammatik : philologische Untersuchungen zu Ursprung, Entwicklung und Erfolg der sprachwissenschaftlichen Theorien Noam Chomskys

Hermanns, Fritz, 1925-

Groos
6 図書 Verification of sequential and concurrent programs

Apt, Krzysztof R., 1949-, Olderog, E.-R

Springer
12 図書 Models of computation and formal languages

Taylor, Ralph Gregory

Oxford University Press