topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Revised Selected Papers
ISBN: 9783319148052 / Angielski / Miękka / 2015 / 143 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Si...
|
cena:
161,41 |
 |
Wielki zły wilk i 14 małych wilczków
ISBN: 9788366310933 / Polski / Twarda / 2020 / 32 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych (Bez gwarancji dostawy przed świętami) Historia trzech małych świnek powinna była potoczyć się jak zwykle. Jednak tego konkretnego poranka szkoła dla wilczków była zamknięta. Wielki Zły Wilk musiał się zająć czternaściorgiem swoich dzieci!
I tak klasyczna bajka przyjęła nowy, zabawny obrót. Historia trzech małych świnek powinna była potoczyć się jak zwykle. Jednak tego konkretnego poranka szkoła dla wilczków była zamknięta. Wielk...
|
cena:
29,99 |
 |
Wielki zły wilk 14 małych wilczków i czerwony..
ISBN: 9788366548442 / Polski / Twarda / 2021 / 32 str. Termin realizacji zamówienia: ok. 1-3 dni roboczych (dostawa przed świętami) Pewnego poranka Wielki Zły Wilk postanawia nauczyć czternaście małych wilczków, jak schwytać Czerwonego Kapturka.
Zajęty wyjaśnieniami, nie zwraca uwagi na małą, sepleniącą Loulette. A to właśnie swojej małej córeczki powinien wysłuchać! Pewnego poranka Wielki Zły Wilk postanawia nauczyć czternaście małych wilczków, jak schwytać Czerwonego Kapturka.
Zajęty wyjaśnieniami, ni... |
28,19 |
 |
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ISBN: 9783642332951 / Angielski / Miękka / 2012 / 227 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.
Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-locate...
|
cena:
185,62 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
