Search results for "Beweis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Rüdiger Grimm, Peter Ochsenschläger	Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell
31	Maren Wöbbeking	LAG Köln: Beweis des Zugangs einer E‑Mail.	Comput. und Recht	2022	DBLP DOI BibTeX RDF
31	Christian Heinze, Gabriel Prado Ojea	Der Beweis mit privaten elektronischen Dokumenten nach ZPO und eIDAS-VO.	Comput. und Recht	2018	DBLP DOI BibTeX RDF
31	Silke Jandt, Tatami Michalek, Kai Dietrich	Wie hoch ist der (Beweis-) Wert digitaler Dokumente?	Datenschutz und Datensicherheit	2015	DBLP DOI BibTeX RDF
31	Eva Weis	Beweis- und eichrechtliche Aspekte in Bezug auf Elektrofahrzeuge im Smart Grid.	GI-Jahrestagung	2011	DBLP BibTeX RDF
31	Frank Pallas, Oliver Raabe, Eva Weis	Beweis- und eichrechtliche Aspekte der Elektromobilität.	Computer und Recht	2010	DBLP DOI BibTeX RDF
31	Christoph Lüth	Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
31	Michael Deutsch 0001	Ein neuer Beweis und eine Verschärfung für den Reduktionstyp ∀∃∀∞(0, 1) mit einer Anwendung auf die spektrale Darstellung von Prädikaten.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
31	Dietlinde Lau	Ein neuer Beweis für Rosenberg's Vollständigkeitskriterium.	J. Inf. Process. Cybern.	1992	DBLP BibTeX RDF
31	Marlies Reschke, Klaus Denecke	Ein neuer Beweis für die Ergebnisse von E. L. Post über abgeschlossene Klassen Boolescher Funktionen.	J. Inf. Process. Cybern.	1989	DBLP BibTeX RDF
31	Michael Deutsch 0001	Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1).	Math. Log. Q.	1986	DBLP DOI BibTeX RDF
31	Kurt Wolfsdorf	Der Beweis eines Satzes von G. Choodnovsky.	Arch. Math. Log.	1980	DBLP DOI BibTeX RDF
31	Herbert Klaeren	Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.	Automata Theory and Formal Languages	1975	DBLP DOI BibTeX RDF
31	Klemens Döpp	Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
31	K. Spremann	Ein funktionalanalytischer Beweis des Maximumprinzips von Pontrjagin und dessen Verwendung zur Herleitung der Politikiteration von Howard.	Computing	1972	DBLP DOI BibTeX RDF
31	Wilhelm K. Essler	Ein nichtkonstruktiver Beweis des ersten ε-theorems.	Notre Dame J. Formal Log.	1970	DBLP DOI BibTeX RDF
31	Erwin Straub	Zu einem Beweis von B. Fox im Spezialfall der Dynamischen Programmierung.	Unternehmensforschung	1968	DBLP DOI BibTeX RDF
31	Gisbert Hasenjaeger	Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe.	J. Symb. Log.	1953	DBLP DOI BibTeX RDF
23	Ulrich H. W. Krause, Markus Nagel, Rainer Seibel	IGS (Image Guided Surgery) - Phantomversuche und erste klinische Erfahrungen mit einem neuartigen CT-basierten Navigationssystem.	Bildverarbeitung für die Medizin	2006	DBLP DOI BibTeX RDF
23	Jörg Rothe	Kryptographische Protokolle und Null-Information.	Inform. Spektrum	2002	DBLP DOI BibTeX RDF	Public-Key-Kryptosysteme, Protokolle für Schlüsseltausch und digitale Signaturen, Einwegfunktionen, Zero-Knowledge-Protokolle, interaktive Beweissysteme
23	Jürg Nievergelt	Zur Diskussion Gestellt: "Roboter programmieren" - ein Kinderspiel, Bewegt sich auch etwas in der Allgemeinbildung?	Inform. Spektrum	1999	DBLP DOI BibTeX RDF
23	Ralf Hiptmair, Thomas Schiekofer, Barbara I. Wohlmuth	Multilevel Preconditioned Augmented Lagrangian Techniques for 2ndMixed Problems.	Computing	1996	DBLP DOI BibTeX RDF	Augmented Lagrangian algorithm, multilevel preconditioners, mixed finite elements, saddle point problems
23	P. J. J. Ferket, Arnold Reusken	Further Analysis of the Local Defect Correction Method.	Computing	1996	DBLP DOI BibTeX RDF	Local defect correction, fast adaptive composite grid method
23	Dirk Adam, Andreas Felgenhauer, Hans-Görg Roos, Martin Stynes	A Nonconforming Finite Element Method for a Singularly Petrurbed Boundary Value Problem.	Computing	1995	DBLP DOI BibTeX RDF	finite element method, Singular perturbation, uniform convergence
23	Harry Yserentant	On the convergence of multi-level methods for strongly nonuniform families of grids and any number of smoothing steps per level.	Computing	1983	DBLP DOI BibTeX RDF	multi-level methods, nonuniform grids, Finite elements
23	Hans-Georg Stork	A theorem on linear diophantine equations and the paging-complexity of loop-chains.	Computing	1976	DBLP DOI BibTeX RDF
23	Helmuth Späth	Exponential spline interpolation.	Computing	1969	DBLP DOI BibTeX RDF