Showing
1 - 12
results of
12
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Other:
Remove Filter
sémantique programme
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Other:
Remove Filter
sémantique programme
Search Results
Showing
1 - 12
results of
12
for search '
'
, query time: 0.24s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published 1994
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
2
Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
3
Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of S...
Published 1999
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published 2000
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
8
Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
9
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
10
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published 2002
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
11
Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published 1982
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
12
Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings /
Published 1991
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
eBook
12 results
12
Conference Proceeding
10 results
10
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
SpringerLink (Online service)
12 results
12
Danvy, Olivier
2 results
2
Codognet, Philippe
1 results
1
Conference on Foundations of Software Technology and Theoretical Computer Science Bangalore, India
1 results
1
Cortesi, Agostino, 1963-
1 results
1
FOSSACS (Conference) Amsterdam, Netherlands)
1 results
1
Filinski, Andrzej, 1965-
1 results
1
Glück, R. (Robert), 1961-
1 results
1
Hariharan, Ramesh
1 results
1
International Conference on Algebraic and Logic Programming
1 results
1
International Conference on Logic Programming Paphos, Cyprus
1 results
1
International Joint Conference on Theory and Practice of Software Development
1 results
1
Kobayashi, Naoki
1 results
1
Kolman, Petr
1 results
1
Kozen, Dexter, 1951-
1 results
1
Levi, G. (Giorgio), 1942-
1 results
1
Logics of Programs Workshop Yorktown Heights, N.Y.
1 results
1
Mukund, Madhavan
1 results
1
PADO 2001 Aarhus, Denmark
1 results
1
Pierce, Benjamin C.
1 results
1
Pultr, Aleš
1 results
1
Rodríguez Artalejo, M. (Mario)
1 results
1
SAIG 2000 Montréal, Québec
1 results
1
Sgall, Jiří, 1965-
1 results
1
Symposium on Mathematical Foundations of Computer Science (1972- ) Mariánské Lázně, Czech Republic)
1 results
1
TACS 2001 Sendai-shi, Miyagi-ken, Japan
1 results
1
Taha, Walid, 1972-
1 results
1
Tarlecki, Andrzej
1 results
1
Thiemann, P. (Peter), 1964-
1 results
1
Thomas, Wolfgang, 1947-
1 results
1
see all…
Language
English
12 results
12
Geography
Arhus
1 results
1
Dagstuhl <1996>
1 results
1
Montreal <2000>
1 results
1
Montréal
1 results
1
Paphos (Kouklia)
1 results
1
Sendai
1 results
1
Venedig
1 results
1
Venedig <2002>
1 results
1
see all…
Loading...