search result

Cover von Logik für Software-Ingenieure
Author: Matthiessen, Günter Search for this author
Year: 1991
Publisher: Berlin, de Gruyter
Series: Programming complex systems; 3
Media group: MONOGRAPHIE
Cover von Software-Konstruktion mit LISP
Author: Bonin, Hinrich E. G. Search for this author
Year: 1991
Publisher: Berlin, de Gruyter
Series: Programming complex systems; 1
Media group: MONOGRAPHIE
Cover von Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit
Author: Baber, Robert Laurence Search for this author
Year: 1995
Publisher: Berlin, de Gruyter
Series: Programming complex systems; 8
Media group: MONOGRAPHIE
Cover von Software reliability determination for conventional and logic programming
Author: Azem, Alireza Search for this author
Year: 1995
Publisher: Berlin, de Gruyter
Series: Programming complex systems; 7
Media group: MONOGRAPHIE
Cover von Softwarezuverlässigkeit
quantitative Modelle und Nachweisverfahren
Author: Becker, Günter Search for this author
Year: 1989
Publisher: Berlin, de Gruyter
Series: Programming complex systems; 2
Media group: MONOGRAPHIE
Cover von Knowledge acquisition and machine learning
theory, methods, and applications
Search for this author
Year: 1993
Publisher: London, Academic Press
Series: Knowledge-based systems
Media group: MONOGRAPHIE
Cover von Office automation
a social and organizational perspective
Author: Hirschheim, Rudy A. Search for this author
Year: 1989
Publisher: Chichester, Wiley
Series: John Wiley Information systems series
Media group: MONOGRAPHIE
Cover von Neural computation and self-organizing maps
an introduction
Author: Ritter, Helge; Martinetz, Thomas; Schulten, Klaus Search for this author
Year: 1992
Publisher: Reading, Addison-Wesley
Series: Computation and neural systems series
Media group: MONOGRAPHIE
Cover von Neural networks
algorithms, applications, and programming techniques
Author: Freeman, James A.; Skapura, David M. Search for this author
Year: 1991
Publisher: Reading, Addison-Wesley
Series: Computation and neural systems series
Media group: MONOGRAPHIE
Cover von Constraint Solving and Planning with Picat
Author: Zhou, Neng-Fa; Kjellerstrand, Hakan ; Fruhman, Jonathan Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Springer Briefs in Intelligent Systems
Media group: MONOGRAPHIE
OPEN V 11.1.0.0