Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Broy, Manfred
Leuschel, Michael
Zamulin, Alexandre V...
Item types
Books
Series
Lecture notes in com...
Lecture notes in com...
Topics
Debugging
Graphical interfaces
LOPSTR
Partial evaluation
program transformati...
Show more
Your query retrived 2 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
by
Broy, Manfred
|
Zamulin, Alexandre V.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Berlin: Springer, 2003
Availability:
Items available for loan:
[
Call number:
004 BRO] (1).
Place hold
2.
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers
by
Leuschel, Michael.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Berlin: Springer-Verlag, 2003
Availability:
Items available for loan:
[
Call number:
004 LEU] (1).
Place hold
Powered by
Koha