Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-49 of 49)
Programming languages (Electronic computers) -- Semantics
1
E-book
2013

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings


CAI (Conference) (5th : 2013 : Porquerolles Island, France)

Berlin : Springer, [2013]

Rating:

 
2
E-book
2015

Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings


CAI (Conference) (6th : 2015 : Stuttgart, Germany)

Cham : Springer, 2015

Rating:

 
3
E-book
2019

Algebraic informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings


CAI (Conference) (8th : 2019 : Niš , Serbia)

Cham, Switzerland : Springer, 2019

Rating:

 
7
E-book
1991

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, Czech Republic)

Berlin ; New York : Springer-Verlag, ©1991

Rating:

 
8
E-book
1982

Axiomatising the logic of computer programming


Goldblatt, Robert.

Berlin ; New York : Springer-Verlag, 1982

Rating:

 
15
Book
2004

Concepts, techniques, and models of computer programming


Van-Roy, Peter, author

Cambridge, Mass. : MIT Press, 2004

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.1 Van/Cta  AVAILABLE
16
E-book
2007

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures


International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China)



Rating:

 
17
E-book
2020

Embeddings in natural language processing : theory and advances in vector representations of meaning


Pilehvar, Mohammad Taher, author

Cham, Switzerland : Springer, [2020]

Rating:

 
19
Book
1981

Formal specification of programming languages : a panoramic primer


Pagan, Frank G.

Englewood Cliffs, N.J. : Prentice-Hall, [1981]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.13 Pag  AVAILABLE
20
Book
1987

Foundations of logic programming


Lloyd, J. W. (John Wylie), 1947-
Second, extended edition
Berlin ; New York : Springer-Verlag, [1987]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.131 Llo  AVAILABLE
33
E-book
2019

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, Germany : Springer, 2019

Rating:

 
38
E-book
2015

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)

Heidelberg : Springer, 2015

Rating:

 
39
E-book
2017

Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers


International Tbilisi Symposium on Logic, Language, and Computation (11th : 2015 : Tʻbilisi, Georgia)

Berlin, Germany : Springer, 2017

Rating:

 
45
E-book
1994

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.)



Rating:

 
47
E-book
1977

Methods of algorithmic language implementation


Symposium on Methods for the Implementation of Algorithmic Languages (1975 : Novosibirsk)



Rating:

 
48
Book
1987

Natural language understanding


Allen, James, 1950-

Menlo Park, Calif. : Benjamin/Cummings Pub. Co., [1987]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.13 All/Nlu  AVAILABLE
49
E-book
2013

Nominal sets : names and symmetry in computer science


Pitts, A. M. (Andrew M.), author.

Cambridge : Cambridge University Press, 2013

Rating:

 
Add Marked to Bag Add All On Page
Locate in results