Streicher t (29 risultati)
- Brossura
Da: Gian Luigi Fine Books, albany, NY, U.S.A.Gian Luigi Fine Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 24,57
EUR 8,41 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Very Good.
Lingua: Inglese
Editore: Dover Publications, Inc., New York, 1977
- Brossura
Da: Rudolf Steiner Buchhandlung, Hamburg, GermaniaRudolf Steiner Buchhandlung
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 30,00
EUR 30,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Sehr gut. Einband leicht vergilbt und an den Kanten leicht bestoßen. Schnitt leicht, Seiten minimal vergilbt.
Editore: Lpz., Br. & H. (VN 27666) (1915)., 1915
- Prima edizione
- Spartito
Da: Musik-Antiquariat Heiner Rekeszus, Wiesbaden, WI, GermaniaMusik-Antiquariat Heiner Rekeszus
Contatta il venditoreVenditore con 2 stelleCondizione: Usato
EUR 21,00
EUR 18,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPartitur u. Stimmen. Folio. OU. * Erstausgabe.
Altre immaginiLingua: Inglese
Editore: Dover Publications 1977,., 1977
- Brossura
Da: Antiquariat Maiwald, Langen, HES, GermaniaAntiquariat Maiwald
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 35,00
EUR 55,30 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 99 Seiten, Einband gebräunt, in gutem Zustand, KU-5775 Auf Grund der EPR-Regelung kann zur Zeit kein Versand mehr in folgende Länder erfolgen: Spanien, Polen, Bulgarien, Dänemark, Estland, Finnland, Griechenland, Irland, Luxemburg, Portugal, Rumänien, Schweden, Slowakei, Slowenien, Ungarn, Zypern Spr…ache: Englisch Gewicht in Gramm: 550.
GRAPHIC WORKS OF MAX KLINGER; foreword by Dorothea Carus, technical note by Elizabeth Sahling, with 74 plates
VARNEDOE, J. Kirk T., introduction and notes by . with Elizabeth Streicher
Editore: Dover, NY, 1977
- Prima edizione
Da: Second Life Books, Inc., Lanesborough, MA, U.S.A.Second Life Books, Inc.
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 35,73
EUR 6,50 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloFirst Edition. 4to, pp. 99. Bound in printed wraps. A very good copy. Klinger (illustratore).
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 97,94
EUR 13,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,10
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Editore: Lpz., Br. & H. (VN V.A. 2310-2313) (1907)., 1907
- Brossura
- Spartito
Da: Musik-Antiquariat Heiner Rekeszus, Wiesbaden, WI, GermaniaMusik-Antiquariat Heiner Rekeszus
Contatta il venditoreVenditore con 2 stelleCondizione: Usato
EUR 45,00
EUR 18,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHeft 1-4. Folio. 11, 11, 9, 11 S. OU.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,04
EUR 62,41 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By tr…anslating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con structive proof allows us to extract a program from a proof of this proposition. Thus by the 'proposition-as-types' paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct w.r.t. the given problem specification. This opens the way for a coherent approach to the derivation of provably correct programs. These features have led to a 'typeful' programming style where the classi cal typing concepts such as records or (static) arrays are enhanced by polymor phic and dependent types in such a way that the types themselves get a complex mathematical structure. Systems such as Coquand and Huet's Calculus of Con structions are calculi for computing within extended type systems and provide a basis for a deduction oriented mathematical foundation of programming. On the other hand, the computational power and the expressive (impred icativity !) of these systems makes it difficult to define appropriate semantics.
Migrationsgesellschaftliche Diskriminierungsverhältnisse in Bildungssettings : Analysen, Reflexionen, Kritik -Language: german
Mecheril, Paul (EDT); Streicher, Noelia (EDT); Streicher, Noelia Paola (EDT); Velho, Astride (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,76
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Migrationsgesellschaftliche Diskriminierungsverhältnisse in Bildungssettings : Analysen, Reflexionen, Kritik -Language: german
Mecheril, Paul (EDT); Streicher, Noelia (EDT); Streicher, Noelia Paola (EDT); Velho, Astride (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,79
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Migrationsgesellschaftliche Diskriminierungsverhältnisse in Bildungssettings : Analysen, Reflexionen, Kritik -Language: german
Mecheril, Paul (EDT); Streicher, Noelia (EDT); Streicher, Noelia Paola (EDT); Velho, Astride (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,85
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Migrationsgesellschaftliche Diskriminierungsverhältnisse in Bildungssettings : Analysen, Reflexionen, Kritik -Language: german
Mecheril, Paul (EDT); Streicher, Noelia (EDT); Streicher, Noelia Paola (EDT); Velho, Astride (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,17
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Waldeyer-Anatomie des Menschen : Lehrbuch Und Atlas in Einem Band -Language: German
Anderhuber, Freidrich (EDT); Pera, Franz (EDT); Streicher, Johannes (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 90,08
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
Waldeyer-Anatomie des Menschen : Lehrbuch Und Atlas in Einem Band -Language: German
Anderhuber, Freidrich (EDT); Pera, Franz (EDT); Streicher, Johannes (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 100,09
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New.
Waldeyer-Anatomie des Menschen : Lehrbuch Und Atlas in Einem Band -Language: German
Anderhuber, Freidrich (EDT); Pera, Franz (EDT); Streicher, Johannes (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 88,76
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
Waldeyer-Anatomie des Menschen : Lehrbuch Und Atlas in Einem Band -Language: German
Anderhuber, Freidrich (EDT); Pera, Franz (EDT); Streicher, Johannes (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,01
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New.
Erneuerbare Energien : Systemtechnik Wirtschaftlichkeit Umweltaspekte -Language: german
Kaltschmitt, Martin (EDT); Streicher, Wolfgang (EDT); Wiese, Andreas (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 143,54
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New.
Erneuerbare Energien : Systemtechnik Wirtschaftlichkeit Umweltaspekte -Language: german
Kaltschmitt, Martin (EDT); Streicher, Wolfgang (EDT); Wiese, Andreas (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 128,97
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New.
Erneuerbare Energien : Systemtechnik Wirtschaftlichkeit Umweltaspekte -Language: german
Kaltschmitt, Martin (EDT); Streicher, Wolfgang (EDT); Wiese, Andreas (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 155,17
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
Erneuerbare Energien : Systemtechnik Wirtschaftlichkeit Umweltaspekte -Language: german
Kaltschmitt, Martin (EDT); Streicher, Wolfgang (EDT); Wiese, Andreas (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 154,17
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 175,18
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 173,31
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 204,92
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 203,98
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,24
EUR 5,50 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,84
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,94
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci… fication. By translating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con structive proof allows us to extract a program from a proof of this proposition. Thus by the 'proposition-as-types' paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct w.r.t. the given problem specification. This opens the way for a coherent approach to the derivation of provably correct programs. These features have led to a 'typeful' programming style where the classi cal typing concepts such as records or (static) arrays are enhanced by polymor phic and dependent types in such a way that the types themselves get a complex mathematical structure. Systems such as Coquand and Huet's Calculus of Con structions are calculi for computing within extended type systems and provide a basis for a deduction oriented mathematical foundation of programming. On the other hand, the computational power and the expressive (impred icativity !) of these systems makes it difficult to define appropriate semantics. 316 pp. Englisch.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,94
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fic…ation. By translating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con structive proof allows us to extract a program from a proof of this proposition. Thus by the 'proposition-as-types' paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct w.r.t. the given problem specification. This opens the way for a coherent approach to the derivation of provably correct programs. These features have led to a 'typeful' programming style where the classi cal typing concepts such as records or (static) arrays are enhanced by polymor phic and dependent types in such a way that the types themselves get a complex mathematical structure. Systems such as Coquand and Huet's Calculus of Con structions are calculi for computing within extended type systems and provide a basis for a deduction oriented mathematical foundation of programming. On the other hand, the computational power and the expressive (impred icativity !) of these systems makes it difficult to define appropriate semantics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 316 pp. Englisch.
