UB FFM: Search Results - Distributed Algorithms

[1]
Prev
13
14
15
16
17
18
19
20
21
22
23
Next
[105]

341

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Vojnar, Tomáš (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

eBook

342

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging : May 20 - 21, 1991, Santa Cruz, California

Miller, Barton P. (Hrsg.)

New York, NY : Assoc. for Computing Machinery, 1991

Book

343

Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Suzuki, Kenji (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

344

Distributed Computing in Sensor Systems : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings

Nikoletseas, Sotiris (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

345

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings

Boztas, Serdar (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

346

Proceedings of the 15th International Conference on Distributed Computing Systems : May 30-June 2, 1995, Vancouver, Canada

International Conference on Distributed Computing Systems (15 : 1995 : Vancouver, British Columbia)

Los Alamitos, Calif. [u.a.] : IEEE Computer Society Press, 1995

Book

347

Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms : [Atlanta, Georgia, January 28-30, 1996]

Symposium on Discrete Algorithms (7 : 1996 : Atlanta, Ga.)

New York, NY : Association for Computing Machinery [u.a.], 1996

Book

348

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Brinksma, E (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1995

eBook

349

Frontiers in Algorithms : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings

Lee, D.T (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

eBook

350

Algorithms and Data Structures : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Dehne, Frank (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

eBook

351

Parallel and Distributed Processing and Applications : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings

Guo, Minyi (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

eBook

352

Distributed Computing in Sensor Systems : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings

Aspnes, James (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

353

Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Derrick, John (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

354

WALCOM: Algorithms and Computation : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013, Proceedings

Ghosh, Subir Kumar (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

eBook

355

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Bruni, Roberto (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

eBook

356

7th Annual ACM Symposium on Parallel Algorithms and Architectures, July 17 - 19, 1995, Santa Barbara, California

Symposium on Parallel Algorithms and Architectures (7 : 1995 : Santa Barbara, Calif.)

New York, NY : ACM Press, 1995

Book

357

Proceedings / Tenth Workshop on Parallel and Distributed Simulation, (PADS '96) : May 22 - 24, 1996, Philadelphia, Pennsylvania

PADS (10 : 1996 : Philadelphia, Pa.)

Los Alamitos, Calif. [u.a.] : IEEE Computer Society Press, 1996

Book

358

Parallel and Distributed Processing and Applications : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings

Pan, Yi (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

eBook

359

Parallel and Distributed Processing and Applications : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings

Cao, Jiannong (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

eBook

360

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Najm, Elie (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

eBook

[1]
Prev
13
14
15
16
17
18
19
20
21
22
23
Next
[105]

Showing 341 - 360 of 2,092

Pagination

Pagination

Narrow Search