bruynooghe (38 Ergebnisse)

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 714; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Softcover/Paperback. Zustand: Sehr gut. X, 232 S. : ill. ; 24 cm. Sehr guter Zustand. In Folie verschweißt. Very good. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 430.

Paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Paperback. Slightly edge-worn covers with one or two minor creases and scuff marks. Small tear to spine head. Light wear to leading corners. Binding is sound and pages are tight and clean throughout. Contents are clear. AF. Used.

Zustand: New. In.

Zustand: New. In.

Zustand: Very good. Bekaert, Johnny (illustrator).

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: Very good. Kuipers, Corrie (illustrator).

Zustand: Very good.

Zustand: Very good. Bruynooghe, Wim (illustrator).

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci cation, synthesis, veri cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re nement and logics for re nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro ted from the shared lectures of the invited speakers, and the active scienti c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the FifthInternational Symposium onProgramming LanguageImplementation and Logic Programming (PLILP '93), held inTallinn, Estonia, in August 1993. The series of PLILPsymposiums was established to promote contacts andinformation exchange among scientists who share commoninterests in declarative programming techniques, logicprogramming, and programming languages imnplementation.Researchers from the fields of algorithmic programminglanguages as well as logic, functional, object-oriented, andconstraint programming constitute the audience of PLILP.The volume contains three invited talks and 24 selectedcontributed papers grouped intoparts on: integration ofdifferent paradigms, constraint programming, staticanalysisand abstract interpretation, grammars, narrowingparallelism, and implementation techniques. The volumecloses with six abstracts of systems demonstrations andposters.

Paperback. Zustand: Brand New. 72 pages. French language. 8.66x5.91x0.17 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Speci cation, synthesis, transformation or specialization, analysis, debugging and veri cation can all be given logical foundations, thus providing a unifying framework for the whole development process. In the past 10 years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, veri cation and speci- ization. However,itisfairtosaythatsofarthefocushaslargelybeenonprogrammi- in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world. Returning to this volume, our aim is to present a collection of papers that re ect signi cant research e orts over the past 10 years. These papers cover the wholedevelopmentprocess:speci cation,synthesis,analysis,transformationand specialization, as well as semantics and systems.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, functional, and object-oriented programming.The topics discussed in the volume include: Declarative implementation techniques; Implementation of declarative concepts and modules; Compiler specification and construction; Program transformation; Programming environments for declarative languages; Amalgamation of logic programming with algorithmicfunctional, or object-oriented techniques; Executable specification.

Taschenbuch. Zustand: Neu. Logic Based Program Synthesis and Transformation | 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers | Maurice Bruynooghe | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540221746 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Programming Language Implementation and Logic Programming | 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings | Maurice Bruynooghe (u. a.) | Taschenbuch | xi | Englisch | 1992 | Springer | EAN 9783540558446 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Programming Language Implementation and Logic Programming | 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings | Maurice Bruynooghe (u. a.) | Taschenbuch | xiii | Englisch | 1993 | Springer | EAN 9783540571865 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 508 | Sprache: Englisch | Produktart: Bücher | This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, functional, and object-oriented programming.The topics discussed in the volume include:- Declarative implementation techniques;- Implementation of declarative concepts and modules;- Compiler specification and construction;- Program transformation;- Programming environments for declarative languages;- Amalgamation of logic programming with algorithmic,functional, or object-oriented techniques;- Executable specification.

Zustand: New.

Hardcover, 208 pagina's, NL, 300 x 250 mm, Nieuwstaat, stofomslag, met talrijke info en foto's in kleur / z/w. ISBN 9789461610669. België stond aan de bakermat van de motorsport en kende ooit een bloeiende motorindustrie. Dit boek schetst niet alleen het portret van de belangrijkste Belgische motorsporters maar laat ook de evolutie van het motorrijden in België ontdekken. 1600 g.

Zustand: Buone. inglese Condizioni dell'esterno: Discrete con difetti, segni d'uso Condizioni dell'interno: Discrete con Difetti, bruniture.

Zustand: Very good. Bekaert, Johnny (illustrator).

Taschenbuch. Zustand: Neu. Les représentations traduisent-elles les obstacles aux apprentissages? | Aline Bruynooghe | Taschenbuch | 72 S. | Französisch | 2017 | Éditions universitaires européennes | EAN 9783639621075 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

Paperback. Zustand: Very Good. Bekaert, Johnny (illustrator). Dutch Speelse kwatrijnen.

Taschenbuch. Zustand: Neu. Do students' concept maps reveal barriers to learning? | Aline Bruynooghe | Taschenbuch | Englisch | 2026 | Our Knowledge Publishing | EAN 9786209884009 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Czy wyobra¿enia odzwierciedlaj¿ przeszkody w nauce? | Aline Bruynooghe | Taschenbuch | Polnisch | 2026 | Wydawnictwo Nasza Wiedza | EAN 9786209878886 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Será que as representações refletem os obstáculos à aprendizagem? | Aline Bruynooghe | Taschenbuch | Portugiesisch | 2026 | Edições Nosso Conhecimento | EAN 9786209891687 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.