Wyniki wyszukiwania:
wyszukanych pozycji: 42
 |
Mathematisch-Strukturelle Grundlagen Der Informatik
ISBN: 9783540419235 / Niemiecki / Miękka / 2001 / 622 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pradikatenlogik, die fur das Verstandnis des formalisierten Problemlosens entscheidend und damit fur Informatiker unerlasslich sind. Eine Einfuhrung in die intuitive Mengentheorie vermittelt zunachst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Pradikatenlogik aus...
In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen...
|
cena:
151,85 |
 |
Ontology Alignment: Bridging the Semantic Gap
ISBN: 9781441941046 / Angielski / Miękka / 2010 / 248 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A large number of information systems use many different individual schemas to represent data. Semantically linking these schemas is a necessary precondition to establish interoperability between agents and services. Consequently, ontology alignment and mapping for data integration has become central to building a world-wide semantic web. Ontology Alignment: Bridging the Semantic Gap introduces novel methods and approaches for semantic integration. In addition to developing new methods for ontology alignment, the author provides extensive explanations of up-to-date... A large number of information systems use many different individual schemas to represent data. Semantically linking these schemas is a necessary pr... |
cena:
406,31 |
 |
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
ISBN: 9783540544784 / Angielski / Miękka / 1991 / 706 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics,...
This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Scie...
|
cena:
545,69 |
 |
Graph Transformation: 6th International Conference, Icgt 2012, Bremen, Germany, September 24-29, 2012, Proceedings
ISBN: 9783642336539 / Angielski / Miękka / 2012 / 427 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2...
|
cena:
203,13 |
 |
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes de Malavell
ISBN: 9783540578673 / Angielski / Miękka / 1994 / 356 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers... Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on th...
|
cena:
203,13 |
 |
Graph Transformations
ISBN: 9783540874041 / Angielski / Miękka / 2008 / 542 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The International Conferences on Graph Transformation aim at bringing -...
Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the lif...
|
cena:
203,13 |
 |
Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi
ISBN: 9783540231356 / Angielski / Miękka / 2004 / 630 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were...
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applica...
|
cena:
203,13 |
 |
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Ta
ISBN: 9783540151982 / Angielski / Miękka / 1985 / 422 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
162,50 |
 |
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
ISBN: 9783540517993 / Angielski / Twarda / 1989 / 429 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of...
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification tech...
|
cena:
272,82 |
 |
Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, Usa, December 2-6, 1986
ISBN: 9783540187714 / Angielski / Miękka / 1987 / 622 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The generic term graph-grammars refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer...
The generic term graph-grammars refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-gr...
|
cena:
406,31 |
 |
Preserving the Truth: The Church without a Name and Its Founder, William Irvine
ISBN: 9798985625011 / Angielski / Twarda / 630 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
211,68 |
 |
Ausweichende Blicke und wachsende Nasen
ISBN: 9783639448368 / Niemiecki / Miękka / 2012 / 132 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
221,24 |
 |
Fundamentals of Algebraic Graph Transformation
ISBN: 9783642068317 / Angielski / Miękka / 2010 / 390 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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 graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called... Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-ba... |
cena:
487,58 |
 |
Fundamentals of Algebraic Graph Transformation
ISBN: 9783540311874 / Angielski / Twarda / 2006 / 390 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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 graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called... Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-ba... |
cena:
487,58 |
 |
Entertaining German Culture: Contemporary Transnational Television and Film
ISBN: 9781836956983 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
78,55 |
 |
Economics and Price Risks in International Pellet Supply Chains
ISBN: 9783319070155 / Angielski / Miękka / 2014 / 57 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The aim of this book is to investigate critical economic aspects and price risks along international pellet supply chains and to offer new insights into the interconnections between the sector, the various supply risks within the market and guidelines for de-risking biomass supply chains. It provides three real case studies as practical examples of determining actual supply costs from resource production to end-user and in doing so identifies and analyzes general economic performance indicators and price drivers for biomass supply chains. It also investigates the impact of several risks like...
The aim of this book is to investigate critical economic aspects and price risks along international pellet supply chains and to offer new insights in...
|
cena:
203,13 |
 |
Faszination LAN-Party - Eine Ethnographische Studie einer Netzgemeinschaft
ISBN: 9783640318933 / Niemiecki / Miękka / 2009 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Diplomarbeit aus dem Jahr 2002 im Fachbereich Soziologie - Individuum, Gruppe, Gesellschaft, Note: 1,3, Technische Universitat Dresden (Institut fur Soziologie), Sprache: Deutsch, Abstract: Die LAN-Party ist ein relativ junges Phanomen. Erst in den letzten Jahren wurden die technischen Voraussetzungen fur ein vernetztes Spielen von rechenintensiven Computerspielen der breiten Masse zuganglich. Das vernetzte Zocken im privaten wie im offentlich Kreis hat seitdem unzahlige Anhanger gefunden. LAN-Parties sind bereits so verbreitet, dass man in ihnen keine Randerscheinung, sondern ein zunehmend...
Diplomarbeit aus dem Jahr 2002 im Fachbereich Soziologie - Individuum, Gruppe, Gesellschaft, Note: 1,3, Technische Universitat Dresden (Institut fur S...
|
cena:
308,01 |
 |
Unifying Petri Nets: Advances in Petri Nets
ISBN: 9783540430674 / Angielski / Miękka / 2001 / 488 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth.
These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri... Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivate...
|
cena:
203,13 |
 |
Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
ISBN: 9783540672036 / Angielski / Miękka / 2000 / 506 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Theareaofgraphtransformationoriginatedinthelate1960sunderthename "graph grammars" - the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology, musiccomposition, distributedsystems,...
Theareaofgraphtransformationoriginatedinthelate1960sunderthename "graph grammars" - the main motivation came from practical considerations concerning ...
|
cena:
203,13 |
 |
Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
ISBN: 9783540232070 / Angielski / Miękka / 2004 / 456 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29 Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer S- ence (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like...
ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international ...
|
cena:
203,13 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
