लॉगिन | साइन अप | सेटिंग्स | मेरी इच्छा सूची

 



खोजा जा रहा है ...
0 %





Fundamentals of Algebraic Specification 2(Reprint)
Module Specifications and Constraints (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series)
द्वारा Hartmut Ehrig, Bernd Mahr
Paperback, 444 पन्ने, प्रकाशित 2011 द्वारा Springer-Verlag
ISBN-13: 978-3-642-64776-5, ISBN: 3-642-64776-6

"Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, ar ..."






Fundamentals of Algebraic Graph Transformation(Reprint)
(Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Paperback, 390 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-3-642-06831-7, ISBN: 3-642-06831-6

"Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of g ..."






Kategorien und Automaten. Von; Michael Pfender u. Studenten d. Mathematik u. Informatik, de-Gruyter-Lehrbuch.(Reprint)
द्वारा Hartmut Ehrig, Michael Pfender
Hardcover, 170 पन्ने, प्रकाशित 1972 द्वारा De Gruyter
ISBN-13: 978-3-11-003902-3, ISBN: 3-11-003902-8






Fundamentals of Algebraic Specification 1(Reprint)
Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Bernd Mahr, Peter Deuflhard
Paperback, 340 पन्ने, प्रकाशित 1985 द्वारा Springer Berlin Heidelberg
ISBN-13: 978-3-642-69964-1, ISBN: 3-642-69964-2






Graph and Model Transformation(Softcover reprint of the original 1st ed. 2015)
General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of the original 1st ed. 2015)
द्वारा Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank
483 पन्ने, प्रकाशित 2019 द्वारा Springer
ISBN-13: 978-3-662-56910-8, ISBN: 3-662-56910-8

सभी लेखक

Hartmut Ehrig

Bernd Mahr

Ulrike Prange

Gabriele Taentzer

Karsten Ehrig

Michael Pfender

Peter Deuflhard

Ulrike Golas

Claudia Ermel

Frank Hermann


सभी बाइंडिंग

Paperback

Hardcover


सभी संस्करणों

Reprint


सभी वर्ष

2019

2011

2010

1972