Domain stehkreuz.de kaufen?
Wir ziehen mit dem Projekt
stehkreuz.de um.
Sind Sie am Kauf der Domain
stehkreuz.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain stehkreuz.de kaufen?
Logic, Rewriting, and Concurrency, Fachbücher von Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Das Buch "Logic, Rewriting, and Concurrency" ist eine Festschrift, die 28 begutachtete Beiträge umfasst, die zu Ehren von José Meseguer anlässlich seines 65. Geburtstags zusammengestellt wurden. Diese Beiträge stammen von engen Mitarbeitern und Freunden und wurden während eines Symposiums an der University of Illinois at Urbana-Champaign präsentiert. Das Werk enthält persönliche Erinnerungen, Essays sowie reguläre Forschungsarbeiten, die die Vielfalt und Tiefe der wissenschaftlichen Beiträge von Meseguer widerspiegeln. Neben den Fachartikeln bietet das Buch auch einen Überblick über einige seiner bedeutendsten wissenschaftlichen Errungenschaften sowie eine Bibliographie seiner veröffentlichten Arbeiten. Die Beiträge decken verschiedene Aspekte der Logik, des Rewriting und der Nebenläufigkeit ab und sind in englischer Sprache verfasst.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Rewriting Logic and Its Applications, Fachbücher von Santiago Escobar
"Rewriting Logic and Its Applications" ist eine umfassende Sammlung von Forschungsergebnissen, die aus dem 10. Internationalen Workshop zu diesem Thema hervorgegangen sind. Die Veranstaltung fand im März 2014 in Grenoble, Frankreich, statt und diente als Satellitenereignis der ETAPS 2014. In diesem Buch sind 13 überarbeitete Volltexte sowie 3 eingeladene Beiträge enthalten, die aus 21 eingereichten Arbeiten ausgewählt wurden. Die behandelten Themen decken ein breites Spektrum ab, darunter die Grundlagen und Modelle der Rewriting-Logik, die Entwicklung von Sprachen, die auf dieser Logik basieren, sowie deren Anwendung als logisches und semantisches Rahmenwerk. Darüber hinaus wird die Rewriting-Logik als rigorose Unterstützung für modellbasierte Softwaretechnik und in der Spezifikation und Analyse verteilter und physikalischer Systeme untersucht. Die sorgfältige Überprüfung und Auswahl der Beiträge gewährleistet eine hohe wissenschaftliche Qualität und Relevanz.
51,36 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Logic-Rewriting-and-Concurrency
Top-Angebote
Produkte zum Begriff Logic-Rewriting-and-Concurrency:
-
Rewriting Logic and Its Applications, Fachbücher von Kazuhiro Ogata, Narciso Martí-Oliet"Rewriting Logic and Its Applications" ist eine Sammlung von überarbeiteten und ausgewählten Beiträgen aus den begutachteten Tagungsakten des 15. Internationalen Workshops zu diesem Thema, der im April 2024 in Luxemburg stattfand. Das Buch umfasst 11 vollständige Artikel, die aus 16 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die behandelten Themen reichen von den Grundlagen der Rewriting-Logik über deren Anwendung als logisches und semantisches Framework bis hin zu spezifischen Rewriting-Sprachen und Verifikationstechniken. Diese Publikation richtet sich an Fachleute und Studierende im Bereich Technik und IT, die sich für die theoretischen und praktischen Aspekte der Rewriting-Logik interessieren. Die Beiträge bieten wertvolle Einblicke in aktuelle Entwicklungen und Anwendungen in diesem dynamischen Forschungsfeld.62,05 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Rewriting Logic and Its Applications, Fachbücher von Narciso Martí-Oliet, Santiago Escobar"Rewriting Logic and Its Applications" ist eine Sammlung ausgewählter Arbeiten, die im Rahmen des 12. Internationalen Workshops zu diesem Thema, WRLA 2020, präsentiert wurden. Der Workshop fand im April 2020 in Dublin, Irland, statt und wurde aufgrund der COVID-19-Pandemie virtuell durchgeführt. In diesem Band sind 11 vollständige Beiträge enthalten, die aus 16 eingereichten Arbeiten sorgfältig ausgewählt wurden. Rewriting Logic stellt ein natürliches Modell der Berechnung dar und bietet einen ausdrucksstarken semantischen Rahmen für Konzepte wie Parallelität, Kommunikation und Interaktion. Diese Logik kann zur Spezifikation einer Vielzahl von Systemen und Programmiersprachen in unterschiedlichen Anwendungsbereichen eingesetzt werden. Das Buch richtet sich an Fachleute und Studierende, die sich mit den theoretischen und praktischen Aspekten der Rewriting-Logik auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads, Taschenbuch von Kay Robbins,Steve Robbins,Unix Systems Programming: Communication, Concurrency And Threads: Communication, Concurrency And Threads, Taschenbuch Von Kay Robbins,steve Robbins, Pearson Education Limited, 978-0-13-442407-1, Seitenanzahl: 91281,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Term Rewriting and Applications, Fachbücher von Franz BaaderDas Fachbuch "Term Rewriting and Applications" von Franz Baader bietet eine umfassende Einführung in die Theorie und Praxis des Term-Rewriting. Es behandelt grundlegende Konzepte und Techniken, die in der Informatik und Technik von Bedeutung sind. Mit einem klar strukturierten Ansatz und zahlreichen Beispielen ermöglicht das Buch den Leser*innen, die Prinzipien des Term-Rewriting zu verstehen und anzuwenden. Die 422 Seiten umfassende Publikation ist in englischer Sprache verfasst und richtet sich an Studierende sowie Fachleute im Bereich Informatik. Der kartonierte Einband sorgt für eine angenehme Handhabung und Langlebigkeit. Die Inhalte sind sowohl theoretisch fundiert als auch praxisorientiert, was das Buch zu einer wertvollen Ressource für alle macht, die sich mit diesem Thema auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Application and Theory of Petri Nets and Concurrency, Fachbücher von Daniel Moldt, Fabrice Kordon
Das Buch "Application and Theory of Petri Nets and Concurrency" dokumentiert die Proceedings der 37. Internationalen Konferenz zu Petri-Netzen und Parallelität, die im Juni 2016 in Torun, Polen, stattfand. Diese Konferenz vereinte Experten aus der ganzen Welt, um aktuelle Forschungsergebnisse und Entwicklungen im Bereich der Petri-Netze und der Theorie der Parallelität zu diskutieren. In diesem Band sind 16 sorgfältig ausgewählte Beiträge enthalten, darunter drei Tool-Papiere und vier eingeladene Vorträge, die aus insgesamt 42 eingereichten Arbeiten ausgewählt wurden. Die enthaltenen Artikel bieten wertvolle Einblicke in die Anwendung und Theorie von Petri-Netzen sowie in verwandte Themen der verteilten und parallelen Systeme. Diese Sammlung ist eine bedeutende Ressource für Forscher und Praktiker, die sich mit den Herausforderungen und Fortschritten in diesem dynamischen Forschungsfeld befassen.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Application and Theory of Petri Nets and Concurrency, Fachbücher von Elvio Amparore, Łukasz Mikulski
Das Buch 'Application and Theory of Petri Nets and Concurrency' präsentiert die Ergebnisse der 46. Internationalen Konferenz zu Petri-Netzen und Nebenläufigkeit, die im Juni 2025 in Paris stattfand. Es umfasst 21 ausführliche Fachbeiträge sowie einen Kurzbeitrag, die aus 48 Einreichungen sorgfältig ausgewählt wurden. Die enthaltenen Arbeiten befassen sich mit verschiedenen Aspekten der Petri-Netze, darunter Komposition, Synthese, Workflow-Netze, Prozessmining, Modellprüfung, Kommunikation und Nebenläufigkeit sowie zeit- und stochastische Petri-Netze. Zusätzlich enthält das Buch einen eingeladenen Vortrag in voller Länge, der einen umfassenden Einblick in die aktuellen Entwicklungen und Anwendungen der Theorie bietet. Die Beiträge wurden von Experten begutachtet und bieten sowohl theoretische als auch praktische Perspektiven, die für Forscher und Praktiker im Bereich der Informatik von Interesse sind. Die sorgfältige Auswahl und die Vielfalt der Themen machen dieses Werk zu einer wertvollen Ressource für alle, die sich mit den Grundlagen und Anwendungen von Petri-Netzen auseinandersetzen möchten.
85,59 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Logic-Rewriting-and-Concurrency:
-
Logic, Rewriting, and Concurrency, Fachbücher von Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn TalcottDas Buch "Logic, Rewriting, and Concurrency" ist eine Festschrift, die 28 begutachtete Beiträge umfasst, die zu Ehren von José Meseguer anlässlich seines 65. Geburtstags zusammengestellt wurden. Diese Beiträge stammen von engen Mitarbeitern und Freunden und wurden während eines Symposiums an der University of Illinois at Urbana-Champaign präsentiert. Das Werk enthält persönliche Erinnerungen, Essays sowie reguläre Forschungsarbeiten, die die Vielfalt und Tiefe der wissenschaftlichen Beiträge von Meseguer widerspiegeln. Neben den Fachartikeln bietet das Buch auch einen Überblick über einige seiner bedeutendsten wissenschaftlichen Errungenschaften sowie eine Bibliographie seiner veröffentlichten Arbeiten. Die Beiträge decken verschiedene Aspekte der Logik, des Rewriting und der Nebenläufigkeit ab und sind in englischer Sprache verfasst.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Rewriting Logic and Its Applications, Fachbücher von Santiago Escobar"Rewriting Logic and Its Applications" ist eine umfassende Sammlung von Forschungsergebnissen, die aus dem 10. Internationalen Workshop zu diesem Thema hervorgegangen sind. Die Veranstaltung fand im März 2014 in Grenoble, Frankreich, statt und diente als Satellitenereignis der ETAPS 2014. In diesem Buch sind 13 überarbeitete Volltexte sowie 3 eingeladene Beiträge enthalten, die aus 21 eingereichten Arbeiten ausgewählt wurden. Die behandelten Themen decken ein breites Spektrum ab, darunter die Grundlagen und Modelle der Rewriting-Logik, die Entwicklung von Sprachen, die auf dieser Logik basieren, sowie deren Anwendung als logisches und semantisches Rahmenwerk. Darüber hinaus wird die Rewriting-Logik als rigorose Unterstützung für modellbasierte Softwaretechnik und in der Spezifikation und Analyse verteilter und physikalischer Systeme untersucht. Die sorgfältige Überprüfung und Auswahl der Beiträge gewährleistet eine hohe wissenschaftliche Qualität und Relevanz.51,36 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Rewriting Logic and Its Applications, Fachbücher von Kazuhiro Ogata, Narciso Martí-Oliet"Rewriting Logic and Its Applications" ist eine Sammlung von überarbeiteten und ausgewählten Beiträgen aus den begutachteten Tagungsakten des 15. Internationalen Workshops zu diesem Thema, der im April 2024 in Luxemburg stattfand. Das Buch umfasst 11 vollständige Artikel, die aus 16 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die behandelten Themen reichen von den Grundlagen der Rewriting-Logik über deren Anwendung als logisches und semantisches Framework bis hin zu spezifischen Rewriting-Sprachen und Verifikationstechniken. Diese Publikation richtet sich an Fachleute und Studierende im Bereich Technik und IT, die sich für die theoretischen und praktischen Aspekte der Rewriting-Logik interessieren. Die Beiträge bieten wertvolle Einblicke in aktuelle Entwicklungen und Anwendungen in diesem dynamischen Forschungsfeld.62,05 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Rewriting Logic and Its Applications, Fachbücher von Narciso Martí-Oliet, Santiago Escobar"Rewriting Logic and Its Applications" ist eine Sammlung ausgewählter Arbeiten, die im Rahmen des 12. Internationalen Workshops zu diesem Thema, WRLA 2020, präsentiert wurden. Der Workshop fand im April 2020 in Dublin, Irland, statt und wurde aufgrund der COVID-19-Pandemie virtuell durchgeführt. In diesem Band sind 11 vollständige Beiträge enthalten, die aus 16 eingereichten Arbeiten sorgfältig ausgewählt wurden. Rewriting Logic stellt ein natürliches Modell der Berechnung dar und bietet einen ausdrucksstarken semantischen Rahmen für Konzepte wie Parallelität, Kommunikation und Interaktion. Diese Logik kann zur Spezifikation einer Vielzahl von Systemen und Programmiersprachen in unterschiedlichen Anwendungsbereichen eingesetzt werden. Das Buch richtet sich an Fachleute und Studierende, die sich mit den theoretischen und praktischen Aspekten der Rewriting-Logik auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Logic-Rewriting-and-Concurrency
-
UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads, Taschenbuch von Kay Robbins,Steve Robbins,Unix Systems Programming: Communication, Concurrency And Threads: Communication, Concurrency And Threads, Taschenbuch Von Kay Robbins,steve Robbins, Pearson Education Limited, 978-0-13-442407-1, Seitenanzahl: 91281,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Term Rewriting and Applications, Fachbücher von Franz BaaderDas Fachbuch "Term Rewriting and Applications" von Franz Baader bietet eine umfassende Einführung in die Theorie und Praxis des Term-Rewriting. Es behandelt grundlegende Konzepte und Techniken, die in der Informatik und Technik von Bedeutung sind. Mit einem klar strukturierten Ansatz und zahlreichen Beispielen ermöglicht das Buch den Leser*innen, die Prinzipien des Term-Rewriting zu verstehen und anzuwenden. Die 422 Seiten umfassende Publikation ist in englischer Sprache verfasst und richtet sich an Studierende sowie Fachleute im Bereich Informatik. Der kartonierte Einband sorgt für eine angenehme Handhabung und Langlebigkeit. Die Inhalte sind sowohl theoretisch fundiert als auch praxisorientiert, was das Buch zu einer wertvollen Ressource für alle macht, die sich mit diesem Thema auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Application and Theory of Petri Nets and Concurrency, Fachbücher von Daniel Moldt, Fabrice KordonDas Buch "Application and Theory of Petri Nets and Concurrency" dokumentiert die Proceedings der 37. Internationalen Konferenz zu Petri-Netzen und Parallelität, die im Juni 2016 in Torun, Polen, stattfand. Diese Konferenz vereinte Experten aus der ganzen Welt, um aktuelle Forschungsergebnisse und Entwicklungen im Bereich der Petri-Netze und der Theorie der Parallelität zu diskutieren. In diesem Band sind 16 sorgfältig ausgewählte Beiträge enthalten, darunter drei Tool-Papiere und vier eingeladene Vorträge, die aus insgesamt 42 eingereichten Arbeiten ausgewählt wurden. Die enthaltenen Artikel bieten wertvolle Einblicke in die Anwendung und Theorie von Petri-Netzen sowie in verwandte Themen der verteilten und parallelen Systeme. Diese Sammlung ist eine bedeutende Ressource für Forscher und Praktiker, die sich mit den Herausforderungen und Fortschritten in diesem dynamischen Forschungsfeld befassen.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Application and Theory of Petri Nets and Concurrency, Fachbücher von Elvio Amparore, Łukasz MikulskiDas Buch 'Application and Theory of Petri Nets and Concurrency' präsentiert die Ergebnisse der 46. Internationalen Konferenz zu Petri-Netzen und Nebenläufigkeit, die im Juni 2025 in Paris stattfand. Es umfasst 21 ausführliche Fachbeiträge sowie einen Kurzbeitrag, die aus 48 Einreichungen sorgfältig ausgewählt wurden. Die enthaltenen Arbeiten befassen sich mit verschiedenen Aspekten der Petri-Netze, darunter Komposition, Synthese, Workflow-Netze, Prozessmining, Modellprüfung, Kommunikation und Nebenläufigkeit sowie zeit- und stochastische Petri-Netze. Zusätzlich enthält das Buch einen eingeladenen Vortrag in voller Länge, der einen umfassenden Einblick in die aktuellen Entwicklungen und Anwendungen der Theorie bietet. Die Beiträge wurden von Experten begutachtet und bieten sowohl theoretische als auch praktische Perspektiven, die für Forscher und Praktiker im Bereich der Informatik von Interesse sind. Die sorgfältige Auswahl und die Vielfalt der Themen machen dieses Werk zu einer wertvollen Ressource für alle, die sich mit den Grundlagen und Anwendungen von Petri-Netzen auseinandersetzen möchten.85,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.