UB FFM: Search Results - Distributed Algorithms

[1]
Prev
17
18
19
20
21
22
23
24
25
26
27
Next
[105]

421

Distributed data bases : proceedings of the 2nd. International Symposium on Distributed Data Bases, Berlin, F.R.G., September 1 - 3, 1982

Schneider, Hans-Jochen (Hrsg.)

Amsterdam [u.a.]: North-Holland Publ., 1982

Book

422

VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece, June 28 – July 1, 1988 Proceedings

Reif, John H (Verfasser)

New York, NY : Springer-Verlag, 1988

eBook

423

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2018

eBook

424

Beyer, Dirk (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2018

eBook

425

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

eBook

426

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 I

Vojnar, Tomáš (Herausgeber)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2019

eBook

427

Vojnar, Tomáš (Herausgeber)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2019

eBook

428

Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems : Montréal, Canada, June 3 - 5, 1996

Su, Jianwen (Hrsg.)

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

Book

429

Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

Brim, Lubos (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

430

Parallel computing and mathematical optimization : proceedings of the Workshop on Parallel Algorithms and Transputers for Optimization, held at the University of Siegen, FRG, November 9, 1990

Grauer, Manfred (Herausgeber)

Berlin : Springer, 1991

Book

431

Quality of Service in Heterogeneous Networks : 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009

Bartolini, Novella (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

eBook

432

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Ramakrishnan, C.R (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

433

Automatic differentiation of algorithms : theory, implementation, and application ; [proceedings of the First SIAM Workshop on Automatic Differentiation, held in Breckenridge, Colorado, January 6 - 8, 1991]

Griewank, Andreas (Herausgeber)

Philadelphia : Soc. for Industrial and Applied Mathematics, 1991

Book

434

Verteilte Basisalgorithmen

Mattern, Friedemann

Berlin [u.a.] : Springer, 1989

Book

435

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28 - July 1, 1988 ; proceedings

Reif, John H. (Hrsg.)

New York [u.a.] : Springer-Verl., 1988

Book

436

Petrinetze zum Entwurf selbststabilisierender Algorithmen

Vesper, Tobias (Verfasser)

2000

eBook

437

Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition

Walter, Rolf

Berlin : Bertz, 1995

Book

438

Vojnar, Tomáš (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2019

eBook

439

Vojnar, Tomáš (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2019

eBook

440

[Bericht interner Informatik]
Distributed Constraint propagation
Bericht interner Informatik

1984

Retro Holding details

[1]
Prev
17
18
19
20
21
22
23
24
25
26
27
Next
[105]

Showing 421 - 440 of 2,089

Pagination

Pagination

Narrow Search