topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Procedure Sur Laquelle Le Pere Jean Baptiste Girard, Jesuite, Catherine Cadiere, Le Pere Estienne Thomas Cadiere Dominicain, Mre. Francois Cadiere Pretre. Et Le Pere Nicolas de S.Joseph Carme Dechaufs
ISBN: 9781274888815 / Angielski / Miękka / 2012 / 460 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
156,88 |
 |
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings
ISBN: 9783540657637 / Angielski / Miękka / 1999 / 404 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This text constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping.
This text constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila...
|
cena:
201,24 |
 |
Immortal Element
ISBN: 9781643505985 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
79,85 |
 |
Lulu i Nelson T.1 Kierunek Afryka
ISBN: 9788328155312 / Polski / twarda / 2022 / 64 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych (Bez gwarancji dostawy przed świętami) Początek przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zdobył nagrodę na francuskim Festiwalu Komiksowym w Blois w 2020 roku. W tym samym roku na podstawie komiksu powstał długometrażowy film animowany. Rodzice Lulu są cyrkowymi treserami lwów. Zarówno oni, jak ich córka kochają zwierzęta, którymi się zajmują. Niestety, najpierw ginie matka dziewczynki, a zaraz potem cyrkowe drapieżniki... Bohaterka postanawia wyruszyć do Afryki po nowe lwy do oswojenia. Ale czy dziesięciolatka sprosta takiemu zadaniu?...
Początek przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zdobył nagrodę na ...
|
cena:
44,99 |
 |
Marshal Blueberry
ISBN: 9788328135024 / Polski / Twarda / 2018 / 144 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych (Bez gwarancji dostawy przed świętami) Zbiorcze wydanie trylogii Marshal Blueberry, która stanowi opowieść poboczną bestsellerowego cyklu Blueberry Jeana Girauda (czyli Moebiusa).
Arizona, rok 1868. Stacjonujący w Forcie Navajo porucznik Blueberry dostaje misję federalną. Ma wyruszyć do pogranicznego miasteczka Heaven, by objąć tam funkcję marshala. Władze USA podejrzewają, że Heaven jest centrum zakrojonego na wielką skalę przemytu broni, która trafia do Meksyku. Nim jednak Blueberry rozpocznie misję, musi zająć się sprawą nielegalnej sprzedaży karabinów indiańskim powstańcom w samym Forcie Navajo. W... Zbiorcze wydanie trylogii Marshal Blueberry, która stanowi opowieść poboczną bestsellerowego cyklu Blueberry Jeana Girauda (czyli Moebiusa).
A... |
cena:
99,99 |
 |
Lulu i Nelson T.3 Biała lwica
ISBN: 9788328161061 / Polski / twarda / 2024 / 72 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych (Bez gwarancji dostawy przed świętami) Trzecia i ostatnia część przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zdobył nagrodę na francuskim Festiwalu Komiksowym w Blois w 2020 roku. W tym samym roku na podstawie komiksu powstał długometrażowy film animowany. Lulu zamieszkała na farmie adwokatki Mary, która broni praw czarnoskórej ludności RPA. Walka z rasistowskim systemem jest bardzo niebezpieczna, o czym już niedługo mają się przekonać mieszkańcy gospodarstwa. Czy jednak mimo zagrożeń uda im się przetrwać i dalej prowadzić...
Trzecia i ostatnia część przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zd...
|
cena:
44,99 |
 |
Advances in Linear Logic
ISBN: 9780521559614 / Angielski / Miękka / 1995 / 400 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry ...
|
cena:
332,38 |
 |
Turkish Cultural Policies in a Global World
ISBN: 9783319636573 / Angielski / Twarda / 2018 / 264 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book provides a multidisciplinary analysis of the production of Turkish cultural policies in the context of globalization and of the circulation of knowledge and practices.
This book provides a multidisciplinary analysis of the production of Turkish cultural policies in the context of globalization and of the circulation ...
|
cena:
563,56 |
 |
Linear Logic in Computer Science
ISBN: 9780521608572 / Angielski / Miękka / 2004 / 392 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and...
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a dual...
|
cena:
419,64 |
 |
Turkish Cultural Policies in a Global World
ISBN: 9783319876078 / Angielski / Miękka / 2019 / 264 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
402,53 |
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
