Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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
creator
editor
Related names: 
Bern, Jochen
Engel, Thomas
Gergov, Jordan
Haffner, Ernst-Georg (1966-)
Morvan, Michel
Mundhenk, Martin (1961-)
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.
Algorithms and data structures in VLSI-design, c1998:
Algorithms and data structures in VLSI design : OBDD-foundations and applications
Bibliothek des Joachim Jungius ein Beitrag zur Historia litteraria der frühen Neuzeit, Die
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
ECCC 2005
ECCC 2010
Effiziente Algorithmen Entwurf und Analyse
Einführung von IPv6 in Unternehmensnetzen ein Leitfaden
electronic colloquium on computational complexity backup archive of ECCC reports volume 2009, The
electronic colloquium on computational complexity backup archive of ECCC reports volume 2010, The
electronic colloquium on computational complexity (ECCC), The ; a digital library in use
Electronic colloquium on computational complexity research reports 2001
Electronic colloquium on computational complexity research reports 2002
Electronic colloquium on computational complexity research reports 2005
Electronic colloquium on computational complexity research reports 2007
Entwicklung der Informatik braucht Theorie und Praxis ein Fallbeispiel aus dem CAD-Schaltkreisentwurf, Die
Erster Deutscher IPv6-Gipfel
Flood-Gates statt Firewall eine "High-security"-Lösung zum sicheren Datentausch zwischen Internet und Intranet
Function decomposition and synthesis using linear sifting
Geschlechterverhältnisse in Medizin, Naturwissenschaft und Technik
heuristic for _382-OBDD minimization, A
IDDS an interactive decentralized documentation system
Implement role-based access control with attribute certificates
In physicis futurum saeculum respicio Joachim Jungius und die naturwissenschaftliche Revolution des 17. Jahrhunderts
Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering
Internetbasiertes Arztbriefsystem
Linear sifting of decision diagrams
Lock-Keeper-Architektur sicherer Schutz gegen Online-Attacken aus dem Internet, Die
Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung
Medizinische Bildverarbeitung eine Übersicht
Möbius function, variations ranks and (n)-bounds on the modular communication complexity of the undirected graph connectivity problem, The
Mod p decision diagrams a data structure for multiple valued functions
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
note on Möbius functions and the communication complexity of the graph accessibility problem, A
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 testability of circuits derived from binary decision diagrams
OpenHPI das MOOC-Angebot des Hasso-Plattner-Instituts
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
Parallelizing synchronous systems
Patientenreminder
Praelectiones physicae historisch-kritische Edition
Proceeding
Proceedings 2011
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
Schleusentechnologie "Lock-keeper" und ihre Integration in moderne Sicherheitsarchitekturen, Die
Sechster Berlin-München-Trierer Workshop zur Algorithmischen Diskreten Mathematik und Mathematischen Optimierung
Separating completely complexity classes related to polynomial size _W63-decision trees
Separating complexity classes related to certain input oblivious logarithmic space bounded turing machines
Separating the eraser Turing machine classes L_1tne, NL_1tne, co-NL_1tne, and P_1tne
Sicherheitsrisiken und Schwachstellenanlyse von IT-Systemen
SOA security 2010
Some heuristics for generating tree like FBDD-types
Speeding up symbolic model checking by accelerating dynamic variable reordering
Speeding up variable reordering of OBDDs
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings
STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings
State encodings and OBDD sizes
Structural investigations of parallel computing devices
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
Tele-TASK Teleteaching praxistauglich für den Universitätsalltag
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
TI-Trust-Center Eröffnung einer Zertifizierungsstelle in Anlehnung an Signaturgesetz u. Signaturverordnung
Trust-Center Konzeption einer Zertifizierungsstelle nach Signaturgesetz u. Signaturverordnung
Über die durch Kodierungen induzierte Hierarchie von Umwelten und Labyrinthen
Umwelten und Automaten in Umwelten
unifying theoretical background for some BDD based data structures, A
Upper and lower bounds for certain graph accessibility problems on bounded alternating _w63-branching programs
Vierter Deutscher IPv6 Gipfel 2011
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
Zum Entwurf hochintegrierter Spezialschaltkreise
Notes: 
Sources: 
VIAF BNF DNB LC NKC NTA NUKAT SUDOC WKP