Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Oldenbourg München., 2007
ISBN 10: 3486586017ISBN 13: 9783486586015
Anbieter: medimops, Berlin, Deutschland
Buch
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Walter de Gruyter, 2011
ISBN 10: 3486705172ISBN 13: 9783486705171
Anbieter: medimops, Berlin, Deutschland
Buch
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Springer 13.06.2008., 2008
ISBN 10: 3540672621ISBN 13: 9783540672623
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
Zustand: Sehr gut. Auflage: 2000. 444 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,5 x 2,3 cm, Taschenbuch.
Verlag: De Gruyter Oldenbourg, 2011
ISBN 10: 3486705172ISBN 13: 9783486705171
Anbieter: Buchmarie, Darmstadt, Deutschland
Buch
Zustand: Good. Auflage: 2,2011.
Verlag: Oldenbourg, De Gruyter Oldenbourg, Oldenbourg Wissenschaftsverlag Jul 2011, 2011
ISBN 10: 3486705172ISBN 13: 9783486705171
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware - Diese Einführung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt.
Verlag: De Gruyter Oldenbourg, 2011
ISBN 10: 3486705172ISBN 13: 9783486705171
Anbieter: Studibuch, Stuttgart, Deutschland
Buch
perfect. Zustand: Akzeptabel. 386 Seiten; 9783486705171.4 Sprache: Deutsch Gewicht in Gramm: 1.
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540672621ISBN 13: 9783540672623
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Verlag: Oldenbourg|De Gruyter Oldenbourg|Oldenbourg Wissenschaftsverlag, 2007
ISBN 10: 3486705172ISBN 13: 9783486705171
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. Zustand: New. Diese Einfuehrung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einf.
Verlag: Springer Berlin Heidelberg, 1997
ISBN 10: 3540637532ISBN 13: 9783540637530
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997.The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks and three tutorials. The papers address all current aspects of constraint programming. Among the topics covered are constraint matching, constraint languages, set constraints, constraint search, constraint satisfaction problems, scheduling, constraint routing, temporal constraints, constraint graphs, local search, object-oriented constraint programming, etc.