Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
Buch
Paperback. Zustand: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine.
Verlag: Springer, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Buch
Softcover. 1992. 351 p. ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540562825 Sprache: Englisch Gewicht in Gramm: 1000.
Verlag: Roma, Unitor, 1991
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Buch
Hardcover. 245 p. Good condition. Reading pages are clean and without marks. Sprache: Italienisch Gewicht in Gramm: 1000.
Verlag: Springer, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Buch
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Verlag: Springer-Verlag, New York, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Buch
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm].
Verlag: Springer Berlin, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschland
Buch
Paperback/ broschiert. Zustand: Gut. 351 S. Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 Sprache: Englisch Gewicht in Gramm: 600.
Verlag: Springer, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Buch
Paperback. Zustand: Very Good. 0387562826 Ex-library paperback in very nice condition with the usual markings and attachments.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Books Puddle, New York, NY, USA
Buch
Zustand: New.
Verlag: Springer, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Basi6 International, Irving, TX, USA
Buch
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Buch
Zustand: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Verlag: Springer, 2008
ISBN 10: 1402065841ISBN 13: 9781402065842
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Hardcover. Zustand: new.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: SMASS Sellers, IRVING, TX, USA
Buch
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Buch
Zustand: New.
Verlag: Springer International Publishing, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Wie neu. Zustand: Wie neu | Seiten: 320.
Verlag: Springer, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Books Unplugged, Amherst, NY, USA
Buch
Zustand: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within 1.37.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Books Unplugged, Amherst, NY, USA
Buch
Zustand: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.37.
Verlag: Springer Nature, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Buch
Paperback. Zustand: Brand New. 288 pages. 10.00x7.00x0.63 inches. In Stock.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Buch
Zustand: New. Book is in NEW condition. 1.37.
Verlag: Springer, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: Book Deals, Tucson, AZ, USA
Buch
Zustand: New. New! This book is in the same immaculate condition as when it was published 1.37.
Verlag: Springer International Publishing Aug 2022, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an important role in language translation, compiler construction, and knowledge manipulation in general.Presenting basic notions and fundamental results, this concise textbook is structured on the basis of a correspondence that exists between classes of automata and classes of languages. That correspondence is established by the fact that the recognition and the manipulation of sentences in a given class of languages can be done by an automaton in the corresponding class of automata. Four central chapters center on: finite automata and regular languages; pushdown automata and context-free languages; linear bounded automata and context-sensitive languages; and Turing machines and type 0 languages. The book also examines decidable and undecidable problems with emphasis on the case for context-free languages.Topics and features:Provides theorems, examples, and exercises to clarify automata-languages correspondencesPresents some fundamental techniques for parsing both regular and context-free languagesClassifies subclasses of decidable problems, avoiding focus on the theory of complexityExamines finite-automata minimalization and characterization of their behavior using regular expressionsIllustrates how to derive grammars of context-free languages in Chomsky and Greibach normal formsOffers supplementary material on counter machines, stack automata, and abstract language familiesThis highly useful, varied text/reference is suitable for undergraduate and graduate courses on automata theory and formal languages, and assumes no prior exposure to these topics nor any training in mathematics or logic.Alberto Pettorossiis professor of theoretical computer science at the University of Rome Tor Vergata, Rome, Italy. 288 pp. Englisch.
Verlag: Springer 2023-01, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Buch
PF. Zustand: New.
Verlag: Springer, 2008
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: getbooks GmbH, Bad Camberg, HE, Deutschland
Buch
Taschenbuch. Zustand: Gut. 280 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. 823190.01 Sprache: Englisch Gewicht in Gramm: 476.
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540439153ISBN 13: 9783540439158
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci cation, synthesis, veri cation, transformation, specialization, analysis,optimization,composition,reuse,component-basedsoftwaredevel- ment,andsoftwarearchitectures. LOPSTR 2001 took place in the Coral Beach Hotel in Paphos (Cyprus) fromNovember28 30,2001. PastLOPSTRworkshopswereheldinManchester, UK(1991,1992,1998),Louvain-la-Neuve,Belgium(1993),Pisa,Italy(1994), Arnhem,TheNetherlands(1995),Stockholm,Sweden(1996),Leuven,Belgium (1997),Venice,Italy(1999),andLondon,UK(2000). LOPSTR2001wasco-locatedwiththe17thInternationalConferenceonLo- 1 gicProgramming(ICLP2001) andthe7thInternationalConferenceonPrinci- 2 plesandPracticeofConstraintProgramming(CP2001) . TheLOPSTRc- munitypro tedalotfromthescienti cdiscussions,thelecturesoftheinvited speakers,andthevarioussessionsofICLPandCP. I would like to express my gratitude to all the authors of the submitted papersandalltheattendeesfortheircommitmentandcooperation. Amongthe submittedpapers,theProgramCommitteeselected13papersforpresentation. Aftertheworkshop,theauthorswereaskedtosubmitimprovedversionso ftheir paperswhichwerethenreviewedbytheProgramCommittee. The nalversions havebeencollectedinthisvolume,whichalsoincludesthepaperbyourinvited speaker,NatarajanShankar(StanfordResearchInstitute,MenloPark,USA), onthegenerationofe cientprogramsfromlogic. MywarmestthanksalsogotoallthemembersoftheProgramCommittee andtheadditionalreviewersfortheirdiligentworkandinvaluablehelp. Iwould liketothankFabioFioravanti(IASI-CNRofRome,Italy),MaurizioProietti (IASI-CNRofRome,Italy),andAntonisKakas(UniversityofCyprus,Cyprus), whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofCompu ter ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:iasi. rm. cnr. it/ adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet,Ph. ,editor,LogicProgramming ICLP2001,LectureNotesinComputer Science 2237,Springer-Verlag,2001. 2 Walsh,T. ,editor,PrinciplesandPracticeofConstraintProgramming CP2001, LectureNotesinComputerScience 2239,Springer-Verlag,2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRoma TorVergata ,Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco Universit`aCa FoscaridiVenezia,Italy MireilleDucass e IRISA/INSA,France SandroEtalle TwenteUniversity&CWI,TheNetherlands JohnGallagher UniversityofBristol,UK RobertGluc k WasedaUniversity,Japan MichaelHanus Christian-Albrechts-Universit atzuKiel,Germany ManuelHermenegildo UniversidadPolit ecnicadeMadrid,Spain PatriciaHill UniversityofLeeds,UK Kung-KiuLau UniversityofManchester,UK MichaelLeuschel UniversityofSouthampton,UK TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi Universit`adegliStudidiRoma TorVergata ,Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook,USA DonSannella UniversityofEdinburgh,UK ZoltanSomogyi UniversityofMelbourne,Australia AdditionalReferees Jos eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstituteofCNR(Italy) Universit`adegliStudidiRoma TorVergata (Italy) TableofContents InvitedSpeaker Static Analysis for Safe Destructive Updates in a Functional Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .