Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers
ISBN: 9783030737849 / Angielski / Miękka / 2021 / 165 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
201,72 |
 |
Formal Methods for Software Engineering: Languages, Methods, Application Domains
ISBN: 9783030387990 / Angielski / Twarda / 2022 / 440 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
302,60 |
 |
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
ISBN: 9783540286202 / Angielski / Miękka / 2005 / 457 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science. The 25 revised full papers presented together with 3 invited papers were... This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held... |
cena:
201,72 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
