G cantone (41 risultati)

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Brossura. Condizione: fine. Siracusa, 2018; br., pp. 104.(Cultura e Società). Droghe, per usare la più generica ma efficace traduzione dall'inglese: dagli antidepressivi alle anfetamine, passando per eroina, cocaina e quant'altro la chimica sia riuscita ad inventare e la criminalità organizzata abbia poi messo sul mercato. Il più colossale affare degli ultimi settant'anni, pari a quelli delle armi e del petrolio. E qualsiasi numero possiamo immaginare per dare un'idea di quanti ci siano rimasti sotto, sarebbe sempre riduttivo. Una strage colossale. Libro.…

Condizione: New.

Paperback. Condizione: New. Print on Demand. This book introduces a series of mathematical formulas and techniques for evaluating set theories. These theories, called syllogistic schemes, are applicable to any finite collection of set variables, and easily demonstrate the satisfiability, or truth, of each. It has been shown that any formula can be broken down as a disjunction of syllogistic formulas. The initial part of this book focuses on refining the algorithm outlined above, while the second half explores complexity issues related to classes of set-theoretic formulas. The author proves that if a set of syllogistic schemes is non-empty, then it contains at least one minimum effort scheme, and that in order to check for satisfiability, only such schemes need to be sought. This search, though it involves backtracking, can be piloted quite effectively. This book will be of interest to mathematicians, logicians, and computer scientists. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. …

Condizione: COME NUOVO. Milano, Scheiwiller per Credito Italiano Garzanti cm.22,5x28, pp.291, numerose tavole a colori nel testo, legatura editoriale in tutta tela, sopraccoperta figurata a colori. Collana Civitas Europaea. Pregiata edizione facente parte della collana Civitas europeae . Curata veste editoriale tipica di tutte le pubblicazioni della Sheiwiller. Una serie di saggi scritti da storici, architetti, urbanisti di chiara fama. Corredato da 180 splendide illustrazioni nel testo ed a piena pagina. Storia della concezione della città ideale dal mondo classico all'età moderna e sulla sua possibile, futura evoluzione.…

Condizione: New. In English.

Condizione: New.

Condizione: New.

Condizione: New. pp. 436.

Condizione: As New. Unread book in perfect condition.

Hardcover. Condizione: Brand New. 2011 edition. 433 pages. 9.25x6.25x1.25 inches. In Stock.

Condizione: New. In English.

Hardback. Condizione: New. 2011th. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.…

rilegato rigida. Condizione: Fine. Copertina in piena tela. Tagli e pagine integri. Sovraccoperta. rigida 255 Ottimo (Fine) . Book.

Condizione: new.

Genova, 1999, 8vo stralcio con copertina posticcia muta, pp. 347/350 con una cartina. - !! ATTENZIONE !!: Con il termine estratto (o stralcio) intendiamo riferirci ad un fascicolo contenente un articolo, completo in se, sia che esso sia stato stampato a parte utilizzando la stessa composizione sia che provenga direttamente da una rivista. Le pagine sono indicate come "da/a", ad esempio: 229/231 significa che il testo è composto da tre pagine. Quando la rivista di provenienza non viene indicata é perché ci è sconosciuta. - !! ATTENTION !!: : NOT A BOOK : ?extract? or ?excerpt? means simply a few pages, original nonetheless, printed in a magazine. Pages are indicated as in "from? ?to", for example: 229/231 means the text comprises three pages (229, 230 and 231). If the magazine that contained the pages is not mentioned, it is because it is unknown to us.…

Genova, 1999, 8vo stralcio con copertina posticcia muta, pp. 230/236 con una tabella. - !! ATTENZIONE !!: Con il termine estratto (o stralcio) intendiamo riferirci ad un fascicolo contenente un articolo, completo in se, sia che esso sia stato stampato a parte utilizzando la stessa composizione sia che provenga direttamente da una rivista. Le pagine sono indicate come "da/a", ad esempio: 229/231 significa che il testo è composto da tre pagine. Quando la rivista di provenienza non viene indicata é perché ci è sconosciuta. - !! ATTENTION !!: : NOT A BOOK : ?extract? or ?excerpt? means simply a few pages, original nonetheless, printed in a magazine. Pages are indicated as in "from? ?to", for example: 229/231 means the text comprises three pages (229, 230 and 231). If the magazine that contained the pages is not mentioned, it is because it is unknown to us.…

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Hardback. Condizione: New. 2011th. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.…

In-4° pp. 294 con 175 ill. su tav. n.t. molte a colori. Legatura edit. con sovrac. ill. Ottimo stato in custodia. Taeghetta al dorso.

paperback. Condizione: Sehr gut. Gebraucht - Sehr gut SG - Ungelesenes Mängelexemplar, gestempelt, mit leichten Lagerspuren - Die Berücksichtigung sprachlicher Vielfalt in Bildungsinstitutionen im Sinne gesellschaftlicher Teilhabe beschäftigt die Universität Duisburg-Essen seit ihren Anfängen und prägt entsprechend die Lehrkräfteausbildung vor Ort.Dieser Sammelband vereint Beiträge zu hochschuldidaktischen Formaten an der Universität Duisburg-Essen, die die fachorientierte Sprachbildung und sprachliche Vielfalt in der Lehrkräftebildung fokussieren. Dabei widmen sich die Autor:innen den Potenzialen, Herausforderungen und Grenzen dieser Neuorientierung in der Lehrkra ftebildung aus interdisziplinärer und hochschuldidaktischer Perspektive. Dadurch ermöglicht der Band sowohl den Transfer hochschuldidaktischer Konzepte als auch die Ableitung weiterführender forschungsorientierter Implikationen im Bereich Deutsch als Zweitsprache und Sprachbildung im Kontext von Mehrsprachigkeit.…

