topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 25
 |
Prodigal Sons
ISBN: 9781633376526 / Angielski / Miękka / 2022 / 428 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
97,76 zł |
 |
Die Entstehung des jonischen Kapitells : Und seine Bedeutung für die griechische Baukunst
ISBN: 9783750176782 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
54,81 zł |
 |
Thomas De Quincey, Dark Interpreter: Romanticism in Translation
ISBN: 9781474483902 / Angielski / Miękka / 2023 Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) |
cena:
107,87 zł |
 |
Concept and Design Developments in School Improvement Research: Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Account
ISBN: 9783030693442 / Angielski / Twarda / 2021 / 312 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
194,08 zł |
 |
Concept and Design Developments in School Improvement Research: Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Account
ISBN: 9783030693473 / Angielski / Miękka / 2021 / 312 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
155,25 zł |
 |
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 19
ISBN: 9783540626886 / Angielski / Miękka / 1997 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.
The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area. This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy...
|
cena:
194,08 zł |
 |
Formal Methods for Industrial Critical Systems: 27th International Conference, Fmics 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
ISBN: 9783031150074 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which t...
|
cena:
271,73 zł |
 |
Thomas de Quincey, Dark Interpreter: Romanticism in Translation
ISBN: 9781474483896 / Angielski / Twarda / 2021 / 216 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
469,53 zł |
 |
Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
ISBN: 9783642201684 / Angielski / Miękka / 2011 / 215 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009.
The 13 revised full papers presented, including two invited talks, were carefully reviewed and selected from 26 submissions. These articles in this book give an overview of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language. This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009. |
cena:
194,08 zł |
 |
Logic Gates, Circuits, Processors, Compilers and Computers
ISBN: 9783030685522 / Angielski / Miękka / 2021 / 254 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
135,85 zł |
 |
Formal Grammar: 15th and 16th International Conference on Formal Grammarfg 2010 Copenhagen, Denmark, August 2010fg 2011 Lubljana, Slov
ISBN: 9783642320231 / Angielski / Miękka / 2012 / 290 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011, collocated with the European Summer School in Logic, Language and Information in July 2010/2011. The 19 revised full papers were carefully reviewed and selected from a total of 50 submissions. The papers papers deal with the following topics: formal and computational phonology, morphology, syntax, semantics and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive...
This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011, collocated with the Euro...
|
cena:
194,08 zł |
 |
Michael Praetorius
ISBN: 9783788101732 / Niemiecki / Miękka / 2021 / 144 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Michael Praetorius war weit mehr als der Komponist des berühmten Weihnachtsliedes "Es ist ein Ros entsprungen". Er erlebte nicht nur die musikalischen, sondern eben auch die kulturellen und politischen Umbrüche um 1600. Und so spiegeln seine Persönlichkeit und sein Lebenslauf typische Facetten dieser bewegten Zeit.
Michael Praetorius war weit mehr als der Komponist des berühmten Weihnachtsliedes "Es ist ein Ros entsprungen". Er erlebte nicht nur die musikalische...
|
cena:
77,65 zł |
 |
Logical Aspects of Computational Linguistics: 4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings
ISBN: 9783540422730 / Angielski / Miękka / 2001 / 311 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLinguistics, heldJune27 29,2001inLeCroisic, France. TheLACLconferencesaimtoprovideaforumforthepresentationand discussionofcurrentresearchinalltheformalandlogicalaspectsofcompu- tionallinguistics. Theprogramcommitteeselected16papersfromsubmissionsofoverallhigh quality. Thepaperscoverawiderangeoftopics, includingcategorialgrammars, dependency grammars, formal languagetheory, grammaticalinference, hyp- intensionalsemantics, minimalism, andtype-logicalsemantics, byauthorsfrom Australia, Canada, Denmark,...
Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLinguistics, heldJune27 29,2001inLeCroisic, France. TheL...
|
cena:
194,08 zł |
 |
Tales of Electrologica: Computers, Software and People
ISBN: 9783031130359 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
135,85 zł |
 |
Tales of Electrologica: Computers, Software and People
ISBN: 9783031130328 / Angielski / Twarda / 2023 / 201 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the values, which went without saying in the 1960s.To disagree,Paul Klintrelates the contrasting views on software...
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The ind...
|
cena:
135,85 zł |
 |
Understanding Behaviour of Distributed Systems Using mCRL2
ISBN: 9783031230073 / Angielski / Twarda / 2023 / 198 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the...
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to...
|
cena:
698,79 zł |
 |
Die Pilgerfahrt des Ritters Arnold von Harff
ISBN: 9783747763520 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
93,64 zł |
 |
Modeling and Analysis of Communicating Systems
ISBN: 9780262547871 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
339,40 zł |
| |
Formula 567: The Entrepreneurial Blueprint for a Seven Figure Business
ISBN: 9781710518733 / Angielski / Miękka / 2019 / 226 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
90,62 zł |
 |
Understanding Behaviour of Distributed Systems Using McRl2
ISBN: 9783031230103 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
698,79 zł |
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
