Wyniki wyszukiwania:
wyszukanych pozycji: 23
 |
Mein Logbuch
ISBN: 9783667112835 / Niemiecki / Twarda / 2018 / 40 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
57,83 zł |
 |
King David's Tambourine
ISBN: 9798891125537 / Angielski / Miękka / 2024 / 180 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
69,17 zł |
 |
Tolle Sachen selber machen
ISBN: 9789463987592 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
152,44 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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
190,19 zł |
 |
Teaching and Testing Second Language Pragmatics and Interaction: A Practical Guide
ISBN: 9780367202811 / Angielski / Twarda / 2021 / 208 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
707,28 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. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
596,10 zł |
 |
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521641708 / Angielski / Twarda / 1998 / 436 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
583,94 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 (Bez gwarancji dostawy przed świętami) |
cena:
86,28 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 (Bez gwarancji dostawy przed świętami) |
cena:
57,76 zł |
 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521806084 / Angielski / Twarda / 2001 / 800 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
1046,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 (Bez gwarancji dostawy przed świętami) 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:
325,58 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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 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 (Bez gwarancji dostawy przed świętami) 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:
453,98 zł |
 |
Second Language Pragmatics
ISBN: 9780194200585 / Angielski / Miękka / 2017 Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
304,99 zł |
 |
Peruvian Legacy
ISBN: 9781716201400 / Angielski / Miękka / 2021 / 206 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
92,32 zł |
 |
Quantitative Methods for Second Language Research: A Problem-Solving Approach
ISBN: 9780415814010 / Angielski / Twarda / 2017 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
707,28 zł |
 |
Zusammenleben wollen
ISBN: 9783723517437 / Niemiecki / Miękka / 184 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
129,57 zł |
 |
Quantitative Methods for Second Language Research: A Problem-Solving Approach
ISBN: 9780415814027 / Angielski / Miękka / 2017 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
219,45 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 (Bez gwarancji dostawy przed świętami) 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:
153,75 zł |
 |
Pragmatics and Language Learning Volume 13
ISBN: 9780983581642 / Angielski / Miękka / 2013 / 294 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Pragmatics & Language Learning Volume 13 examines the organization of second language and multilingual speakers' talk and pragmatic knowledge across a range of naturalistic and experimental activities. Based on data collected among ESL and EFL learners from a variety of backgrounds, the contributions explore the nexus of pragmatic knowledge, interaction, and L2 learning outside and inside of educational settings.
Pragmatics & Language Learning Volume 13 examines the organization of second language and multilingual speakers' talk and pragmatic knowledge across a...
|
cena:
128,13 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
