Architecting Dependable Systems II

by Lemos, Rogério de

Berlin, Heidelberg : Springer Berlin Heidelberg, 2004

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

2

Architecting Dependable Systems

by Lemos, Rogério

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

3

Mobile Agents: Control Algorithms

by Baumann, Joachim

Berlin, Heidelberg : Springer Berlin Heidelberg, 2000

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

4

Communication and Architectural Support for Network-Based Parallel Computing : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings

by Panda, Dhabaleswar K

Berlin, Heidelberg : Springer Berlin Heidelberg, 1997

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

5

Network-Based Parallel Computing. Communication, Architecture, and Applications : Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings

by Panda, Dhabaleswar K

Berlin, Heidelberg : Springer Berlin Heidelberg, 1998

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

6

Network-Based Parallel Computing Communication, Architecture, and Applications : Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings

by Sivasubramaniam, Anand

Berlin, Heidelberg : Springer Berlin Heidelberg, 1999

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

7

Network-Based Parallel Computing - Communication, Architecture, and Applications : 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings

by Falsafi, Babak

Berlin, Heidelberg : Springer Berlin Heidelberg, 2000

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

8

Distributed Computing : Mobile and Wireless Computing 4th International Workshop, IWDC 2002 Calcutta, India, December 28–31, 2002 Proceedings

by Das, Sajal K

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

9

Grid Computing — GRID 2000 : First IEEEACM International Workshop Bangalore, India, December 17, 2000 Proceedings

by Buyya, Rajkumar

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

10

Mobile Agents : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings

by Rothermel, Kurt

Berlin, Heidelberg : Springer Berlin Heidelberg, 1997

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

Show duplicates (1)

11

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

by Rozenberg, Grzegorz

Berlin, Heidelberg : Springer Berlin Heidelberg, 1998

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

12

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

by Peled, Doron A

Berlin, Heidelberg : IFIP International Federation for Information Processing, 2002

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

13

Modular Programming Languages : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings

by Mössenböck, Hanspeter

Berlin, Heidelberg : Springer Berlin Heidelberg, 1997

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

14

Computer Security — ESORICS 2002 : 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14–16, 2002 Proceedings

by Gollmann, Dieter

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

15

Advances in Distributed Systems : Advanced Distributed Computing: From Algorithms to Systems

by Krakowiak, Sacha

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

16

Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

by König, Hartmut

Berlin, Heidelberg : Springer Berlin Heidelberg, 2003

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

17

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

by Frutos-Escrig, David de

Berlin, Heidelberg : Springer Berlin Heidelberg, 2004

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

18

Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization

by Fahringer, Thomas

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

19

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

by Boer, Frank Sde

Berlin, Heidelberg : Springer Berlin Heidelberg, 2003

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

20

Self-Managing Distributed Systems : 14th IFIPIEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings

by Brunner, Marcus

Berlin, Heidelberg : Springer Berlin Heidelberg, 2003

Subjects: “...Operating systems (Computers)...”
Full text

Book / E-Book

Architecting Dependable Systems II

Architecting Dependable Systems

Mobile Agents: Control Algorithms

Communication and Architectural Support for Network-Based Parallel Computing : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings

Network-Based Parallel Computing. Communication, Architecture, and Applications : Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings

Network-Based Parallel Computing Communication, Architecture, and Applications : Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings

Network-Based Parallel Computing - Communication, Architecture, and Applications : 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings

Distributed Computing : Mobile and Wireless Computing 4th International Workshop, IWDC 2002 Calcutta, India, December 28–31, 2002 Proceedings

Grid Computing — GRID 2000 : First IEEEACM International Workshop Bangalore, India, December 17, 2000 Proceedings

Mobile Agents : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Modular Programming Languages : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings

Computer Security — ESORICS 2002 : 7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14–16, 2002 Proceedings

Advances in Distributed Systems : Advanced Distributed Computing: From Algorithms to Systems

Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Self-Managing Distributed Systems : 14th IFIPIEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings

Narrow Search