Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Spedizione gratuita
Paese del venditore
Valutazione venditore
Editore: MIT Press, Cambridge, MA, 1991
ISBN 10: 0262691477ISBN 13: 9780262691475
Da: Canal Bookyard, Upper Black Eddy, PA, U.S.A.
Libro
Trade Paperback. Condizione: Very Good. No Jacket. White titles on purple and black trade paper covers, 738 pages. Minor indentations on back cover.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germania
Libro
Condizione: Sehr gut. 408 p. In very good condition. ISBN: 9783540417392 Sprache: Englisch Gewicht in Gramm: 585 15,5 x 2,3 x 23,6 cm, softcover.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: booksXpress, Bayonne, NJ, U.S.A.
Libro
Soft Cover. Condizione: new.
Soft Cover. Condizione: new.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Libro
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Editore: Springer, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: GreatBookPrices, Columbia, MD, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: Ria Christie Collections, Uxbridge, Regno Unito
Libro Print on Demand
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer Berlin Heidelberg Feb 2001, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming,FLOPS2001,heldinTokyo,Japan,March 7{9,2001,andhostedbyWasedaUniversity. FLOPSisaforumforresearchonallissuesconcerningfunctionalprogr- ming and logic programming. In particular, it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms. ThepreviousFLOPS meetingstookplaceinFuji-Susono(1995),Shonan(1996),Kyoto(1998),and Tsukuba (1999). The proceedings of FLOPS 99 were published by Springer- VerlagasLectureNotesinComputerScience,volume1722. There were 40 submissions, 38 of which were considered by the program 1 / committee. TheycamefromAustralia(5),Belgium( ),Denmark(3),Egypt 3 1 1 2 1 / / / / (1),France( ),Germany(2 ),Italy(4 ),Japan(5),Korea(1 ),Mexico 2 3 3 2 1 1 5 / / / (1),TheNetherlands(1 ),Spain(10 ),Switzerland(1),UK(1 ),andUSA 6 6 6 1 / (1 ). Eachpaperwasreviewedbyatleastthree,andmostlyfour,reviewers. 2 Theprogramcommitteemeetingwasconductedelectronicallyfortheperiodof twoweeksinNovember2000. Asaresultofactivediscussions,21papers(52. 5%) wereselectedforpresentation,whichappearinthisvolume. Inaddition,weare verypleasedtoincludeinthisvolumefullpapersbythreedistinguishedinvited speakers,namelyGopalanNadathur,GeorgeNecula,andTaisukeSato. Onbehalfoftheprogramcommittee,theprogramchairswouldliketothank theinvitedspeakerswhoagreedtogivetalksandcontributepapers,allthosewho submittedpapers,andalltherefereesfortheircarefulworkinthereviewingand selectionprocess. Thesupportofoursponsorsisalsogratefullyacknowledged. Inparticular,wewouldliketothanktheJapanSocietyforSoftwareScience andTechnology(JSSST),SpecialInterestGrouponPrinciplesofProgramming, andtheAssociationforLogicProgramming(ALP). Finally,wewouldliketo thankthemembersoftheorganizingcommittee,notablyZhenjiangHu,Yasuhiro Ajiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughoutthepreparationandorganizationofthesymposium. January2001 HerbertKuchen KazunoriUeda Symposium Organization Program Chairs Herbert Kuchen University of Munster, Germany Kazunori Ueda Waseda University, Tokyo, Japan Program Committee Sergio Antoy Portland State University, USA Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany Fergus Henderson University of Melbourne, Australia Zhenjiang Hu University of Tokyo, Japan Herbert Kuchen University of Munster, Germany Giorgio Levi University of Pisa, Italy Michael Maher Gri th University, Brisbane, Australia Dale Miller Pennsylvania State University, USA I. V. Ramakrishnan State University of New York at Stony Brook, USA Olivier Ridoux IRISA, Rennes, France Mario Rodr guez-Artalejo Complutense University, Madrid, Spain Colin Runciman University of York, UK Akihiko Takano Hitachi, Ltd. 408 pp. Englisch.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Libro
Condizione: New.
Editore: Springer, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Libro
Condizione: New.
Editore: Springer Verlag, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 1st edition. 389 pages. 9.50x6.25x1.00 inches. In Stock.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condizione: New.
Editore: Springer-Verlag New York Inc, 2010
ISBN 10: 364217163XISBN 13: 9783642171635
Da: Revaluation Books, Exeter, Regno Unito
Libro
Paperback. Condizione: Brand New. 456 pages. 9.00x6.00x0.75 inches. In Stock.
Editore: Springer, 2010
ISBN 10: 364217163XISBN 13: 9783642171635
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Libro
Condizione: New.
Editore: Springer, 2009
ISBN 10: 354063875XISBN 13: 9783540638759
Da: getbooks GmbH, Bad Camberg, HE, Germania
Libro
Taschenbuch. Condizione: Gut. 408 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822673.01 Sprache: Englisch Gewicht in Gramm: 590.
Editore: Springer, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condizione: New.
Condizione: Fine. The book is in fine condition.
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming,FLOPS2001,heldinTokyo,Japan,Ma rch 7{9,2001,andhostedbyWasedaUniversity. FLOPSisaforumforresearchonallissuesconcerningfunctionalprogr- ming and logic programming. In particular, it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms. ThepreviousFLOPS meetingstookplaceinFuji-Susono(1995),Shonan(1996),Kyoto(1998),and Tsukuba (1999). The proceedings of FLOPS 99 were published by Springer- VerlagasLectureNotesinComputerScience,volume1722. There were 40 submissions, 38 of which were considered by the program 1 / committee. TheycamefromAustralia(5),Belgium( ),Denmark(3),Egypt 3 1 1 2 1 / / / / (1),France( ),Germany(2 ),Italy(4 ),Japan(5),Korea(1 ),Mexico 2 3 3 2 1 1 5 / / / (1),TheNetherlands(1 ),Spain(10 ),Switzerland(1),UK(1 ),andUSA 6 6 6 1 / (1 ). Eachpaperwasreviewedbyatleastthree,andmostlyfour,reviewers. 2 Theprogramcommitteemeetingwasconductedelectronicallyfortheperiodof twoweeksinNovember2000. Asaresultofactivediscussions,21papers(52. 5%) wereselectedforpresentation,whichappearinthisvolume. Inaddition,weare verypleasedtoincludeinthisvolumefullpapersbythreedistinguishedinvited speakers,namelyGopalanNadathur,GeorgeNecula,andTaisukeSato. Onbehalfoftheprogramcommittee,theprogramchairswouldliketothank theinvitedspeakerswhoagreedtogivetalksandcontributepapers,allthosewho submittedpapers,andalltherefereesfortheircarefulworkinthereviewingand selectionprocess. Thesupportofoursponsorsisalsogratefullyacknowledged. Inparticular,wewouldliketothanktheJapanSocietyforSoftwareScience andTechnology(JSSST),SpecialInterestGrouponPrinciplesofProgramming, andtheAssociationforLogicProgramming(ALP). Finally,wewouldliketo thankthemembersoftheorganizingcommittee,notablyZhenjiangHu,Yasuhiro Ajiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughoutthepreparationandorganizationofthesymposium. January2001 HerbertKuchen KazunoriUeda Symposium Organization Program Chairs Herbert Kuchen University of Munster, Germany Kazunori Ueda Waseda University, Tokyo, Japan Program Committee Sergio Antoy Portland State University, USA Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany Fergus Henderson University of Melbourne, Australia Zhenjiang Hu University of Tokyo, Japan Herbert Kuchen University of Munster, Germany Giorgio Levi University of Pisa, Italy Michael Maher Gri th University, Brisbane, Australia Dale Miller Pennsylvania State University, USA I. V. Ramakrishnan State University of New York at Stony Brook, USA Olivier Ridoux IRISA, Rennes, France Mario Rodr guez-Artalejo Complutense University, Madrid, Spain Colin Runciman University of York, UK Akihiko Takano Hitachi, Ltd.
Editore: Springer Berlin Heidelberg, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: AHA-BUCH GmbH, Einbeck, Germania
Libro
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.
Editore: Springer Berlin Heidelberg 2010-11-05, Berlin, 2010
ISBN 10: 364217163XISBN 13: 9783642171635
Da: Blackwell's, London, Regno Unito
Libro
paperback. Condizione: New. Language: ENG.
Editore: Springer 1997-11, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: moluna, Greven, Germania
Libro Print on Demand
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Papers.- The Metalanguage ?prolog and Its Implementation.- A Scalable Architecture for Proof-Carrying Code.- Parameterized Logic Programs where Computing Meets Learning.- Functional Programming.- Proving Syntactic Properties of Exceptions in an Orde.
Editore: Springer Berlin Heidelberg, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: moluna, Greven, Germania
Libro Print on Demand
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN 97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an ab.
Editore: Springer Berlin Heidelberg Nov 1997, 1997
ISBN 10: 354063875XISBN 13: 9783540638759
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing. 408 pp. Englisch.
Editore: Springer 2001-02, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Chiron Media, Wallingford, Regno Unito
Libro
PF. Condizione: New.
Editore: Springer, 2001
ISBN 10: 3540417397ISBN 13: 9783540417392
Da: Kennys Bookstore, Olney, MD, U.S.A.
Libro
Condizione: New.