brossura. Condizione: Good. I ed. VIII/ (8)+256/ brossura non originale in carta muta marmorizzata a colori (con il riquadro dei titoli del primo piatto della brossura originale: carta liscia écru con titoli e cornice ornata in nero). Con X tabelle in nero e con tre tavole illustrane in nero al fondo del testo. Stato discreto (manca la copertin originale - pagine lievemente ingiallite e con qualche piccola fioritura). Indice: L'Autore - Preliminari - Quadro degli studi agricoli - Fitologia (Nozioni di fisiologia vegetale (Organografia - Circolazione - Accrescimenti - Moltiplicazione - Classificazione) - Nutrizione delle piante (Elementi costitutivi - Carbonio, opssigene e idrogene - Azoto - Solfo - Sostanze minerali - Fosfati) - Coltura delle piante (Considerazioni generali - Lavoro - Concimi - Analisi dei terreni - Determinazione dell'ammoniaca)) - Climatologia agricola (Imponderabili (Calore - Luce - Elettricità) - Meteore (Vapore atmosferico - Rugiada e brina - Nuvole e nebbie - Pioggia - Neve - Venti) - Caratteri dei climi agricoli (Climi Europei) - Meteorologia congetturale (Pronostici) - Appendici (Tabelle (Degli ingrassi nell'ordine della loro ricchezza in azoto - Composizione delle ceneri di diversi proddotti vegetali - Composizione delle ceneri di diverse piante - Assuolamenti - Temperatura media di disversi paesi - Media dei giorni di pioggia e neve per diversi paesi - Numero dei giorni di neve per diversi paesi - Quantità di pioggia che cade in alcuni luoghi d'Italia - Epoche meteorologiche della fogliazione, fioritura e maturazione per alcune piante - Evaporazione) - Spiegazie dellle Tavole) - Errata corrige. Book.…

Condizione: Used: Good. Libro usato proveniente da collezione privata. La copertina riporta usuali segni del tempo Ed è presente solo nella parte frontale. No segni e sottolineature del testo. Per ogni problema, domanda o necessità non esitate a contattarci troverete personale disponibile a risolvere ogni vostra richiesta! Consegna 24/48 ore 7b.…

Condizione: New. Die Beruecksichtigung sprachlicher Vielfalt in Bildungsinstitutionen im Sinne gesellschaftlicher Teilhabe beschaeftigt die Universitaet Duisburg-Essen seit ihren Anfaengen und praegt entsprechend die Lehrkraefteausbildung vor Ort.Dieser Sammelband vereint Beitraeg.

Condizione: Nuovo (New). 8876248501 Nuovo (New) .

paperback. Condizione: Neu. Neu Neuware auf Lager, Sofortversand - Die Berücksichtigung sprachlicher Vielfalt in Bildungsinstitutionen im Sinne gesellschaftlicher Teilhabe beschäftigt die Universität Duisburg-Essen seit ihren Anfängen und prägt entsprechend die Lehrkräfteausbildung vor Ort.Dieser Sammelband vereint Beiträge zu hochschuldidaktischen Formaten an der Universität Duisburg-Essen, die die fachorientierte Sprachbildung und sprachliche Vielfalt in der Lehrkräftebildung fokussieren. Dabei widmen sich die Autor:innen den Potenzialen, Herausforderungen und Grenzen dieser Neuorientierung in der Lehrkra ftebildung aus interdisziplinärer und hochschuldidaktischer Perspektive. Dadurch ermöglicht der Band sowohl den Transfer hochschuldidaktischer Konzepte als auch die Ableitung weiterführender forschungsorientierter Implikationen im Bereich Deutsch als Zweitsprache und Sprachbildung im Kontext von Mehrsprachigkeit.…

flessibile. Condizione: Ottimo (Fine). 2 volumi con custodia, 910 p., f.to cm 21x15,5, copertina flessibile, con 96 tavole in b/n fuori testo. Ottime condizioni, copertina con lievi segni di usura e del tempo, rilegatura e pagine come nuovo. Book.

Taschenbuch. Condizione: Neu. Fachorientierte Sprachbildung und sprachliche Vielfalt in der Lehrkräftebildung | Hochschuldidaktische Formate an der Universität Duisburg-Essen | Katja F. Cantone (u. a.) | Taschenbuch | 332 S. | Deutsch | 2022 | Waxmann Verlag GmbH | EAN 9783830945499 | Verantwortliche Person für die EU: Waxmann Verlag GmbH, Steinfurter Str. 555, 48159 Münster, info[at]waxmann[dot]com | Anbieter: preigu.…

In 4° (32 cm circa) 4 pp. Norme relative alla risscossione dei crediti verso il Monte di Milano. Carta forte vergata, grande stemma al frontespizio. Ottimo esemplare, pieni margini e barbe. All books are in stock in fine condition or described meticulously. Very safe packaging ***Books dated over 70 years old: ONLY SHIPPING WITHIN ITALY - please do not order if locaded abroad***.…