Experimental robotics II : the 2nd international symposium, Toulouse, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Analysis and optimization of systems : state and frequency domain approaches ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Recent trends in data type specification : 8th Workshop on Specification of ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Graph-theoretic concepts in computer science : 18th international workshop, WG '92, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Extensions of logic programming : third international workshop, ELP '92, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Machine learning : from theory to applications ; ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Computer aided verification : fourth international workshop, CAV '92, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Typed lambda calculi and applications : International Conference on Typed Lambda ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
STACS 93 : 10th Annual Symposium on Theoretical ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Semantics : foundations and applications ; REX ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Machine learning: ECML-93 : European Conference on Machine Learning, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
TAPSOFT '93: theory and practice of software development : 4th international joint conference, CAAP/FASE, ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Mathematics of program construction : second international conference, Oxford, U.K., ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
FME '93: industrial-strength formal methods : first International Symposium of Formal ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
GWAI-92: advances in artificial intelligence : 16th German Conference on Artificial ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog
Applied algebra, algebraic algorithms and error-correcting codes : 10th international symposium, AAECC-10, San ...
Berlin [u.a.]: Springer, 1993
E-Book
K10plus Verbundkatalog