Result Page   1 2 Next
SUBJECTS (1-50 of 57)
Programming languages (Electronic computers) -- Semantics -- Congresses
1
book jacket

ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : conference record : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2002 : Aizu, Japan)
New York, N.Y. : ACM press, 2002
 
2002
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc D3.3 P273 2002    LIB USE ONLY    30330000162383
2
book jacket

Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings
CAI (Conference) (6th : 2015 : Stuttgart, Germany)
Cham : Springer International Publishing : Imprint: Springer, 2015
2015
電子書

Location: 中央研究院
3
book jacket

Algebraic informatics : 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019 : proceedings
CAI (Conference) (8th : 2019 : Nis, Serbia)
Cham : Springer International Publishing : Imprint: Springer, 2019
2019
COMPUTER FILE

Location: 中央研究院
4
book jacket

Attribute grammars, applications and systems international summer school, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

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

Location: Information Sci. Lib.
5
book jacket

Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
International Summer School on Attribute Grammars, Applications and Systems (1991 : Prague, Czechoslovakia)
Berlin ; New York : Springer-Verlag, c1991
 
c1991
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA75.5 .L42  v.545    AVAILABLE    30340200294225
 Inform. Sci. Series  SerPro F4.3 A8855 1991  LNCS 545    LIB USE ONLY    30330000082342
6
book jacket

Domain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
International Symposium on Domain Theory (2nd : 2001 : Sichuan Sheng, China)
Dordrecht ; Boston : Kluwer Academic, 2004
 
2004
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.7 I5754 2001    AVAILABLE    30340200454779
7
book jacket

Domain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
International Symposium on Domain Theory (2nd : 2001 : Sichuan Sheng, China)
Dordrecht ; Boston : Kluwer Academic, 2003
2003
電子書

Location: Mathematics Library
8
book jacket

Formal semantics of Programming languages.
Courant Computer Science Symposium, 2d, New York, 1970
Englewood, Cliffs, N.J., Prentice-Hall [1972]
 
1972
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.6 C833    AVAILABLE    30340200085060
9
book jacket

Language, logic, and computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers
International Tbilisi Symposium on Logic, Language, and Computation (12th : 2017 : Lagodekhi, Georgia)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019
2019
COMPUTER FILE

Location: 中央研究院
10
book jacket

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers. Balder D. Cate, Henk W. Zeevat
International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
2007
電子書

Location: Information Sci. Lib.
11
book jacket

Logic, language, and computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
International Tbilisi Symposium on Logic, Language, and Computation (7th : 2007 : Tbilisi, Georgia)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

Location: 中央研究院
12
book jacket

Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013 : revised selected papers
International Tbilisi Symposium on Logic, Language, and Computation (10th : 2013 : Gudauri, Georgia)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
2015
電子書

Location: 中央研究院
13
book jacket

Logic, language, and computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : rvised selected papers
International Tbilisi Symposium on Logic, Language, and Computation (11th : 2015 : Tbilisi, Georgia)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
2017
COMPUTER FILE

Location: 中央研究院
14
book jacket

Mathematical foundations of programming language semantics 3rd workshop, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

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

Location: Information Sci. Lib.
15
book jacket

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

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

Location: Economics Library, Information Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Economics Library  QA76.7 M378 1988    AVAILABLE    30510100194903
 Inform. Sci. Series  SerPro D3.1 M426 1987  LNCS 298    LIB USE ONLY    30330000057963
 Mathematics Library  QA75.5 .L42  v.298    AVAILABLE    30340200297483
16
book jacket

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

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

Location: Information Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D3.1 M426 1991  LNCS 598    LIB USE ONLY    30330000084819
 Mathematics Library  QA75.5 .L42  v.598    LOST    30340200299679
17
book jacket

Mathematical foundations of programming semantics 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

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

Location: Information Sci. Lib.
18
book jacket

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.)
Berlin ; New York : Springer-Verlag, c1994
 
