Maurice Nivat – författare
Visar alla böcker från författaren Maurice Nivat. Handla med fri frakt och snabb leverans.
11 produkter
Algebraic Methodology and Software Technology (AMAST'93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Av Giuseppe Scollo, Teodor Rus m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held …
Rewriting Techniques
Resolution of Equations in Algebraic Structures
Av Maurice Nivat, Hassan Ait-Kaci
E-bok, 2014
807 kr
Lägg i varukorg
Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the …
Algebraic Techniques
Resolution of Equations in Algebraic Structures
Av Maurice Nivat, Hassan Ait-Kaci
E-bok, 2014
789 kr
Lägg i varukorg
Resolution of Equations in Algebraic Structures: Volume 1, Algebraic Techniques is a collection of papers from the "Colloquium on Resolution of Equations in Algebraic Structures" held in Texas in May 1987. The papers discuss equations and algebraic structures relevant to symbolic computation and to …
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Av Hartmut Ehrig, Christiane Floyd m. fl.
Häftad, 1985
442 kr
Lägg i varukorg
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
Av Hartmut Ehrig, Christiane Floyd m. fl.
Häftad, 1985
534 kr
Lägg i varukorg
CAAP '88
13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings
Häftad, 1988
569 kr
Lägg i varukorg
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory …
Algebraic Methodology and Software Technology (AMAST’93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Av Maurice Nivat, Charles Rattray m. fl.
Häftad, 1993
569 kr
Lägg i varukorg
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held …
Parallel Image Analysis
Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings
Av Akira Nakamura, Maurice Nivat m. fl.
Häftad, 1992
569 kr
Lägg i varukorg
This volume contains the papers selected for presentation atthe Second International Conference on Parallel ImageAnalysis (ICPIA '92), held in Ube, Japan, December 21-23,1992.The conference topics are data structures, parallelalgorithms and architectures, neural networks, computationalvision, …
Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Häftad, 1995
1098 kr
Lägg i varukorg
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The …
Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Av Martin Wirsing, Maurice Nivat
Häftad, 1996
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also …
Foundations of Software Science and Computation Structures
First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Häftad, 1998
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April …
