Wyniki wyszukiwania:
wyszukanych pozycji: 42
 |
Neubau Atmospheres: East German Cultural Remediations of Modernist Architecture
ISBN: 9781836951797 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
507,29 zł |
 |
Universal Theory of Automata
ISBN: 9783519020547 / Niemiecki / Miękka / 1974 / 240 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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,68 zł |
 |
Australien for kids
ISBN: 9783946323280 / Niemiecki / Miękka / 128 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Australien for kids ist ein Reiseführer für Kinder, der geballtes Kinderwissen über die Tiere, Pflanzen, Essen und Trinken sowie die außergewöhnliche Kultur der Ureinwohner bietet und viel Spaß macht. Enthalten sind darüberhinaus ein kleiner Sprachführer, Geschichten über die Entstehung der Nation und viele Tipps und Hinweise - natürlich nur für Kinder.
Australien for kids ist ein Reiseführer für Kinder, der geballtes Kinderwissen über die Tiere, Pflanzen, Essen und Trinken sowie die außergewöhnl...
|
cena:
89,45 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
112,58 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
128,36 zł |
 |
Kategorien und Automate
ISBN: 9783110039023 / Niemiecki / Twarda / 1972 / 170 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
468,31 zł |
 |
Ontology Alignment: Bridging the Semantic Gap
ISBN: 9780387328058 / Angielski / Twarda / 2006 / 248 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
171,95 zł |
 |
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 (Bez gwarancji dostawy przed świętami) 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:
207,36 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
141,19 zł |
 |
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 (Bez gwarancji dostawy przed świętami) 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,72 zł |
 |
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
ISBN: 9783642647765 / Angielski / Miękka / 2011 / 429 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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,72 zł |
 |
Graph and Model Transformation: General Framework and Applications
ISBN: 9783662479797 / Angielski / Twarda / 2015 / 472 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is a comprehensive explanation of graph and model transformation. After a detailed introduction, including references to the historical context, the book includes detailed chapters on adhesive and M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers in the areas of theoretical... This book is a comprehensive explanation of graph and model transformation. After a detailed introduction, including references to the historical c... |
cena:
403,47 zł |
 |
Categorical Methods in Computer Science: With Aspects from Topology
ISBN: 9783540517221 / Angielski / Miękka / 1989 / 354 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications....
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of th...
|
cena:
201,72 zł |
 |
Graph and Model Transformation: General Framework and Applications
ISBN: 9783662569108 / Angielski / Miękka / 2019 / 472 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 zł |
 |
Mathematisch-Strukturelle Grundlagen Der Informatik
ISBN: 9783540419235 / Niemiecki / Miękka / 2001 / 622 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
150,79 zł |
 |
Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume
ISBN: 9783540176114 / Angielski / Miękka / 1987 / 336 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
141,19 zł |
 |
Ontology Alignment: Bridging the Semantic Gap
ISBN: 9781441941046 / Angielski / Miękka / 2010 / 248 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 zł |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 zł |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
