Wyniki wyszukiwania:
wyszukanych pozycji: 16
 |
Formale Logik Im Dialog: Aussagenlogik, Pr?dikatenlogik Und Modale Logik, Mit Einer Prise Softwaretechnik Gew?rzt
ISBN: 9783662727003 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
189,87 |
 |
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
ISBN: 9783319368696 / Angielski / Miękka / 2016 / 719 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
200,77 |
 |
Erzeugende Funktionen Verständlich Erklärt
ISBN: 9783662651629 / Niemiecki / Miękka / 2022 Termin realizacji zamówienia: ok. 22 dni roboczych. Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik. Das Buch zeigt an vielen Beispielen, wie man dieses Werkzeug verwendet, mit dem eine Folge reeller Zahlen durch eine einzige Funktion repräsentiert wird. Es wird eine Einführung in die Technik der Gewinnung und der Manipulation erzeugender Funktionen gegeben; wichtige Folgen und ihre korrespondierenden Funktionen werden behandelt.
Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik. Das Buch zeigt an vielen Beispielen, wie man d...
|
cena:
56,27 |
 |
Stochastic Relations: Foundations for Markov Transition Systems
ISBN: 9781584889410 / Angielski / Twarda / 2007 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Collecting information previously scattered throughout the vast literature, including the author s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems.
After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the... Collecting information previously scattered throughout the vast literature, including the author s own research, Stochastic Relations: Foundations ...
|
cena:
778,85 |
 |
Stochastic Coalgebraic Logic
ISBN: 9783642261473 / Angielski / Miękka / 2012 / 231 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting. This book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight... Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a ... |
cena:
401,58 |
 |
Python 3
ISBN: 9783110544121 / Niemiecki / Miękka / 2018 / 323 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
221,03 |
 |
Stochastic Relations: Foundations for Markov Transition Systems
ISBN: 9780367389116 / Angielski / Miękka / 2019 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
301,76 |
 |
Stochastic Coalgebraic Logic
ISBN: 9783642029943 / Angielski / Twarda / 2009 / 231 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting. This book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight... Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a ... |
cena:
401,58 |
 |
Das Siebte Buch: Objektorientierung Mit C++
ISBN: 9783519026495 / Niemiecki / Miękka / 2000 / 328 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Eine sanfte und zum Selbststudium gedachte Einfuhrung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschnitte folgt dem Schema, dass Syntax und Semantik der entsprechenden Sprachkonstrukte jeweils aus einem Beispiel entwickelt werden. An Hand zahlreicher Beispiele und Ubungsaufgaben konnen die vorgestellten Themen nachvollzogen und geubt werden.
Eine sanfte und zum Selbststudium gedachte Einfuhrung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschni...
|
cena:
149,97 |
 |
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
ISBN: 9783319227498 / Angielski / Twarda / 2015 / 719 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically introduces the Axiom of Choice, explains Banach-Mazur games and the Axiom of Determinacy, discusses the basic constructions of sets and the interplay of coalgebras and Kripke models for modal logics with...
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoreti...
|
cena:
240,93 |
 |
Die Drei: Ein Streifzug Durch Die Rolle Der Zahl in Kunst, Kultur Und Geschichte
ISBN: 9783662587874 / Niemiecki / Miękka / 2019 / 377 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
187,64 |
 |
Programmieren Mit Python Auf Arabisch Und Deutsch - البرمجة مع بايث
ISBN: 9783662688427 / Niemiecki Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
142,62 |
 |
Haskell
ISBN: 9783486714173 / Niemiecki / Twarda / 2012 / 230 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Haskell gilt als schwer zu lernende Sprache. Das mu nicht sein, wie dieses Buch zeigt. Der Verfasser nimmt die Leser mit auf eine Reise ins Land der funktionalen Programmierung. Er zeigt, da viele aus der objektorientierten Programmierung bekannten Algorithmen und Datenstrukturen knapp, durchsichtig und elegant formuliert werden konnen, ohne an Effizienz oder Verstandlichkeit zu verlieren. Ausfuhrliche Fallstudien begleiten die Einfuhrung in die Sprache wie Sehenswurdigkeiten. Hierzu gehoren die Diskussion der Vignere-Verschlusselung, die Huffman-Codierung, der Algorithmus von Kruskal und die...
Haskell gilt als schwer zu lernende Sprache. Das mu nicht sein, wie dieses Buch zeigt. Der Verfasser nimmt die Leser mit auf eine Reise ins Land der f...
|
cena:
148,17 |
 |
Praktischer Übersetzerbau
ISBN: 9783519022886 / Niemiecki / Miękka / 1990 / 142 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
187,48 |
 |
Einführung in Die Objektorientierte Programmierung Mit Java
ISBN: 9783486253429 / Niemiecki / Twarda / 2002 / 436 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Dieses Lehrbuch fuhrt Anfanger schrittweise in die allgemeinen Konzepte des strukturierten und objektorientierten Programmierens ein. Die praktische Anwendung der Konzepte erfolgt anhand von Beispielentwicklungen in der Programmiersprache Java. Der Leser erwirbt so gleichermaen Fahigkeiten im konzeptionellen wie im programmiersprachlichen Bereich. Die vorgestellten Beispiele realisieren Algorithmen und Datenstrukturen aus den Bereichen Suchen, Sortieren und der Analyse von Graphen. Die Implementierungen setzen die softwaretechnischen Prinzipien der Kapselung und Abschottung um und... Dieses Lehrbuch fuhrt Anfanger schrittweise in die allgemeinen Konzepte des strukturierten und objektorientierten Programmierens ein. Die praktisch... |
cena:
529,71 |
 |
Software Prototyping Mit Setl
ISBN: 9783519022725 / Niemiecki / Miękka / 1989 / 229 str. Termin realizacji zamówienia: ok. 22 dni roboczych. wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der disk: reten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vOIhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Back tracking. Die DRSL erlaubt die Deldaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeldaration in Sprachen wie Pascal); sie ist in der gegenwartigen Fonn nicht besonders nUtzlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software...
wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der disk: reten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund ste...
|
cena:
187,48 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
