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
Logic design
AND
Computer science
Reset Filters
Show filters (2)
Logic design
AND
Computer science
Ask a Librarian
Books & more
: Hits
1 - 10
of
10
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
Agent-Oriented Software Engineering X [E-Book] : 10th International Workshop, AOSE 2009, Budapest,
Hungary
, May 11-12, 2009, Revised Selected Papers /
Gleizes, Marie-Pierre.
2011
Full text
Favorites
Saved in:
QR Code
Select result number 2
2
E-Book
Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest,
Hungary
, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /
Horváth, Zoltán.
2010
Full text
Favorites
Saved in:
QR Code
Select result number 3
3
E-Book
Declarative Agent Languages and Technologies VII [E-Book] : 7th International Workshop, DALT 2009, Budapest,
Hungary
, May 11, 2009. Revised Selected and Invited Papers /
Baldoni, Matteo
2010
Full text
Favorites
Saved in:
QR Code
Select result number 4
4
E-Book
Formal Modeling and Analysis of Timed Systems [E-Book] : 7th International Conference, FORMATS 2009, Budapest,
Hungary
, September 14-16, 2009. Proceedings /
Ouaknine, Joël
2009
Full text
Favorites
Saved in:
QR Code
Select result number 5
5
E-Book
Implementation and Application of Functional Languages [E-Book] : 18th International Symposium, IFL 2006, Budapest,
Hungary
, September 4-6, 2006, Revised Selected Papers /
Butterfield, Andrew
2007
Full text
Favorites
Saved in:
QR Code
Select result number 6
6
E-Book
Object-Oriented Technology [E-Book] : ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest,
Hungary
, June 18–22, 2001 Proceedings /
Frohner, Ákos
2006
Full text
Favorites
Saved in:
QR Code
Select result number 7
7
E-Book
Foundations of Information and Knowledge Systems [E-Book] / 4th International Symposium, FoIKS 2006, Budapest,
Hungary
, February 14-17, 2006, Proceedings
Dix, Jürgen
2006
Full text
Favorites
Saved in:
QR Code
Select result number 8
8
E-Book
Computer Science Logic (vol. # 4207) [E-Book] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged,
Hungary
, September 25-29, 2006, Proceedings
Ésik, Zoltán
2006
Full text
Favorites
Saved in:
QR Code
Select result number 9
9
E-Book
Recent Advances in Constraints [E-Book] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest,
Hungary
, June 30 - July 2, 2003, Selected Papers /
Apt, Krzysztof R.
2004
Full text
Favorites
Saved in:
QR Code
Select result number 10
10
E-Book
ECOOP 2001 — Object-Oriented Programming [E-Book] : 15th European Conference Budapest,
Hungary
, June 18–22, 2001 Proceedings /
Knudsen, Jørgen Lindskov.
2001
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
10
Material Type
Book
10
Type of Literature
Conference Publication
10
Year of Publication
From:
To:
Location
ZB
10
Name
Apt, Krzysztof R.
1
Baldoni, Matteo
1
Bentahar, Jamal
1
Butterfield, Andrew
1
Dix, Jürgen
1
Fages, Francois
1
more ...
Frohner, Ákos
1
Gleizes, Marie-Pierre.
1
Gomez-Sanz, Jorge J.
1
Hegner, Stephen J.
1
Horváth, Zoltán
1
Horváth, Zoltán.
1
Knudsen, Jørgen Lindskov.
1
Lloyd, John
1
Ouaknine, Joël
1
Plasmeijer, Rinus.
1
Riemsdijk, M. Birna
1
Rossi, Francesca
1
Szeredi, Peter
1
Vaandrager, Frits W.
1
Váncza, Josef
1
Zsók, Viktória
1
Zsók, Viktória.
1
Ésik, Zoltán
1
see all ...
less ...
Subject
Computer science
Logic design
Software engineering
6
Artificial intelligence
5
Computer Communication Networks
5
Database management
2
more ...
Algebra
1
Computational complexity
1
Information storage and retrieval systems
1
Information theory
1
Logic, Symbolic and mathematical
1
Management information systems
1
see all ...
less ...
Language
English
10
/* End Narrow Search Options */ ?>
×
Loading...