Bruynooghe (35 Ergebnisse)

Paperback. Zustand: Very Good. 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. 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: As New. Unread book in perfect condition.

Zustand: As New. Bekaert, Johnny (illustrator).

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Poor. Plooi in cover. Dutch.

Zustand: Very Good.

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. 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, narrowing,parallelism, and implementation techniques. The volumecloses with six abstracts of systems demonstrations andposters.…

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

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: SIA OmniScriptum Publishing, Brivibas Gatve 197, 1039 RIGA, LETTLAND, customerservice[at]vdm-vsg[dot]de | Anbieter: preigu. …

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

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

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.

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: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. …

Zustand: As New. Bekaert, Johnny (illustrator).

Hardcover. Zustand: Very Good. 1. Met bijlage (IV/XX) Dutch De (on)gerijmde werkelijkheid is een vernuftig boekje voor iedereen die probeert onze directe omgeving en hedendaagse maatschappij te vatten. Deze bundel combineert illustraties met verzen op rijm, gaande van vrolijk naar bizar en melancholisch, van pertinent gek tot verbeten zelfkritisch. Het boek behandelt relaties, de teloorgang van de natuur, het verouderingsproces, de ratrace, sociale ongelijkheid en andere onderwerpen waarover de moderne mens weleens durft te piekeren, wijs en ludiek gevat in korte vierregelige teksten. Bekaert, Johnny (illustrator).…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Niederländisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bruynooghe, Wim (illustrator).

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 256 | Sprache: Niederländisch | Produktart: Bücher | Keine Beschreibung verfügbar. Bruynooghe, Wim (illustrator).

Zustand: gut. 100 jaar motorrijden in België : Belgische Motorrijdersbond 1912-2012 In deutscher Sprache. pages.

Zustand: Very Good.

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: SIA OmniScriptum Publishing, Brivibas Gatve 197, 1039 RIGA, LETTLAND, customerservice[at]vdm-vsg[dot]de | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Le rappresentazioni riflettono gli ostacoli all'apprendimento? | Aline Bruynooghe | Taschenbuch | Italienisch | 2026 | Edizioni Sapienza | EAN 9786209889127 | Verantwortliche Person für die EU: SIA OmniScriptum Publishing, Brivibas Gatve 197, 1039 RIGA, LETTLAND, customerservice[at]vdm-vsg[dot]de | Anbieter: preigu. …