Wyniki wyszukiwania:
wyszukanych pozycji: 21
 |
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:
155,30 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:
192,60 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:
702,94 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:
563,87 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:
622,91 zł |
 |
Life Beyond the Scars: Finding Hope in Tragedy
ISBN: 9781647468644 / Angielski / Miękka / 2021 / 254 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
64,85 zł |
 |
Life Beyond the Scars: Finding Hope in Tragedy
ISBN: 9781647468651 / Angielski / Twarda / 2021 / 254 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
96,85 zł |
 |
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521103503 / Angielski / Miękka / 2008 / 436 str. Termin realizacji zamówienia: ok. 13-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:
344,86 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:
1116,20 zł |
 |
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
ISBN: 9780521169325 / Angielski / Miękka / 2012 / 800 str. Termin realizacji zamówienia: ok. 13-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:
478,71 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. 20 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:
388,20 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:
309,68 zł |
 |
Peruvian Legacy
ISBN: 9781716201400 / Angielski / Miękka / 2021 / 206 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
98,89 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:
702,94 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:
132,01 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:
218,64 zł |
 |
Pragmatics of Vietnamese as Native and Target Language
ISBN: 9780983581628 / Angielski / Miękka / 2013 / 248 str. Termin realizacji zamówienia: ok. 13-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:
172,61 zł |
 |
Pragmatics and Language Learning Volume 13
ISBN: 9780983581642 / Angielski / Miękka / 2013 / 294 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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:
143,84 zł |
 |
Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990
ISBN: 9783540539315 / Angielski / Miękka / 1991 / 442 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more...
Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It empha...
|
cena:
194,08 zł |
 |
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
ISBN: 9783540291312 / Angielski / Miękka / 2005 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat... |
cena:
194,08 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
