Refine your search

Your search returned 493 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Automata, languages and programming : 22nd international colloquium proceedings, Szeged, Hungary, July 10-14, 1995 / edited by Zoltan Fulop and Ferenc Gecseg

by | .

Series: Lecture notes in computer science ; v.944Edition: Language: English Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: 1 Call number: 681.3.06 Aut:22:95.

Place hold Add to cart
No cover image available
Programming languages implementation and logic programming : international workshop proceedings, PLILP, Orleans, France, May 16-18, 1988 / edited by P. Deransart, B. Lorho and J. Maluszynski

by | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1989Availability: Items available for loan: 1 Call number: 681.3.06 Pro:88.

Place hold Add to cart
No cover image available
Complementary definitions of programming language semantics

by Donahue, James E | .

Series: NASA CR 3750 : 1983Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1976Availability: Items available for loan: 1 Call number: 681.3.06 Don.

Place hold Add to cart
No cover image available
Generator for translators of certain problem oriented languages

by Murphree, Edward Lile | .

Series: Edition: Language: English Publication details: Urbana ; University of Illinois, ; 1967Availability: Items available for loan: 1 Call number: 681.3.06 Mur.

Place hold Add to cart
No cover image available
System simulation : programming styles and languages

by Kreutzer, Wolfgang | .

Series: Edition: Language: English Publication details: Sydney ; Addison-Wesley, ; 1986Availability: Items available for loan: 1 Call number: 62:681.3.06 Kre.

Place hold Add to cart
No cover image available
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (lecture notes in computer science ; v.321)

by Zwiers, J | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1989Availability: Items available for loan: 1 Call number: 681.3.06 Zwi.

Place hold Add to cart
No cover image available
Tools, methods and languages for scientific and engineering computation : proceedings of the international conference on tools, methods and languages for scientific and engineering computation, Paris, France, May 17-19, 1983 / edited by B. Ford, J.C.

by International conference on tools, methods and languages for scientific and engineering computation (1983 : Paris, France) | .

Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1984Availability: Items available for loan: 1 Call number: 681.3:5/6 Int.:83.

Place hold Add to cart
No cover image available
On conceptual modelling : perspectives from artificial intelligence, databases and programming languages / edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt

by | .

Series: Edition: Language: English Publication details: New York ; Springer-Verlag, ; 1984Availability: Items available for loan: 1 Call number: 681.3 Bro.

Place hold Add to cart
No cover image available
No cover image available
Algebraic semantics of imperative programs

by Goguen, Joseph A | Malcolm, Grant | .

Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1996 ; 1996Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Gog.

Place hold Add to cart
Pages

Powered by Koha