الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 14 /14
978-3-540-89550-3
Computational Geometry and Graph Theory : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry ...

اقرأ المزيد
978-3-540-70666-3
Discrete Geometry, Combinatorics and Graph Theory

Theis book includes discrete algorithmic geometry, combinatorics and graph theory

اقرأ المزيد
978-3-540-70666-3
Discrete Geometry, Combinatorics and Graph Theory

Theis book includes discrete algorithmic geometry, combinatorics and graph theory

اقرأ المزيد
978-3-540-31847-7
Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

اقرأ المزيد
978-3-540-31188-1
Fundamentals of Algebraic Graph Transformation

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...

اقرأ المزيد
978-3-540-46235-4
Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

اقرأ المزيد
978-3-540-31667-1
Graph Drawing (vol. # 3843)

The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred ...

اقرأ المزيد
978-3-030-51372-6
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...

اقرأ المزيد
978-3-540-38872-2
Graph Transformations

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...

اقرأ المزيد
978-3-540-32425-6
Processes, Terms and Cycles: Steps on the Road to Infinity

Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...

اقرأ المزيد
978-3-540-71998-4
Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

اقرأ المزيد
978-3-540-73066-8
Testing of Software and Communicating Systems

This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...

اقرأ المزيد
978-3-540-69927-9
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

اقرأ المزيد
978-3-540-75336-0
Trustworthy Global Computing ; Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...

اقرأ المزيد
عدد الكتب: 1 - 14 /14