Search Results

1

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /

Berlin ; New York : Springer-Verlag, 1983

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.

Conference Proceeding Book

2

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /

Berlin ; New York : Springer-Verlag, 1983

Conference Proceeding Book

3

Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings /

Utility computing : 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004 : proceedings /

Berlin : Springer, 2004

Conference Proceeding Book

4

Technologies for e-services : 5th international workshop, TES 2004, Toronto, Canada, August 29-30, 2004 : revised selected papers /

Technologies for e-services : 5th international workshop, TES 2004, Toronto, Canada, August 29-30, 2004 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

5

Technologies for E-services : third international workshop, TES 2002, Hong Kong, China, August 23-24, 2002 : proceedings /

Technologies for E-services : third international workshop, TES 2002, Hong Kong, China, August 23-24, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding Book

6

Mobile agents for telecommunication applications : 4th international workshop, MATA 2002, Barcelona, Spain, October 23-24, 2002 : proceedings /

Mobile agents for telecommunication applications : 4th international workshop, MATA 2002, Barcelona, Spain, October 23-24, 2002 : proceedings /

Berlin ; New York : Springer-Verlag, 2002

Conference Proceeding Book

7

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /

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, 2003

Conference Proceeding Book

8

Web engineering : international conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003 : proceedings /

Web engineering : international conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

9

Technologies for e-services : 6th international workshop, TES 2005, Trondheim, Norway, September 2-3, 2005 : revised selected papers /

Technologies for e-services : 6th international workshop, TES 2005, Trondheim, Norway, September 2-3, 2005 : revised selected papers /

Berlin ; New York : Springer, 2006

Conference Proceeding Book

10

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /

Berlin ; New York : Springer, 2007

Conference Proceeding Book