Plumer lutz (28 risultati)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K 1990
- Brossura
Da: Ammareal, Morangis, , FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 5,29
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1990. Ammareal gives back up to 15%… of this item's net price to charity organizations.
- Rilegato
Da: Ammareal, Morangis, , FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 6,49
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of thi…s item's net price to charity organizations.
- Brossura
Da: Libros Ambigú, Madrid, M, SpagnaLibros Ambigú
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 4,20
EUR 31,00 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Condizione: Normal. Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal.
- Rilegato
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, , Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 17,95
EUR 19,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
gebundene Ausgabe. Condizione: Gut. 404 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Englisch Gewicht in Gramm: 975.
- Rilegato
Da: Plurabelle Books Ltd, Cambridge, , Regno UnitoPlurabelle Books Ltd
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 54,64
EUR 9,23 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good. Series: Studies in Computer Science and Artificial Intelligence 404p grey cloth with red lettering, a nice clean copy, unused, minimal library marking, tight and clean, year of publiction in book given as 1995 Language: English.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,60
EUR 13,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,04
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,38
EUR 17,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 61,24 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could… be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose specialdifficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.
- Brossura
- Prima edizione
Da: Pórtico [Portico], ZARAGOZA, Z, SpagnaPórtico [Portico]
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 83,50
EUR 35,00 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Tapa blanda. Condizione: New. 1ª edición. FOERSTNER, W. / L. PLUEMER, EDS.: SEMANTIC MODELING FOR THE ACQUISITION OF TOPOGRAPHIC INFORMATION FROM IMAGES AND MAPS. SMATI 97. BASEL, 1997, vii 227 p. figuras, 670 gr. Encuadernacion original. Nuevo. (HZD) 670 gr. Libro.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Termination Proofs for Logic Programs | Lutz Plümer | Taschenbuch | viii | Englisch | 1990 | Springer | EAN 9783540528371 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 122,07
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 120,56
EUR 13,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 133,87
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New. Contains papers which were presented at the Workshop 'SMATI '97'. This volume offers a comprehensive selection of contributions, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision and image understanding. Editor(s): Forstner, Wolfgang; Plum…er, Lutz. Num Pages: 238 pages, biography. BIC Classification: RGS; RGW; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 14. Weight in Grams: 1150. . 1997. Hardback. . . . .
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 119,96
EUR 28,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 150,50
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 62,68 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processing. Automation of these tasks is di…fficult due to the complexity of the object, the topography, and the deficiency of current pattern recognition and image analysis tools for achieving a reliable transition from the data to the high level description of topographic objects. It appears that progress in automation only can be achieved by incorporating domain-specific semantic models into the analysis procedures. This volume collects papers which were presented at the Workshop 'SMATI '97'. The workshop focused on 'Semantic Modeling for the Acquisition of Topographic Information from Images and Maps.' This volume offers a comprehensive selection of high-quality and in-depth contributions by experts of the field coming from leading research institutes, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision, and image understanding.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 168,68
EUR 9,15 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New. Contains papers which were presented at the Workshop 'SMATI '97'. This volume offers a comprehensive selection of contributions, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision and image understanding. Editor(s): Forstner, Wolfgang; Plum…er, Lutz. Num Pages: 238 pages, biography. BIC Classification: RGS; RGW; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 14. Weight in Grams: 1150. . 1997. Hardback. . . . . Books ship from the US and Ireland.
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 162,72
EUR 28,83 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. Like New. book.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 194,44
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 64,00
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
- 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 53,49
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 -Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivia…l programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose specialdifficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming. 156 pp. Englisch.
- Brossura
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proof…s for nontrivial programs could be achiev.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
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 -This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.Springer-Verlag KG, Sachsenplatz 4…-6, 1201 Wien 156 pp. Englisch.
Lingua: Inglese
Editore: Springer, Basel, Birkhäuser Basel, Birkhäuser Mai 1997 1997
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 112,34
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processing. Automation of t…hese tasks is difficult due to the complexity of the object, the topography, and the deficiency of current pattern recognition and image analysis tools for achieving a reliable transition from the data to the high level description of topographic objects. It appears that progress in automation only can be achieved by incorporating domain-specific semantic models into the analysis procedures. This volume collects papers which were presented at the Workshop 'SMATI '97'. The workshop focused on 'Semantic Modeling for the Acquisition of Topographic Information from Images and Maps.' This volume offers a comprehensive selection of high-quality and in-depth contributions by experts of the field coming from leading research institutes, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision, and image understanding. 231 pp. Englisch.
- Rilegato
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,27
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image proce…ssing. Automation of these tasks is diffi.
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. Semantic Modeling for the Acquisition of Topographic Information from Images and Maps | SMATI 97 | Lutz Plümer (u. a.) | Buch | vii | Englisch | 1997 | Springer Basel | EAN 9783764357580 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197… Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processing. Automation of these… tasks is difficult due to the complexity of the object, the topography, and the deficiency of current pattern recognition and image analysis tools for achieving a reliable transition from the data to the high level description of topographic objects. It appears that progress in automation only can be achieved by incorporating domain-specific semantic models into the analysis procedures. This volume collects papers which were presented at the Workshop 'SMATI '97'. The workshop focused on 'Semantic Modeling for the Acquisition of Topographic Information from Images and Maps.' This volume offers a comprehensive selection of high-quality and in-depth contributions by experts of the field coming from leading research institutes, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision, and image understanding.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 244 pp. Englisch.
