|
|
|
Jacques Malenfant
,
Sabine Moisan
,
Ana Moreira
:
Object-Oriented Technology
, ECOOP 2000 Workshop Reader
, [1127]
, <SSW>
|
|
|
Jacques Malenfant
,
Sabine Moisan
,
Ana Moreira
:
Object-Oriented Technology
, ECOOP 2000 Workshop Reader
, [1225]
, <SSW>
|
|
|
Serge Demeyer
,
Jan Bosch
:
Object-Oriented Technology
, ECOOP'98 Workshop Reader
, [1226]
, <SSW>
|
|
|
PSI'01
:
Perspectives of System Informatics
, 4th International Andrei Ershov Memorial Conference, PSI 2001 Revised Papers
, [1128]
, <SSW>
|
|
|
Dines Bjorner
,
Manfred Broy
,
Alexandre V. Zamulin
:
Perspectives of System Informatics
, Third International Andrei Ershov Memorial Conference; Proceedings, Novosibirsk
, [0095]
, <SSW>
|
|
|
PSI'99
:
Perspectives of System Informatics
, Third International Conference; Preliminary Proceedings, Novosibirsk
, [0094]
, <SSW>
|
|
|
Manfred Broy
,
Alexandre V. Zamulin
:
Perspectives of System Informatics, PSI 2003, Russia, Novosibirsk
, 5th International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk
, [1300]
, <SSW>
|
|
|
Alois Ferscha
,
Friedemann Mattern
:
Pervasive Computing
, 2nd International Confernece, Pervasive 2004, Linz/Vienna, Austria, April 2004
, [1306]
, <CHE>
|
|
|
Ben Stephenson
,
Christian W. Probst
:
PPPJ 2009: Proceedings of the 7th International Conference on the Principles and Practice of Programming in Java
, [1638]
, <CHE>
|
|
|
Hanspeter Mössenböck
,
Andreas Krall
:
PPPJ 2010: Proceedings of the 8th International Conference on the Principels and Practice of Programming in Java
, Vienna, Austria 15-17 September 2010
, [1730]
, <CHE>
|
|
|
Christel Baier
,
Joost-Pieter Katoen
:
Principles of Model Checking
, [1862]
, <HP>
|
|
|
ICSE'96
:
Proceedings of the 18th International Conference on Software Engineering
, Berlin 1996
, [0073]
, <HP>
|
|
|
Proceedings of the 4th Symposium on Programming Languages and Software Tools (e
, Visegrád, June 1995
, [0093]
, <CHE>
|
|
|
Proceedings of the 5th Nordic Workshop on Program Correctness
, Reports of Computer Science, Åbo Akademi University, Turku, May 1994
, [0092]
, <CHE>
|
|
|
JMLC'94
:
Proceedings of the Joint Modular Languages Conference
, Advances in Modular Languages; Ulm 1994
, [0077]
, <CHE>
|
|
|
