UB FFM: Search Results - Distributed algorithms

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

321

Algorithms and Models for the Web-Graph : Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006, Revised Papers

Aiello, William (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

322

Algorithms for Sensor Systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

Scheideler, Christian (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

eBook

323

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization

Fahringer, Thomas

Berlin [u.a.] : Springer, 2003

Book

324

Adaptive and Natural Computing Algorithms : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Tomassini, Marco (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

eBook

325

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

eBook

326

Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings

Graf, Susanne (Herausgeber)

Berlin : Springer, 2000

Book

327

Distributed Applications and Interoperable Systems : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Eliassen, Frank (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

eBook

328

Transactional information systems : theory, algorithms, and practice of concurrency control and recovery

Weikum, Gerhard

San Francisco [u.a.] : Morgan Kaufmann Pubs [u.a.], 2002

Book

329

Principles of Distributed Systems : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Baldoni, Roberto (Herausgeber)

1st ed. 2013

Cham : Springer International Publishing, 2013

eBook

330

Stabilization, Safety, and Security of Distributed Systems : 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings

Dolev, Shlomi (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

eBook

331

Algorithms and Data Structures : 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Dehne, Frank (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

eBook

332

Distributed Applications and Interoperable Systems : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

Senivongse, Twittie (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

eBook

333

Inherently parallel algorithms in feasibility and optimization and their applications

Butnariu, Dan

1st ed

Amsterdam [u.a.] : Elsevier, 2001

eBook

334

Stabilization, Safety, and Security of Distributed Systems : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

Guerraoui, Rachid (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

eBook

335

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Margaria, Tiziana (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1996

eBook

336

Parallel and Distributed Processing and Applications : 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings

Stojmenovic, Ivan (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

337

Experimental Algorithms : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

Festa, Paola (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

eBook

338

Nonsmooth optimization : analysis and algorithms with applications to optimal control

Mäkelä, Marko M.

Singapore [u.a.] : World Scientific, 1992

Book

339

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

340

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

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

Showing 321 - 340 of 2,089

Pagination

Pagination

Narrow Search