Automatic program construction techniques /

Automatic program construction techniques /

57

Bibliographic Details
Main Authors:	Biermann, Alan W., Guiho, Gerard, Kodratoff, Yves
Format:
Published:	New York : MacMillan, 1984
Subjects:	Automatic programming (Computer science)

Similar Items

Annual review in automatic programming /
by: Goodman, Richard
Published: (1964)

Automatic quantum computer programming : a genetic programming approach /
by: 406298 Lee Spector
Published: (2007)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: 183708 Bertot, Yves, et al.
Published: (2004)

Automatic programming applied to VLSI CAD software : a case study /
by: 412434 Setliff, Dorothy E., et al.
Published: (1990)

Research of CNC Gear Hobbing Automatic Programming Technology
by: Diao Xiuhui, et al.
Published: (2017-01-01)

Graph semantic similarity-based automatic assessment for programming exercises
by: Chengguan Xiang, et al.
Published: (2024-05-01)

Automatic Error Elimination by Multi-Application Code Transfer
by: Sidiroglou-Douskos, Stelios, et al.
Published: (2014)

Automatic Error Elimination by Multi-Application Code Transfer
by: Sidiroglou-Douskos, Stelios, et al.
Published: (2014)

Automatic Error Elimination by Multi-Application Code Transfer
by: Sidiroglou-Douskos, Stelios, et al.
Published: (2014)

Selective joint motion recognition using multi sensor for salat learning /
by: Nor Azrini Jaafar, 1990-, author 602590
Published: (2022)

Selective joint motion recognition using multi sensor for salat learning /
by: Nor Azrini Jaafar, 1990-, author 602590, et al.
Published: (2022)

Construction and Verification of Variance Reduction Technique System Based on Automatic Importance Sampling
by: WU Zhen1,2,3, HAO Yisheng1,2, PU Yanheng1,2, ZHOU Yang1,2, GAO Shenshen1,2, QIU Rui1,2, MA Ruiyao1,2, ZHANG Hui1,2, LI Junli1,2
Published: (2024-03-01)

Genetic programming and data structures : genetic programming + data structures = automatic programming ! /
by: Langdon, W. B., (William B.)
Published: (1998)

Dynamical Sphere Regrouping Particle Swarm Optimization Programming: An Automatic Programming Algorithm Avoiding Premature Convergence
by: Martín Montes Rivera, et al.
Published: (2024-09-01)

Structural foundations for differentiable programming
by: Huot, M
Published: (2022)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
by: Chlipala, Adam, 1981-
Published: (2013)

Design of automatic machinery/
by: 223346 Lentz, Kendrick W.
Published: (1985)

Code generation, analysis tools, and testing for quality /
by: Queiros, Ricardo, 1975-, editor 632335, et al.
Published: (2019)

A tool for automatic parallelization of affine programs for systems with shared and distributed memory
by: Sh. G. Magomedov, et al.
Published: (2019-10-01)

Techniques for noise robustness in automatic speech recognition /
by: Virtanen, Tuomas, et al.
Published: (c201)

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
by: TYPES `98 (2006 : Nottingham, UK), et al.
Published: (2007)

Automatic Measurement in Metallography
by: A. G. Anisovich, et al.
Published: (2023-10-01)

Use of an Attribute Grammar for Software Process Measurement
by: Atan, Rodziah
Published: (2005)

Automatic Synthesis of Fine-Motion Strategies for Robots
by: Lozano-Perez, Tomas, et al.
Published: (2004)

Programming for an automatic digital calculator /
by: 208024 Booth, Kathleen H. V.
Published: (1958)

Automatic differentiation : techniques and applications /
by: 398235 Rall, Louis B.
Published: (181)

Automatic control systems /
by: 360233 Golnaraghi, Farid, et al.
Published: (2010)

Control applications of nonlinear programming/
by: International Federation of Automatic Control. Technical Committee on Applications, et al.
Published: (1980)

Genetic programming II : automatic discovery of reusable programs /
by: 245495 Koza, John R.
Published: (1994)

Studies in automatic programming logic /
by: 179321 Manna, Zohar, et al.
Published: (1977)

Annual review in automatic programming [mikrofilem]
Published: (1964)

The art of differentiating computer programs : an introduction to algorithmic differentiation /
by: Naumann, Uwe, 1969-
Published: (c201)

An Automatic Software Defect Repair Method Based on Multi-Objective Genetic Programming
by: Tiantian Han, et al.
Published: (2024-09-01)

Automatic control systems engineering /
by: 464479 Langill, A. W.
Published: (1965)

Automatic Control Systems : Including MATLAB /
by: Palani, S., author 552260, et al.
Published: (2013)

Software for automatic testing equipment /
by: 220159 Abdul Latiff Hussin, et al.

Self-adaptive heuristics for evolutionary computation /
by: 184868 Kramer, Oliver
Published: (2008)

Automatic control /
by: 11696 Institution of Heating and Ventilating Engineers (Great Britain)
Published: (1970)

Automatic control /
by: 368645 Soule, L. M.
Published: (197-)

Acquisition of software engineering knowledge : SWEEP, an automatic programming system based on genetic programming and cultural algorithms /
by: 180491 Cowan, George S., et al.
Published: (2003)