Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
New Models for Population Protocols / by Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
by Michail, Othon, autor | Chatzigiannakis, Ioannis, autor | Spirakis, P. G.(Paul G.), (1955-), autor. Edition: 1st edition 2011Material type:  E-book Publisher: Cham : Springer International Publishing, 2011Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D5 2011 EB |
reference |
|
|
|
|
|
|
Link Reversal Algorithms / by Jennifer Welch, Jennifer Walter
by Welch, Jennifer, autor | Walter, Jennifer Emily, (1957-), autor. Edition: 1st edition 2012Material type: E-book Publisher: Cham : Springer International Publishing, 2012Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D5 2012 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Distributed Computing by Oblivious Mobile Robots / by Paola Flocchini, Giuseppe Prencipe, Nicola Santoro
by Flocchini, Paola, autor | Prencipe, Giuseppe, (1972-), autor | Santoro, N.(Nicola), (1951-), autor. Edition: 1st edition 2012Material type: E-book Publisher: Cham : Springer International Publishing, 2012Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
TJ211.415 2012 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Decidability of Parameterized Verification / by Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
by Bloem, Roderick P, autor | Jacobs, Swen, autor | Kalimov, Ayrat, autor | Konnov, Igor, (1958-), autor. Edition: 1st edition 2015Material type: E-book Publisher: Cham : Springer International Publishing, 2015Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.76.V47 2015 EB |
reference |
|
|
|
|
|
|
Introduction to Distributed Self-Stabilizing Algorithms / by Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
by Altisen, Karine, autor | Devismes, Stéphane, autor | Dubois, Swan, autor | Petit, Franck, autor. Edition: 1st edition 2019Material type: E-book Publisher: Cham : Springer International Publishing, 2019Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D5 2019 EB |
reference |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The Theory of Timed I/O Automata / by Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
by Kaynar, Dilsun K, autor | Lynch, Nancy A.(Nancy Ann), (1948-), autor | Segala, Roberto, (1968-), autor | Vaandrager, Frits, autor. Edition: 1st edition 2011Material type: E-book Publisher: Cham : Springer International Publishing, 2011Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA267.5.T45 2011 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Distributed Computing Pearls / by Gadi Taubenfeld
by Taubenfeld, Gadi, autor. Edition: 1st edition 2018Material type: E-book Publisher: Cham : Springer International Publishing, 2018Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.9.D5 2018 EB |
reference |
|
|
|
|
|
|
|