c1994
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA75.5 .L42  v.802    AVAILABLE    30340200307514
 Inform. Sci. Series  SerPro D3.1 M426 1993  LNCS 802    LIB USE ONLY    30330000097332
19
book jacket

Mathematical foundations of programming semantics 9th International conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.)
Berlin : Springer-Verlag, 1994
1994
COMPUTER FILE

Location: Information Sci. Lib.
20
book jacket

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

Berlin : New York : Springer-Verlag, c1986
 
c1986
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA75.5 .L42  v.239    AVAILABLE    30340200297129
 Inform. Sci. Series  SerPro D3.1 M426 1986  LNCS 239    LIB USE ONLY    30330000049929
21
book jacket

Mathematical foundations of programming semantics international conference, Manhattan, Kansas, April 11-12,1985 : proceedings

Berlin : New York : Springer-Verlag, 1986
1986
COMPUTER FILE

Location: Information Sci. Lib.
22
book jacket

Natural language at the computer proceedings
Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication (1988 : Heidelberg, Germany)
Berlin ; New York : Springer-Verlag, 1988
1988
COMPUTER FILE

Location: Information Sci. Lib.
23
book jacket

Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987
International Workshop on Natural Language Understanding and Logic Programming (2nd : 1987 : Vancouver, B.C.)
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
 
1988
PRINTED

Location: Fu Ssu-Nien Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Fu Ssu-Nien WTN LANG BK  QA76.7 I61 1987    AVAILABLE    HPW0024328
 Inform. Sci. Proceeding  Proc I2.7 N285 1987    LIB USE ONLY    30330000059514
24
book jacket

Pepm'08 : proceedings of the 2008 ACM SIGPLAN symposium on partial evaluation and semantics-based program manipulation, San Francisco, California, USA, January 7-8, 2008
Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2008 : San Francisco, Calif.)
New York, N.Y. : ACM press, 2008
 
2008
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc D3.3 P273:2 2008    LIB USE ONLY    30330000200423
25
book jacket

Pepm'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and semantics-based program manipulation, Savannah, Georgia, USA, January 19-20, 2009
Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2009 : Savannah, Georgia, USA)
New York, N.Y. : ACM press, 2009
 
2009
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc D3.3 P273:2 2009    LIB USE ONLY    30330000215512
26
book jacket

Pepm'13 : proceedings of the 2013 ACM SIGPLAN symposium on partial evaluation and semantics-based program manipulation, Rome, Itly, January 21-22, 2013
Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2013 : Rome, Itly)
New York, N.Y. : ACM press, 2013
 
2013
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc D3.3 P273:2 2013    LIB USE ONLY    30330000224142
27
book jacket

Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
International Symposium on Practical Aspects of Declarative Languages (4th : 2002 : Portland, OR, USA)
Berlin : Springer, c2002
c2002
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2002  LNCS 2257    LIB USE ONLY    30330000151386
28
book jacket

Practical aspects of declarative languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
PADL 2002 (2002 : Portland, Or.)
Berlin ; London : Springer, c2002
c2002
電子書

Location: 中央研究院
29
book jacket

Practical aspects of declarative languages : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
International Symposium on Practical Aspects of Declarative Languages (5th : 2003 : New Orleans, LA, USA)
Berlin : Springer, c2003
c2003
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2003  LNCS 2562    LIB USE ONLY    30330000158100
30
book jacket

Practical aspects of declarative languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
International Symposium on Practical Aspects of Declarative Languages (6th : 2004 : Dallas, Tex.)
Berlin : Springer, c2004
c2004
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2004  LNCS 3057    LIB USE ONLY    30330000167846
31
book jacket

Practical aspects of declarative languages 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
PADL 2004 (2004 : Dallas, Tex.)
Berlin ; New York : Springer, c2004
c2004
電子書

Location: 中央研究院
32
book jacket

Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
International Symposium on Practical Aspects of Declarative Languages (7th : 2005 : Long Beach, Calif.)
Berlin : Springer, c2005
c2005
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2005  LNCS 3350    LIB USE ONLY    30330000173240
33
book jacket

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
PADL 2005 (2005 : Long Beach, Calif.)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

