Yazar
Catuscia Palamidessi
12 cilt bulundu.
Catuscia Palamidessi · Springer
618 sayfa · 2000
Linguagem de programacao (outras) / Parallelisme (Informatique) / Parallel processing (Electronic computers) / Concurrente programmering / Computer multitasking
Catuscia Palamidessi · Springer
Sayfa sayısı yok · 2012
Computer security / Computer networks, security measures
Erika Ábrahám, Catuscia Palamidessi · Springer London, Limited
307 sayfa · 2014
Electronic data processing, distributed processing / Computer network protocols / System design / Software engineering / Computer science
Luís Caires, Catuscia Palamidessi, Moti Yung · Springer
1477 sayfa · 2005
Electronic data processing / Computational complexity / Information theory / Data structures (Computer science) / Software engineering
Catuscia Palamidessi, Mark D. Ryan · Springer
218 sayfa · 2013
Computer security / Computer networks, security measures / Computer software, validation / Computer software, verification / Software engineering
Kostantinos Chatzikokolakis, Ehab ElSalamouny, Catuscia Palamidessi · Now Publishers Inc
74 sayfa · 2018
Kategori yok
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten · Springer London, Limited
517 sayfa · 2014
Logic, symbolic and mathematical / Computer science / Logic design / Logics and Meanings of Programs / Mathematical Logic and Formal Languages
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith · Springer
508 sayfa · 2020
Kategori yok
John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey · Springer-Verlag Berlin Heidelberg
Sayfa sayısı yok · 2000
Mathematical Logic and Formal Languages / Programming Techniques / Database management / Logic design / Logics and Meanings of Programs
Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung · Springer London, Limited
1482 sayfa · 2005
Kategori yok