Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000121269437 | 1 hits
Person
ISNI: 
0000 0001 2126 9437
Name: 
Meinel, C.
Meinel, Ch
Meinel, Chr
Meinel, Christoph
Meinel, Christopher
Dates: 
1954-
Creation class: 
Language material
lm
Text
Creation role: 
author
contributor
creator
editor
Related names: 
Berlin, Humboldt-Univ
Bern, Jochen
Engel, Thomas
Haffner, Ernst-Georg (1966-)
Morvan, Michel
Mundhenk, Martin (1961-)
Plattner, Hasso (1944-)
Sack, Harald (1965-)
Schillings, Volker
Slobodová, Anna
Theobald, Thorsten (1971-)
Tison, Sophie
Universität Potsdam
Weinberg, Ulrich (1958- ))
Titles: 
Algorithmen und Datenstrukturen im VLSI-design.
Design Thinking : Innovation lernen - Ideenwelten öffnen
Design thinking research : studying co-creation in practice
Dritter Deutscher IPv6-Gipfel 2010
E-librarian service user friendly semantic search in digital libraries
Effiziente Algorithmen
Electronic Colloquium on Computational Complexity, The
Entwicklung der Informatik braucht Theorie und Praxis ein Fallbeispiel aus dem CAD-Schaltkreisentwurf, Die
Fallbeispiel: Einsatz des SDS in der öffentlichen Verwaltung
Flood-Gates statt Firewall eine "High-security"-Lösung zum sicheren Datentausch zwischen Internet und Intranet
Function decomposition and synthesis using linear sifting
Global rebuilding of OBDD's tunelling memory requirement maxima
IDDS an interactive decentralized documentation system
Improving XOR-node placement for ⊕-OBDDs
Information security in diverse computing environments
Integration der Schleusentechnologie Lock-Keeper in moderne Sicherheitsarchitekturen
Internet-Technologie in der Medizin
Internetbasiertes Arztbriefsystem
Internetworking technische Grundlagen und Anwendungen
Internetworking technological foundations and applications
Local encoding transformations for optimizing OBDD-representations of finite state machines
Lock-Keeper-Architektur sicherer Schutz gegen Online-Attacken aus dem Internet, Die
Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
Möbius function, variations ranks and (n)-bounds on the modular communication complexity of the undirected graph connectivity problem, The
Mod 2 OBDD's a generalization of OBDD's and EXOR sum of products
Modified branching programs and their computational power
Modular partitioning for improvement of image computation
necessity of a public key infrastructure for a virtual university, The
(nonuniform) and NL (nonuniform), L
OBDD based verification of communication protocols - methods for the verification of data link protocols
OBDD's im CAD-Prozeß geordnete binäre Entscheidungsgraphen - ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise
On the complexity of constructing optimal OBDD's
OpenHPI Ha suo Pu la te na yan jiu yuan de MOOC (da gui mo gong kai zai xian ke) ji hua
OpenHPI the MOOC offer at Hasso Plattner institute
Ordered binary decision diagrams and their significance in computer aided design of VLSI circuits
Ordered binary decision diagrams in electronic design automation foundations, applications and innovations
Proceeding
Proceedings 2013 ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Proceedings of the fall 2010 Future SOC Lab Day
Proceedings of the ... Ph. D. retreat of the HPI Research School on Service-Oriented Systems Engineering
Rudiments of a branching program based complexity theory
Sechster Berlin-München-Trierer Workshop zur Algorithmischen Diskreten Mathematik und Mathematischen Optimierung
Separating complexity classes related to certain input oblivious logarithmic space bounded turing machines
Sicherheit und Vertrauen im Internet eine technische Perspektive
Some heuristics for generating tree like FBDD-types
Speeding up variable reordering of OBDDs
Symbolic simulation of synchronous parallel systems
Techniques for securing networks against criminal attacks reprint of: Proceedings of the "International Conference on Internet Computing", CSREA, IC100, Las Vegas, Nevada, 2000
tele-TASK - teleteaching anywhere solution kit
TeleMedizin neue Informations- und Kommunikationstechnologien im Gesundheitswesen
Theoretical aspects of computer science
TI-jPACS eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung
Über die durch Kodierungen induzierte Hierarchie von Umwelten und Labyrinthen
Umwelten und Automaten in Umwelten
Upper and lower bounds for certain graph accessibility problems on bounded alternating ω-branching programs
virtual machine architecture for creating IT security labs, A
Virtualisierung und Cloud Computing Konzepte, Technologiestudie, Marktübersicht
VisBDD - a web based visualization framework for OBDDs
Was Sie noch nie über Spam wissen wollten, aber gezwungen waren zu erfahren
Wie das Internet funktioniert
WWW.BDD-Portal.ORG an experimentation platform for binary decision diagram algorithms
WWW Kommunikation, Internetworking, Web-Technologien ; mit 106 Tabellen
WWW meets EDA usability evaluation of OBDD heuristics via the Internet, The
Notes: 
Berlin, Humboldt-Univ., Diss. A, 1982
Sources: 
VIAF BNC DNB LC NKC NTA NUKAT SUDOC WKP