-
1
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...
Berlin : Springer, 2005Format: Electronic Conference Proceeding eBook -
2
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
Berlin ; New York : Springer-Verlag, 1983Format: Electronic Conference Proceeding eBook -
3
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Berlin ; New York : Springer, 2006Format: Electronic Conference Proceeding eBook -
4
Methodologies for computer system design : proceedings for the IFIP WG 10.1 Working Conference on Methodologies for Computer System Design, Lille, France, 15-17 September, 1983
Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985Format: Conference Proceeding Book
-
5
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Berlin ; New York : Springer, 2005Format: Electronic Conference Proceeding eBook -
6
Human-computer Interaction--INTERACT '87 : proceedings of the Second IFIP Conference on Human-Computer Interaction, held at the University of Stuttgart, Federal Republic of Germany...
Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co, ., 1987Format: Conference Proceeding Book
-
7
Computer supported cooperative work in design I : 8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers
Berlin ; New York : Springer, 2005Format: Electronic Conference Proceeding eBook -
8
FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Berlin ; New York : Springer, 2002Format: Electronic Conference Proceeding eBook -
9
Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 2002 : proceedings
Berlin ; New York : Springer, 2002Format: Electronic Conference Proceeding eBook -
10
Component deployment : second international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings
Berlin ; New York : Springer, 2004Format: Electronic Conference Proceeding eBook -
11
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Berlin ; New York : Springer-Verlag, 2003Format: Electronic Conference Proceeding eBook -
12
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...
Berlin ; New York : Springer, 2003Format: Electronic eBook -
13
The human side of information processing : proceedings of the Copenhagen Conference on Computer Impact - 78, October 25-27, 1978
Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980Format: Conference Proceeding Book
-
14
Computer supported cooperative work in design II : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005 : revised selected papers
Berlin ; New York : Springer, 2006Format: Electronic Conference Proceeding eBook -
15
Automated tools for information systems design : proceedings of the IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design and Development, New Orleans, U...
Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1982Format: Conference Proceeding Book