Importo totale (1 articolo articoli):
Destinazione ordine:
miao george (31 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (31)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (20)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (3)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (9)
- Non Print on Demand (25)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Chinese Cultural Traditions and Modernization (Chinese Philosophical Studies)
Lingua: Inglese
Editore: Council for Research in Values &
ISBN 10: 1565180682 ISBN 13: 9781565180680
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, . (Lecture Notes in Computer Science, 2495)
Da: Earl The Pearls, Edmond, OK, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft cover. Condizione: As New. In publisher's shrinkwrap. Binding tight and square. Pages clean and free of writing or marks.
-
Signal Processing for Digital Communications (Artech House Signal Processing Library).
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 5 su 5 stelle
EUR 21,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloIllustrated. 16 x 23 cm. 515 pages. HC Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Signal Processing for Digital Communications (Artech House Signal Processing Library)
Lingua: Inglese
Editore: Artech House Publishers, Boston, 2007
ISBN 10: 1580536670 ISBN 13: 9781580536677
Da: Feldman's Books, Menlo Park, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Very Fine. First Edition. No markings.
-
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China, October 21-25, 2002 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods and Software Engineering (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10: 3540000291 ISBN 13: 9783540000297
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 101,77
Spedizione EUR 3,36
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Digital Signal Processing and Statistical Classification
Lingua: Inglese
Editore: Artech House Publishers, Boston, 2002
ISBN 10: 1580531350 ISBN 13: 9781580531351
Da: Feldman's Books, Menlo Park, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Hardcover. Condizione: Very Fine. First Edition. No markings.
-
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Digital Signal Processing and Statistical Classification
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
DIGITAL SIGNAL PROCESSING AND STATISTICAL CLASSIFICATION
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 111,91
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Digital Signal Processing and Statistical Classification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xviii + 492 1st Edition.
-
EUR 131,67
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Digital Signal Processing and Statistical Classification
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 127,19
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xviii + 492 Illus.
-
Digital Signal Processing and Statistical Classification
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 133,65
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xviii + 492.
-
Formal Methods and Software Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 648.
-
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2002
ISBN 10: 3540000291 ISBN 13: 9783540000297
EUR 106,99
Spedizione EUR 64,83
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University,Finland,Dr. Mark A. Hale of Inter woven Inc.,USA,Dr. Richard J ullig of CommerceNet Consortium,USA,Prof. Shaoying Liu of Hosei University,Japan,and Prof. Jim Woodcock of the University of Kent,UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience.
-
EUR 75,10
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 648 | Sprache: Englisch | Produktart: Bücher | This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi?cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di?erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University,Finland,Dr. Mark A. Hale of Inter woven Inc.,USA,Dr. Richard J¿ullig of CommerceNet Consortium,USA,Prof. Shaoying Liu of Hosei University,Japan,and Prof. Jim Woodcock of the University of Kent,UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience.
-
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, . (Lecture Notes in Computer Science (2495))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 176,82
Spedizione EUR 28,80
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China, October 21-25, 2002 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10: 3540000291 ISBN 13: 9783540000297
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 233,28
Spedizione EUR 31,20
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
EUR 122,46
Spedizione EUR 15,18
Spedito da Cina a U.S.A.Quantità: 3 disponibili
Aggiungi al carrellopaperback. Condizione: New. Language:Chinese.Paperback. Pub Date: 2021-07-01 Pages: 456 Publisher: Peking University Press This book tells the history of Japan from the end of the Kamakura Shogunate to the beginning of the Edo Shogunate.?Taking political history as the main clue. as well as the socio-economic and cultural changes in the relevant period. it has a detailed and appropriate description of important topics such as the Jianwu New Deal. the Northern and Southern Dynasties. the rise of the Ashikaga Shogunate. t.
-
Formal Methods and Software Engineering
Lingua: Inglese
Editore: Springer Berlin Heidelberg Okt 2002, 2002
ISBN 10: 3540000291 ISBN 13: 9783540000297
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University,Finland,Dr. Mark A. Hale of Inter woven Inc.,USA,Dr. Richard J ullig of CommerceNet Consortium,USA,Prof. Shaoying Liu of Hosei University,Japan,and Prof. Jim Woodcock of the University of Kent,UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience. 648 pp. Englisch.
-
Formal Methods and Software Engineering
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2002
ISBN 10: 3540000291 ISBN 13: 9783540000297
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- SFI: A Refinement Based Layered Software Architecture.- Developing Quality Software Systems Using the SOFL Formal Engineering Method.- Maintaining Referential Integrity on the Web.- Formal Methods in Enterprise Computing.- Unifying Theories .
-
Formal Methods and Software Engineering
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 150,75
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 648 Illus.
-
Formal Methods and Software Engineering
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 154,93
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 648.
-
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings | Chris George (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540000297 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
