Wyniki wyszukiwania:
wyszukanych pozycji: 24
 |
Mein Logbuch
ISBN: 9783667112835 / Niemiecki / Twarda / 2018 / 40 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
56,89 zł |
 |
King David's Tambourine
ISBN: 9798891125537 / Angielski / Miękka / 2024 / 180 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
75,39 zł |
 |
Tolle Sachen selber machen
ISBN: 9789463987592 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 10-14 dni roboczych. Egal ob Frühling, Sommer, Herbst oder Winter, in diesem Bastelbuch gibt es für jede Jahreszeit aufregende DIYs. Du denkst dir z.B einen Tag vor Ostern: "Oh nein, ich wollte meiner Familie doch Ostergeschenke machen". Kein Problem! Schlag einfach "Tolle Sachen selber machen" auf, such dir im Kapitel "Frühling" ein Oster-DIY aus und beginne zu basteln. Dieses Bastelbuch ist sehr gut geeignet für Grundschüler.
Egal ob Frühling, Sommer, Herbst oder Winter, in diesem Bastelbuch gibt es für jede Jahreszeit aufregende DIYs. Du denkst dir z.B einen Tag vor Ost...
|
cena:
149,94 zł |
 |
Teaching and Testing Second Language Pragmatics and Interaction: A Practical Guide
ISBN: 9780367202811 / Angielski / Twarda / 2021 / 208 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
680,04 zł |
 |
Formen Lyrischen Erzählens Im Minnesang Des 12. Bis 14. Jahrhunderts: Metapher, Topos Und Diagramm Zwischen Nähe Und Distanz
ISBN: 9783110683349 / Niemiecki / Twarda / 2020 / 361 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
544,43 zł |
 |
Teaching and Testing Second Language Pragmatics and Interaction: A Practical Guide
ISBN: 9780367203030 / Angielski / Miękka / 2021 / 208 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
186,33 zł |
 |
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521641708 / Angielski / Twarda / 1999 / 436 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and...
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t...
|
cena:
602,84 zł |
 |
Life Beyond the Scars: Finding Hope in Tragedy
ISBN: 9781647468644 / Angielski / Miękka / 2021 / 254 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
62,96 zł |
 |
Seefit statt seekrank
ISBN: 9783667130754 / Niemiecki / Miękka / 144 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Bewährte Strategien, um die Zeit auf See zu genießen
Die Ärztin Dr. Stefanie Kamke und der Weltumsegler Sönke Roever erklären anschaulich und verständlich die Ursachen und Mechanismen der Seekrankheit und wie Stress, Angst oder die menschlichen Sinne deren Entstehung begünstigen. Darüber hinaus liefern die Autoren konkrete Übungen, Methoden und Techniken aus Medizin, Psychologie und Bewegungslehre, die helfen, gewohnte Muster zu durchbrechen, damit Aktivitäten auf See zum Vergnügen werden und die Seekrankheit dauerhaft beseitigt wird. Das Buch basiert zwar auf dem aktuellen... Bewährte Strategien, um die Zeit auf See zu genießen
Die Ärztin Dr. Stefanie Kamke und der Weltumsegler Sönke Roever erklären anschaulich ... |
cena:
97,02 zł |
 |
Life Beyond the Scars: Finding Hope in Tragedy
ISBN: 9781647468651 / Angielski / Twarda / 2021 / 254 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
94,04 zł |
 |
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521103503 / Angielski / Miękka / 2008 / 436 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and...
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t...
|
cena:
334,81 zł |
 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521806084 / Angielski / Twarda / 2001 / 800 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ...
|
cena:
1080,06 zł |
 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521169325 / Angielski / Miękka / 2012 / 800 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based...
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ...
|
cena:
464,76 zł |
 |
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
ISBN: 9783540654933 / Angielski / Miękka / 1998 / 647 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters ...
|
cena:
374,81 zł |
 |
Second Language Pragmatics
ISBN: 9780194200585 / Angielski / Miękka / 2017 Termin realizacji zamówienia: ok. 30 dni roboczych. Taguchi and Roever present the latest developments in second language pragmatics research, combining acquisitional and sociolinguistic perspectives. They cover theories of pragmatics learning and research methods in investigating pragmatics, linking these with findings on the acquisition of second language pragmatics and with practice in teaching and assessing pragmatics. Discussing pragmatics in the context of multilingual societies and diverse contexts of use, they offer a broad perspective on this growing area.
Taguchi and Roever present the latest developments in second language pragmatics research, combining acquisitional and sociolinguistic perspectives. T...
|
cena:
314,97 zł |
 |
Peruvian Legacy
ISBN: 9781716201400 / Angielski / Miękka / 2021 / 206 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
96,01 zł |
 |
Quantitative Methods for Second Language Research: A Problem-Solving Approach
ISBN: 9780415814010 / Angielski / Twarda / 2017 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Quantitative Methods for Second Language Research introduces the approaches to and techniques for quantitative data analysis in second language research (SLR), with a primary focus on second language learning and assessment research. It takes a conceptual, problem-solving approach, emphasizing the understanding of statistical theory and its application to research problems and pays less attention to the mathematical side of statistical analysis. A range of common statistical analysis techniques that can be employed in SLR, presented and illustrated through applications of the IBM... Quantitative Methods for Second Language Research introduces the approaches to and techniques for quantitative data analysis in second lan... |
cena:
680,04 zł |
 |
Zusammenleben wollen
ISBN: 9783723517437 / Niemiecki / Miękka / 184 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Zusammenleben wollen - das ist die Intention einer inklusiven Lebensgestaltung.Forschende aus der Jugendsektion der Freien Hochschule für Geisteswissenschaft am Goetheanum haben sich vor dem Hintergrund dieser Intention über längere Zeit mit drei inklusiven Lebensgemeinschaften in Deutschland auseinandergesetzt.Im regelmäßigen Austausch des Forschungsteams und der Vertreter*innen der drei Lebensgemeinschaften verdichteten sich dabei die folgenden Forschungsanliegen:1. die Bedingungen des sozialen Umfelds als Lebenswirklichkeit innerhalb der Gemeinschaften zu erforschen und...
Zusammenleben wollen - das ist die Intention einer inklusiven Lebensgestaltung.Forschende aus der Jugendsektion der Freien Hochschule für Geisteswiss...
|
cena:
127,45 zł |
 |
Quantitative Methods for Second Language Research: A Problem-Solving Approach
ISBN: 9780415814027 / Angielski / Miękka / 2017 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Quantitative Methods for Second Language Research introduces the approaches to and techniques for quantitative data analysis in second language research (SLR), with a primary focus on second language learning and assessment research. It takes a conceptual, problem-solving approach, emphasizing the understanding of statistical theory and its application to research problems and pays less attention to the mathematical side of statistical analysis. A range of common statistical analysis techniques that can be employed in SLR, presented and illustrated through applications of the IBM... Quantitative Methods for Second Language Research introduces the approaches to and techniques for quantitative data analysis in second lan... |
cena:
211,52 zł |
 |
Pragmatics of Vietnamese as Native and Target Language
ISBN: 9780983581628 / Angielski / Miękka / 2013 / 248 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The volume offers a wealth of new information about the forms of several speech acts and their social distribution in Vietnamese as L1 and L2, complemented by a chapter on address forms and listener responses. As the first of its kind, the book makes a valuable contribution to the research literature on pragmatics, sociolinguistics, and language and social interaction in an under-researched and less commonly taught Asian language.
The volume offers a wealth of new information about the forms of several speech acts and their social distribution in Vietnamese as L1 and L2, complem...
|
cena:
167,58 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