Location: 中央研究院
34
book jacket

Practical aspects of declarative languages : 8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings
International Symposium on Practical Aspects of Declarative Languages (8th : 2006 : Charleston, S.C.)
Berlin : Springer, c2006
c2006
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2006  LNCS 3819    LIB USE ONLY    30330000181474
35
book jacket

Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings
International Symposium on Practical Aspects of Declarative Languages (9th : 2007 : Nice, France)
Berlin : Springer, c2007
c2007
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2007  LNCS 4354    LIB USE ONLY    30330000189709
36
book jacket

Practical aspects of declarative languages 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings
PADL 2007 (2007 : Nice, France)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
2007
電子書

Location: Information Sci. Lib.
37
book jacket

Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings
International Symposium on Practical Aspects of Declarative Languages (10th : 2008 : San Francisco, CA, USA)
Berlin : Springer, c2008
c2008
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2008  LNCS 4902    LIB USE ONLY    30330000199872
38
book jacket

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
PADL 2008 (2008 : San Francisco, Calif.)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

Location: 中央研究院
39
book jacket

Practical aspects of declarative languages 11th international symposium, Padl 2009, Savannah, Ga, USA, January 19-20, 2009 : proceedings
PADL (11th : 2009 : Savannah, Ga.)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

Location: 中央研究院
40
book jacket

Practical aspects of declarative languages : 11th international symposium, Padl 2009, Savannah, Ga, USA, January 19-20, 2009 : proceedings
PADL (11th : 2009 : Savannah, Ga.)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2009  LNCS 5418    LIB USE ONLY    30330000216833
41
book jacket

Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings
International Workshop on Practical Aspects of Declarative Languages (1st : 1999 : San Antonio, Tex.)
Berlin ; New York : Springer, c1999
c1999
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 1999  LNCS 1551    LIB USE ONLY    30330000132691
42
book jacket

Practical aspects of declarative languages second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
PADL '2000 (2000 : Boston, Mass.)
Berlin ; New York : Springer, c2000
c2000
電子書

Location: 中央研究院
43
book jacket

Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings
International Workshop on Practical Aspects of Declarative Languages (2nd : 2000 : Boston, MA, USA)
Berlin ; New York : Springer, c2000
c2000
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2000  LNCS 1753    LIB USE ONLY    30330000139449
44
book jacket

Practical aspects of declarative languages third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
PADL 2001 (2001 : Las Vegas, Nev.)
Berlin ; New York : Springer, c2001
c2001
電子書

Location: 中央研究院
45
book jacket

Practical aspects of declarative languages : third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001 : proceedings
International Symposium on Practical Aspects of Declarative Languages (3rd : 2001 : Las Vegas, Nevada, USA)
Berlin ; New York : Springer, c2001
c2001
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.1 P8957 2001  LNCS 1990    LIB USE ONLY    30330000147079
46
book jacket

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM '91 : Yale University, New Haven, Connecticut, USA, June 17-19, 1991
ACM SIGPLAN & IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation (1st : 1991 : Yale University)
New York : Association for Computing Machinery, c1991
 
c1991
PRINTED

Location: Computing Center Lib., Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Binding Rm  Journal  v.26(#8-10) (1991)    LIB USE ONLY    30330010002629
47
book jacket

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

Location: 中央研究院
48
book jacket

Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

Location: 中央研究院
49
book jacket

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
REX Workshop (1992 : Beekbergen, Netherlands)
Berlin ; New York : Springer-Verlag, c1993
 
c1993
PRINTED

Location: Information Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro F3.2 S471 1992  LNCS 666    LIB USE ONLY    30330000091087
 Mathematics Library  QA75.5 .L42  v.666    AVAILABLE    30340200301475
50
book jacket

Semantics foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
REX Workshop (1992 : Beekbergen, Netherlands)
Berlin ; New York : Springer-Verlag, 1993
1993
COMPUTER FILE

Location: Information Sci. Lib.
Result Page   1 2 Next