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 05 J, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Buch
Paperback. Zustand: Very Good. Techniques for Searching, Parsing, and Matching This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Verlag: Centro Scientifico Editore, 2002
ISBN 10: 8876405720ISBN 13: 9788876405723
Anbieter: Librodifaccia, Alessandria, AL, Italien
Buch
Zustand: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: Discrete con Difetti, note nel testo sottolineature nel testo.
Verlag: J. GARZON XX° SIECLE
Noten
Pas de couverture. Zustand: bon. RO50046419: XX° SIECLE. In-8. En feuillets. Bon état, Couv. défraîchie, Dos satisfaisant, Papier jauni. 25 pages de partitions environ. Premier plat en noir et blanc. . . . Classification Dewey : 780.26-Partitions.
Verlag: Casa Editrice Libreria La Donzelletta, RECANATI, 1986
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Zustand: BUONO USATO. IED. ITALIANO Volume brossurato in cartoncino rigido, dalla copertina leggermente annerita. Ritratto di Leopardi in antiporta. Buonissimo lo stato di conservazione, pagine perfettamente tenute, velate da tonalità seppia, come i tagli, con numerose illustrazioni in nero, fuori testo, con didascalie. Numero pagine 65.
Verlag: Springer Berlin, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Gut. 1992. Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 590918/203.
Verlag: Springer International Publishing, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. 1st ed. 2021. 41344397/1.
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540562826ISBN 13: 9783540562825
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysis in logic.Particular topics include belief revision systems,intensionaldeduction, belief systems and metaprogramming,principles of partial deduction, termination in logicprograms, semantics of the 'vanilla' metainterpreter, acomplete resolution method for metaprogramming, semanticsof'demo', hierarchical metalogics, the naming relation inmetalevel systems, modules, reflective agents, compileroptimizations, metalogic and object-oriented facilities,parallel logic languages, the use of metaprogramming forlegal reasoning, representing objects and inheritance,transformation of normal programs, negation in automaticallygenerated logic programs, reordering of literals indeductive databases, abstract interpretations, andinterarguments in constraint logic programs.
Verlag: Springer International Publishing, 2022
ISBN 10: 3031119649ISBN 13: 9783031119644
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 graduatecourses 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.
Verlag: Springer International Publishing, 2023
ISBN 10: 3030631915ISBN 13: 9783030631918
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among others, algorithms for visiting trees, evaluating Boolean expressions, proving propositional formulas, computing paths in graphs, and performing string matching.This book has been used for advanced undergraduate and graduate courses on automata and formal languages, and assumes some prior exposure to the basic notions in that area.Sample programs are presented in Java and Prolog.
Verlag: Springer International Publishing, 2022
ISBN 10: 3030631885ISBN 13: 9783030631888
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also illustrates some tree and graph exploration and manipulation methods by presenting, among others, algorithms for visiting trees, evaluating Boolean expressions, proving propositional formulas, computing paths in graphs, and performing string matching.This book has been used for advanced undergraduate and graduate courses on automata and formal languages, and assumes some prior exposure to the basic notions in that area.Sample programs are presented in Java and Prolog.
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.