The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Dusko Pavlovic
Predicates and Fibrations
pdf
Author:
Dusko Pavlovic
Language:
English
Year:
1990
0
0
02.03.2024
0
0
Read online
Programs as Diagrams: From Categorical Computability to Computable Categories
epub
Author:
Dusko Pavlovic
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Programs as Diagrams: From Categorical Computability to Computable Categories
pdf
Author:
Dusko Pavlovic
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
epub
Author:
Joshua D. Guttman Carl E. Landwehr José Meseguer Dusko Pavlovic
Language:
English
Year:
2019
0
0
07.02.2024
0
0
Read online
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
pdf
Author:
Jie Ding Jane Hillston (auth.) Michael Johnson Dusko Pavlovic (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
pdf
Author:
Joshua D. Guttman Carl E. Landwehr José Meseguer Dusko Pavlovic
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
pdf
Author:
Dusko Pavlovic (auth.) Pierpaolo Degano Sandro Etalle Joshua Guttman (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
pdf
Author:
Jie Ding Jane Hillston (auth.) Michael Johnson Dusko Pavlovic (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
pdf
Author:
Jie Ding Jane Hillston (auth.) Michael Johnson Dusko Pavlovic (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
pdf
Author:
Dusko Pavlovic (auth.) Pierpaolo Degano Sandro Etalle Joshua Guttman (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через