topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 41
 |
Neubau Atmospheres: East German Cultural Remediations of Modernist Architecture
ISBN: 9781836951797 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
506,25 |
 |
Universal Theory of Automata
ISBN: 9783519020547 / Niemiecki / Miękka / 1974 / 240 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of automata and on the other hand allows interesting new applications and results. The frame work for our development is category theory, especially universal constructions in monoidal categories. But we will carefully motivate and introduce all those (and only those) notions and results of category theory which are needed in our approach. The reader is only assumed to be familiar with sets, deterministic functions, relations and the basic no tions...
Our purpose in writing this book is to present a universal theory of automata which on one hand unifies the theories of several well-known types of au...
|
cena:
169,28 |
 |
By the Way...: Eine neue Erz?hlung aus dem ber?chtigten B?chse-Zyklus
ISBN: 9783759797025 / Niemiecki Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
111,35 |
 |
Kategorien und Automate
ISBN: 9783110039023 / Niemiecki / Twarda / 1972 / 170 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
467,22 |
 |
Ontology Alignment: Bridging the Semantic Gap
ISBN: 9780387328058 / Angielski / Twarda / 2006 / 248 str. Termin realizacji zamówienia: ok. 22 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:
402,53 |
 |
Exploring the Transnational Neighbourhood: Perspectives on Community-Building, Identity and Belonging
ISBN: 9789462703483 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
128,10 |
 |
Preserving the Truth: The Church without a Name and Its Founder, William Irvine
ISBN: 9798985625004 / Angielski / Miękka / 2022 / 630 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
170,07 |
 |
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. 22 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:
201,24 |
 |
Graph Transformations
ISBN: 9783540874041 / Angielski / Miękka / 2008 / 542 str. Termin realizacji zamówienia: ok. 22 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:
201,24 |
 |
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. 22 dni roboczych. |
cena:
160,99 |
 |
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
ISBN: 9783540517993 / Angielski / Twarda / 1989 / 429 str. Termin realizacji zamówienia: ok. 22 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:
201,24 |
 |
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. 22 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:
402,53 |
 |
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
ISBN: 9783642699641 / Angielski / Miękka / 2011 / 321 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book...
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of ...
|
cena:
402,53 |
 |
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
ISBN: 9783540151999 / Angielski / Miękka / 1985 / 459 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
189,17 |
 |
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
ISBN: 9783540205388 / Angielski / Miękka / 2003 / 468 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems, withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd...
This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious ...
|
cena:
201,24 |
 |
Graph Transformations
ISBN: 9783642159275 / Angielski / Miękka / 2010 / 419 str. Termin realizacji zamówienia: ok. 22 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 biannual International Conferences on Graph Transformation aim at...
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:
201,24 |
 |
Depression: Ergebnisse Des Symposiums Der Sektion Psychiatrie Der Gesellschaft Für Psychiatrie Und Neurologie Der Ddr Vom 29./30.
ISBN: 9783211958438 / Niemiecki / Miękka / 1989 / 82 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Das Symposium der Sektion Psychiatrie der Gesellschaft fur Psychiatrie und Neurologie der DDR am 29. und 30. Oktober 1986 in Neubrandenburg beschaftigte sich im Hauptanteil des wissenschaftlichen Programms mit der Problematik der Depression. Hirnbiochemische, psychopathologische und psycho-soziale Aspekte haben den scheinbar so scharf umrissenenen Begriff der Krankheit Depression in Frage gestellt. Kritische Uberprufungen erfolgten, und Neubestimmungen wurden versucht. Dabei ist es unverkennbar, da eine scharfere Bestimmung des Psychotisch-Depressiven erreicht werden konnte, ebenso eine...
Das Symposium der Sektion Psychiatrie der Gesellschaft fur Psychiatrie und Neurologie der DDR am 29. und 30. Oktober 1986 in Neubrandenburg beschaftig...
|
cena:
206,88 |
 |
Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Adva
ISBN: 9783540176602 / Angielski / Miękka / 1987 / 294 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
140,86 |
| |
Plastics Recycling: Products and Processes
ISBN: 9783446158825 / Angielski / Twarda / 1992 / 277 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The book is intended to be a current source of information on plastics recycling technology. The introductory chapter provides the reader with a brief overview, a historical overview, and an introduction to recycling terms, organizations involved, and university programs. The chapters that follow describe processes for reclaiming specific and commingled plastics, product development, and product applications. Known processes are presented in some detail including the chemistry, engineering, and economics involved; product and product applications include characterization, property...
The book is intended to be a current source of information on plastics recycling technology. The introductory chapter provides the reader with a brie...
|
cena:
282,33 |
 |
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Procee
ISBN: 9783540544968 / Angielski / Miękka / 1991 / 384 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.
Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientatio...
|
cena:
201,24 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
