topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 16
 |
Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
ISBN: 9783642029585 / Angielski / Miękka / 2009 / 504 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of Computer Science at McGill University, Montreal, Canada, during August 2 7, 2009. CADE is the major forum for the presentation of research in all aspects of automated deduction. Within this general topic the conference is devoted to foundations, applications, implementations and practical experiences. CADE was founded in 1974 when it was held in Argonne, USA. Since then CADE has been organized ?rst on a bi-annual basis mostly and since 1996 on...
This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The conference was hosted by the School of...
|
cena:
192,74 zł |
 |
Therese Giehse
ISBN: 9783784436302 / Niemiecki / Miękka / 400 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. -/-
-/-
|
cena:
81,65 zł |
 |
Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2
ISBN: 9783540378730 / Angielski / Miękka / 2006 / 436 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th International Workshop on Applications of Kleene Algebras, AKA 2006, held in Manchester, UK in August/September 2006. The 25 revised full papers presented together with two invited papers and the abstract of an invited talk were carefully reviewed and selected from 44 submissions. The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, an... |
cena:
192,74 zł |
 |
Anakonda und ein Glas Merlot: Begegnungen mit fragilen Welten
ISBN: 9783756890231 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
123,08 zł |
 |
Lebensthema Sexualität: Sexuelle Einstellungen, Erfahrungen Und Karrieren Jüngerer Frauen
ISBN: 9783810035165 / Niemiecki / Miękka / 2003 / 360 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
216,18 zł |
 |
Jugendsexualität Und Schulalltag
ISBN: 9783810021113 / Angielski / Miękka / 1999 / 220 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
198,14 zł |
 |
Darf ich dir noch etwas sagen?
ISBN: 9783903300552 / Niemiecki / Twarda / 32 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Die Schlafmaus und der Papagei, Kasperl und Teddybär, ein kleiner Herr aus Bern, vierundzwanzig Hasen - Weltmeister im Seifenblasen, eine buntgescheckte Kuh, ein gesprenkeltes Känguru - viele verträumte oder putzmuntere Gäste tummeln sich auf den Seiten dieses Buchs und sagen dem Kind zärtlich guten Morgen oder gute Nacht.Lyrik ... wirkt!Gerda Anger-Schmidt und Renate Habinger finden das richtige Wort und das passende Bild für jeden Anlass. Der erstmals vor über 30 Jahren erschienene Gedichtband kommt nun in einer liebevoll überarbeiteten und charmant gestalteten Neuausgabe heraus.
Die Schlafmaus und der Papagei, Kasperl und Teddybär, ein kleiner Herr aus Bern, vierundzwanzig Hasen - Weltmeister im Seifenblasen, eine buntgeschec...
|
cena:
81,65 zł |
 |
Das Buch gegen das kein Kraut gewachsen ist : Kräuter und Gewürze von Augentrost bis Zimt. Ausgezeichnet mit dem Preis der Stadt Wien 2010
ISBN: 9783707450057 / Niemiecki / Twarda / 2017 / 116 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Die Welt der Kräuter und Gewürze
Die Welt der Kräuter und Gewürze
|
cena:
90,27 zł |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, Tableaux 2017, Brasília, Brazil, September 25-28, 2017,
ISBN: 9783319669014 / Angielski / Miękka / 2017 / 381 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.
The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAU...
|
cena:
250,57 zł |
 |
Genetics and Genomics of the Brassicaceae
ISBN: 9781461427780 / Angielski / Miękka / 2013 / 680 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The Genetics and Genomics of the Brassicaceae provides a review of this important family (commonly termed the mustard family, or Cruciferae). The family contains several cultivated species, including radish, rocket, watercress, wasabi and horseradish, in addition to the vegetable and oil crops of the Brassica genus. There are numerous further species with great potential for exploitation in 21st century agriculture, particularly as sources of bioactive chemicals. These opportunities are reviewed, in the context of the Brassicaceae in agriculture. More detailed descriptions are provided of the...
The Genetics and Genomics of the Brassicaceae provides a review of this important family (commonly termed the mustard family, or Cruciferae). The fami...
|
cena:
771,08 zł |
 |
Ein Mann ist keine Altersvorsorge : Warum finanzielle Unabhängigkeit für Frauen so wichtig ist. Nach der aktuellen Rechtslage
ISBN: 9783328103554 / Niemiecki / Miękka / 2019 / 224 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
45,36 zł |
 |
Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications
ISBN: 9781904987567 / Angielski / Miękka / 2008 / 320 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between: * the need for a representational language strong enough to express domain knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand,...
In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer sc...
|
cena:
183,02 zł |
 |
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ISBN: 9783031634970 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
154,18 zł |
 |
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ISBN: 9783031635007 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
285,27 zł |
 |
Genetics and Genomics of the Brassicaceae
ISBN: 9781441971173 / Angielski / Twarda / 2010 / 680 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The Genetics and Genomics of the Brassicaceae provides a review of this important family (commonly termed the mustard family, or Cruciferae). The family contains several cultivated species, including radish, rocket, watercress, wasabi and horseradish, in addition to the vegetable and oil crops of the Brassica genus. There are numerous further species with great potential for exploitation in 21st century agriculture, particularly as sources of bioactive chemicals. These opportunities are reviewed, in the context of the Brassicaceae in agriculture. More detailed descriptions are provided of the...
The Genetics and Genomics of the Brassicaceae provides a review of this important family (commonly termed the mustard family, or Cruciferae). The fami...
|
cena:
771,08 zł |
 |
American Multiculturalism and Ethnic Survival
ISBN: 9783631612187 / Angielski / Twarda / 2012 / 261 str. Termin realizacji zamówienia: ok. 30 dni roboczych. In this collection of essays, Americanists from the United States, Germany, and Latvia enter the scholarly debate about the ever increasing pluralization of societies on the North American continent by correlating the issues of multiculturalism and ethnic survival. Spanning six centuries and covering the cultural work and literary representation of eight ethnic groups in the USA and Canada, the essays demonstrate that the scope of the debate has to be widened to reflect the complexity of a subject which has too long been reduced to convenient but simplistic binaries.
In this collection of essays, Americanists from the United States, Germany, and Latvia enter the scholarly debate about the ever increasing pluralizat...
|
cena:
308,43 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
