1
0
0
News
Informatik mit BlueJ
hj-fels.homepage.t-online.de
Prof. H. Peter Gumm, Marburg, verwendet in seiner Vorlesung Informatik I ebenfalls die Entwicklungsumgebung BlueJ. Einige Projekte der Vorlesung erhält man mit dem Download von BlueJ, andere Projekte der Marburger Vorlesungen enthalten Listen und Bäume.
(PDF) Programmieren und Beweisen Experimente mit dem ...www.academia.edu › Programmieren_und_Beweisen_Experimente_mit_de...
www.academia.edu
Programmieren und Beweisen Experimente mit dem Programmveri zierer NPPV H. Peter Gumm Fachbereich Mathematik und Informatik Philipps Universit at Marburg ...
AiML: News 1999
www.aiml.net
Program Committee: H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Ugo Montanari (Pisa), Larry Moss (Bloomington, IN), Ataru T. Nakagawa (Tokyo), John ...
Netzwerk-Profile
LinkedIn: H. Peter Gumm – Professor – Philipps-Universität Marburg | LinkedIn
Sehen Sie sich das Profil von H. Peter Gumm auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 3 Jobs sind im Profil von H. Peter Gumm aufgelistet.
LinkedIn: H. Peter Gumm | LinkedIn
Sehen Sie sich das berufliche Profil von H. Peter Gumm (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
Business-Profile
H. GUMM | Professor | Dr. rer. nat. habil. | Philipps University...
www.researchgate.net
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text.
Ausbildung
Algorithmen und Datenstrukturen (SS 2007)
www.infosun.fim.uni-passau.de
... V. Heun, Grundlegende Algorithmen, Vieweg, ST 134 H593; H. Gumm, M. Sommer: Einführung in die Informatik, Oldenbourg, ST 110 G
Projekte
[Hol-info] CMCS 2016: Last Call for Participation (with Programme) |...
sourceforge.net
Mehdi Zarrad and H. Peter Gumm. Transitivity and Difunctionality of Bisimulations Joost Winter. Product Rules and Distributive Laws Luigi ...
hol-info Mailing List for HOL theorem-proving system
sourceforge.net
Nova de Lisboa) Peter Szeredi (Budapest Univ. of Tech.) Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. Peter Gumm, University of ...
Bücher
Taylor & Francis Online
www.tandfonline.com
von G Klambauer · · Zitiert von: 1 — H. Peter Gumm, A new class of check-digit methods for arbitrary number systems, IEEE Transac- tions on Information Theory, 31(1985) H. Peter Gumm ...
Biblio
www.biblio.com
Find the best prices on Geometrical Methods in Congruence Modular Algebras (Memoirs of the American Mathematical Society) by H. Peter Gumm at BIBLIO ,01 $
The Institute of Mathematical Sciences
library.imsc.res.in
Geometrical methods in congruence modular algebras / [electronic resource] H. Peter Gumm. By: Gumm, H. Peter (Heinz Peter), Material type: Text ...
AbeBooks: HEINZ PETER GUMM - AbeBooks
Einführung in die Informatik von Heinz-Peter Gumm und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich auf AbeBooks.de.
Dokumente zum Namen
arXivhttps://arxiv.org › math[ ] Connected monads weakly preserve products
arxiv.org
von HP Gumm · · Zitiert von: 2 — Authors:H. Peter Gumm. Download a PDF of the paper titled Connected monads weakly preserve products, by H. Peter Gumm. Download PDF. Abstract ...
ACM Digital Library
dl.acm.org
— Copower functors. Author: H. Peter Gumm. Philipps-Universität Marburg, Hans Meerwein Strasse, Marburg, Germany. Philipps-Universität ...
arXivhttps://arxiv.org › math[ ] Free-algebra functors from a coalgebraic perspective
arxiv.org
von HP Gumm · · Zitiert von: 2 — Authors:H. Peter Gumm. Download a PDF of the paper titled Free-algebra functors from a coalgebraic perspective, by H. Peter Gumm. Download PDF.
Biblioteka Nauki
bibliotekanauki.pl
von H Gumm · · Zitiert von: 3 — H. Peter Gumm. Philipps-University Marburg. Faculty of Mathematics and Computer Science. Mehrzweckgeb. Marburg, Germany. Abstract. We ...
Wissenschaftliche Veröffentlichungen
ScienceDirect.com
www.sciencedirect.com
von HP Gumm · · Zitiert von: 53 — ... Science. Articles. Monoid-labeled transition systems. Author links open overlay panel. H. Peter Gumm , Tobias Schröder. Show more. Add to Mendeley. Share.
jstorhttps://www.jstor.org › stableModular Arithmetic in the Marketplace
www.jstor.org
von JA Gallian · · Zitiert von: 31 — H. Peter Gumm, A new class of check-digit methods for arbitrary number systems, IEEE Transac- tions on Information Theory, 31(1985) H. Peter Gumm ...
Justus-Liebig-Universität Gießen
www.informatik.uni-giessen.de
... H. Peter Gumm (Marburg), Norbert Gutleben (Cottbus), Markus Holzer (Tübingen), Martin Hühne (Dortmund), Klaus P. Jantke (Leipzig), Matthias Jantzen (Hamburg) ...
Archive ouverte HAL
hal.science
von M Zarrad · — ... H. Peter Gumm. Transitivity and Difunctionality of Bisimulations. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr
Veröffentlichungen allgemein
Topology Atlas
at.yorku.ca
H. Peter Gumm Philipps-Universität Marburg. The famous result of Hennessy and Milner for modal logic on Kripke structures can, after work of Pattinson and ...
Springer
link.springer.com
von HP Gumm · · Zitiert von: 42 — H. Peter Gumm. Present address: Fachbereich Mathematik, Technische HochschuleD-6100, ...
ResearchGate
www.researchgate.net
Request PDF | Distributivity of Categories of Coalgebras H. Peter Gumm | We prove that for any F the category of F -coalgebras is distributive if F ...
Video & Audio
PALS , H. Peter Gumm - YouTubewww.youtube.com › watch
www.youtube.com
· PALS , H. Peter Gumm. 34 views · 2 minutes ago ...more. Keith Kearnes Dauer: 1:07:44Gepostet:
Norbert Grossmann on Vimeovimeo.com › Rainer Lind › Videos
vimeo.com
· Prof. H. Peter Gumm · Anton Kaun · Lina Zehelein · Vogelsberg · Vogelsberg, November ...Dauer: 7:18Gepostet:
Keith Kearnes - YouTubewww.youtube.com › channel
www.youtube.com
... channel. Subscribe. Home. Videos. Search. Videos · 1:07:44. PALS , H. Peter Gumm. 36 views. 4 weeks ago · 58:58 · PALS , H. Peter Gumm
Artikel & Meinungen
Google Groups: Google Groups
I need to stop my Linux box by terminating it in VirtualBox. Here is a typical screenshot. Greetings,. H. Peter Gumm. Paolo Masci's profile photo. Paolo Masci.
Wikipedia: Verhoeff algorithm - Wikipediaen.wikipedia.org › wiki › Verhoeff_algorithm
The method was independently discovered by H. Peter Gumm in 1985, this time including a formal proof and an extension to any base. Contents. 1 Goals;
Wikipedia: Entrekursivierung – Wikipedia
Institut für Wirtschaftsinformatik und Software Engineering der Universität Linz; abgerufen am 17. Juni Hochspringen ↑ H. Peter Gumm: Programmieren ...
Wikipedia: VxD – Wikipedia
Literatur[Bearbeiten]. H. Gumm, M. Sommer: Einführung in die Informatik. Oldenbourg, München, Wien ISBN
Sonstiges
IFIP Digital Library
dl.ifip.org
H. Peter Gumm , Mehdi Zarrad. 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp
American Mathematical Society
bookstore.ams.org
H. Peter Gumm. Geometrical Methods in Congruence Modular Algebras. eBook. eBook ISBN:
Bayerische Staatsbibliothek
opacplus.bsb-muenchen.de
H. Peter Gumm. American Mathematical Society · Geometrical methods in congruence modular algebras. H. Peter Gumm · Einführung in die Informatik. von Heinz Peter ...
Chapman University
www1.chapman.edu
H. Peter Gumm (University of Marburg, Germany). Introduction to Universal Co-Algebra and Theoretical Computer Science. Part 2: Advanced courses, Tutorials and ...
DM-GAA
www.dmgaa.uz.zgora.pl
H. Peter Gumm. Philipps-University Marburg. Faculty of Mathematics and Computer Science. Mehrzweckgeb. Marburg, Germany. Abstract. We ...
EarthLine Publishers
earthlinepublishers.com
von BRA Mbarga · · Zitiert von: 6 — H. Peter Gumm, The little Desarguesian theorem for algebras in modular varieties, Proc. Amer. Math. Soc. 80(3) (1980), D. Rodelo and ...
EuDMLhttps://eudml.org › docOn coalgebras and type transformations
eudml.org
von HP Gumm · · Zitiert von: 3 — ... H. Peter Gumm · Discussiones Mathematicae - General Algebra and Applications (2007). Volume: 27, Issue: 2, page ; ISSN: Access Full Article.
FvS-Lernen
www.fvs-lernen.de
©H. Peter Gumm, Philipps-Universität Marburg. Praktische Informatik I. Algorithmen. ▫. Algorithmen sind Handlungsanweisungen. □ beispielsweise um ein Essen zu ...
Marc.info
marc.info
... H. Peter Gumm" Date: :15:23 Message-ID: 4B2F58CB () mathematik ! uni-marburg ! de [Download RAW ...
NASA/ADS
ui.adsabs.harvard.edu
... Modular Algebras, by H. Peter Gumm 3. Congruence Modular Varieties: Commutator Theory and Its Uses, by Ralph McKenzie and John Snow.
OA.mghttps://oa.mg › workProducts of coalgebras
oa.mg
Read and download Products of coalgebras by H. Peter Gumm, Tobias Schröder on OA.mg.
Penn State University Libraries Catalog
catalog.libraries.psu.edu
Geometrical methods in congruence modular algebras [electronic resource] / H. Peter Gumm. Author: Gumm, H. Peter (Heinz Peter), ; Published: Providence ...
Semantic Scholar
www.semanticscholar.org
... H. Peter Gumm and Tobias Schr{\"o}der}, booktitle={International Workshop on Coalgebraic Methods in Computer Science}, year={2000}, url={https://api ...
Tartu Ülikool
kodu.ut.ee
H. Peter Gumm (Marburg). REASONING ABOUT STATE BASED SYSTEMS USING COINDUCTION AND CORECURSION. State based systems abound in Computer Science. Automata ...
University of Colorado Boulder
math.colorado.edu
Panglobal Algebra and Logic Seminar. schedule · about · H. Peter Gumm (Philipps University Marburg, Germany), Lucid reasons behind balanced identities. Tue,
University of Houston
www.math.uh.edu
H. Peter Gumm, Christian Herrmann Algebras in Modular Varieties: Baer Refinements, Cancellation and Isotopy, pp Peter Kohler Quasi-Decompositions ...
University of Ottawa
www.site.uottawa.ca
Next: Algorithm = Data Structure. Generating Algebraic Laws from Imperative Programs. H. Peter Gumm. Abstract: The use of verifiers for proving the ...
University of Southampton
web-archive.southampton.ac.uk
H. Peter Gumm (co-chair), Philipps University Marburg, D; Rolf Hennicker, Ludwig-Maximilians-University Munich, D; Bart Jacobs, Radboud University Nijmegen ...
Université Grenoble Alpes
beluga.univ-grenoble-alpes.fr
Geometrical methods in congruence modular algebras / H. Peter Gumm Disponible à Bibliothèque Jean-Pierre Demailly, Institut Fourier Salle Recherche, ...
cs.ioc.ee
cs.ioc.ee
H. Peter Gumm. FB Mathematik, FG Informatik Philipps Universitaet Marburg. Universal Coalgebra: A theory of state based systems. Abstract. Universal coalgebra ...
Verwandte Suchanfragen zu H. Peter Gumm
Tobias Schröder Heinz Peter Gumm Manfred Sommer | Heinz Peter Mehdi Zarrad Alexander Kurz | Luís Monteiro John Power |
Personen Vorname "Peter" (123603) Name "Gumm" (131) |
sortiert nach Relevanz / Datum