Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Foundations of information sys...
Cite this
Text this
Email this
Print
Export Record
Export to EndNoteWeb
Export to BibTeX
Export to RIS
Permanent link
Foundations of information systems specification and design Dagstuhl-Seminar-Report; 35 16.-19.3.9.(9212)
Bibliographic Details
Other Authors:
Ehrich, Hans-Dieter
(Editor)
,
Goguen, Joseph A.
(Editor)
,
Sernadas, Amilcar
(Editor)
Format:
Book
Language:
English
Subjects:
IBFI
Πληροφοριακά συστήματα
SEMINAR REPORT
Holdings
Description
Similar Items
Staff View
Similar Items
Distributed cooperation in integrated information systems Dagstuhl-Seminar-Report; 38 %.-9.4.92(9215)
Self-timed design Dagstuhl-Seminar-Report; 52 30.11.-04.12.92(9249)
Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
Software construction-Foundation and application Dagstuhl-Seminar-Report; 29 13.-17.1.92(9203)
Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)
Informatik und philosopie Dagstuhl-Seminar-Report; 48 21.09.-25.09.92(9239)
Analogical and inductive inference 1992 Dagstuhl-Seminar-Report; 49 05.10.-09.10.92(9241)
Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)
Tree adgjoining grammars 1st. International Workshop on TAGs: Formal theory and applications Dagstuhl-Seminar-Report 15. - 17.8.1990(9033)
Limits of information-technological models Dagstuhl-Seminar-Report; 31 10.-14.2.92(9207)
Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 50 12.10.-16.10.92(9242)
"Average-Case"-Analysis of algorithms Dagstuhl-Seminar-Report; 68 12.07.-16.07.93(9328)
Efficient interpolation algorithms Dagstuhl-Seminar-Report; 26 2.-6.12.91(9149)
Molecular bioiformatics Dagstuhl-Seminar-Report; 46 07.09.-11.09.92(9237)
Programming enviroments Dagstuhl-Seminar-Report; 34 9.-13.3.92(9211)
Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)
Scientific visualization Dagstuhl-Seminar-Report; 19 26.8.-30.8.91(9135)
Geometric modelling Dagstuhl-Seminar-Report; 17 1.-5.7.1991(9127)
Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)
Data structures Dagstuhl-Seminar-Report; 25 4.11.-8.11.91(9145)
Computational geometry Dagstuhl-Seminar-Report; 59 22.03.-26.03.93(9312)
Descriptional complexity Dagstuhl-Seminar-Report; 63 03.05.-07.05.93(9318)
Algebraic complexity and parallelism Dagstuhl-Seminar-Report; 41 20.-24.7.92(9230)
Structure and complexity theory Dagstuhl-Seminar-Report; 30 3.-7.2.92(9206)
Operating systems of the 90s and beyond Dagstuhl-Seminar-Report; 18 8.-12.7.1991(9128)
Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)
Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
Code generation-concerts, tools, techniques Dagstuhl-Seminar-Report; 13 20.-24.5.1991(9121)
Experimental software engineering issues Dagstuhl-Seminar-Report; 47 14.09.-18.09.92(9238)
Versioning in database management systems Dagstuhl-Seminar-Report; 55 01.02.-05.02.93(9305)
Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
Complexity and realization of Boolean Functions Dagstuhl-Seminar-Report; 45 24.08.-28.08.92(9235)
Computer aided design and test Dagstuhl-Seminar-Report; 56 15.02.-19.02.93(9307)
Architecture and protocols for high-speed networks Dagstuhl-Seminar-Report; 71 30.08.-03.09.93(9335)
6th international workshop on unification Dagstuhl-Seminar-Report; 42 29.07.-31.07.92(9231)
Symbolic, algebraic and Validated numerical computation Dagstuhl-Seminar-Report; 43 03.08.-07.08.92(9232)
Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 11 15-19.4.1991(9116)
Third international workshop on user modeling (UM'92) Dagstuhl-Seminar-Report; 44 10.08.-13.08.92(9233)
Entwerfen, Prufen, Testen Dagsthl-Seminar-Report; 6 18.2.1991-22.2.1991(9108)
Similar Items
Distributed cooperation in integrated information systems Dagstuhl-Seminar-Report; 38 %.-9.4.92(9215)
Self-timed design Dagstuhl-Seminar-Report; 52 30.11.-04.12.92(9249)
Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
Software construction-Foundation and application Dagstuhl-Seminar-Report; 29 13.-17.1.92(9203)
Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών
