Skip to content
Toggle navigation
VuFind
0
Items in e-Shelf
(Full)
History
User Account
Logout
User Account
Help
English
Deutsch
Books & more
Articles & more
JuSER
All Fields
Title
Journal Title
Name
Institution
Subject
Classification
Shelf Classification
Table of Contents
DOI
ISBN/ISSN
Call number
Report Number
Barcode
Full Texts (available in selection)
Find
Advanced
Reset Filters
4 filters
Algebra
AND
Artificial intelligence
AND
Logic design
AND
Software engineering
Reset Filters
Show filters (4)
4 filters
Algebra
AND
Artificial intelligence
AND
Logic design
AND
Software engineering
Ask a Librarian
Books & more
: Hits
1 - 8
of
8
sort by
Relevance
Year (descending)
Year (ascending)
Call Number
Author
Title
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Select result number 1
1
E-Book
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
Kuich, Werner.
2011
Full text
Favorites
Saved in:
QR Code
Select result number 2
2
E-Book
Semantics and Algebraic Specification [E-Book] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
Palsberg, Jens
2009
Full text
Favorites
Saved in:
QR Code
Select result number 3
3
E-Book
Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra,...
Düntsch, Ivo
2006
Full text
Favorites
Saved in:
QR Code
Select result number 4
4
E-Book
Algebraic Methodology and Software Technology [E-Book] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Johnson, Michael
2006
Full text
Favorites
Saved in:
QR Code
Select result number 5
5
E-Book
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /
Haeberer, Armando M.
1999
Full text
Favorites
Saved in:
QR Code
Select result number 6
6
E-Book
Algebraic Methodology and Software Technology [E-Book] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings /...
Kirchner, Hélène.
2002
Full text
Favorites
Saved in:
QR Code
Select result number 7
7
E-Book
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Jouannaud, Jean-Pierre.
2011
Full text
Favorites
Saved in:
QR Code
Select result number 8
8
E-Book
Relational and Algebraic Methods in Computer Science [E-Book] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
Swart, Harrie.
2011
Full text
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Electronic Edition
8
Material Type
Book
8
Type of Literature
Conference Publication
6
Year of Publication
From:
To:
Location
ZB
8
Name
Düntsch, Ivo
1
Haeberer, Armando M.
1
Johnson, Michael
1
Jouannaud, Jean-Pierre.
1
Kirchner, Hélène.
1
Kuich, Werner.
1
more ...
MacCaull, Wendy
1
Palsberg, Jens
1
Rahonis, George.
1
Ringeissen, Christophe.
1
Shao, Zhong.
1
Swart, Harrie.
1
Vene, Varmo
1
Winter, Michael
1
see all ...
less ...
Subject
Algebra
Artificial intelligence
Computer science
8
Logic design
Software engineering
Computational complexity
1
more ...
Computer simulation
1
see all ...
less ...
Language
English
7
/* End Narrow Search Options */ ?>
×
Loading...