Search Results - Meinel, Christoph
Christoph Meinel

- Showing 1 – 20 results of 209
- Go to Next Page
-
1Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine EinführungPublished 2015Call Number: Loading…Read online
Located: Loading…
Table of Contents
Electronic eBook Loading… -
2E-Librarian Service: user-friendly semantic search in digital librariesPublished 2011Call Number: Loading…Table of Contents
Located: Loading…
Book Loading… -
3Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen ; eine EinführungPublished 2009Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
4Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine EinführungPublished 2002Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
5Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und AnwendungenPublished 1998Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
6Speeding up variable reordering of OBDDsPublished 1996Call Number: Loading…
Located: Loading…Book Loading… -
7Die Entwicklung der Informatik braucht Theorie und Praxis: ein Fallbeispiel aus dem CAD-SchaltkreisentwurfPublished 1995Call Number: Loading…
Located: Loading…Book Loading… -
8Combinational logic verification with FBDDsPublished 1993Call Number: Loading…
Located: Loading…Book Loading… -
9Efficient Boolean manipulation with OBDD's can be extended to FBDD'sPublished 1993Call Number: Loading…
Located: Loading…Book Loading… -
10A note on Möbius functions and the communication complexity of the graph-accessibility-problemPublished 1992Call Number: Loading…
Located: Loading…Book Loading… -
11Upper and lower bounds for certain graph-accessibility-problems on bounded alternating omega-branching programsPublished 1992Call Number: Loading…
Located: Loading…Book Loading… -
12Analysis and manipulation of Boolean functions in terms of decision graphsPublished 1992Call Number: Loading…
Located: Loading…Book Loading… -
13Efficient analysis and manipulation of OBDDs can be extended to read-once-only branching programsPublished 1992Call Number: Loading…
Located: Loading…Book Loading… -
14Modified branching programs and their computational powerPublished 1989Call Number: Loading…
Located: Loading…Thesis/Dissertation Book Loading… -
15Effiziente AlgorithmenPublished 1984Call Number: Loading…
Located: Loading…Book Loading… -
16Die neue digitale Welt verstehen: Internet und WWW für allePublished 2021Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
17Putting Design Thinking to Work: How Large Organizations Can Embrace Messy Institutions to Tackle Wicked ProblemsPublished 2019Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
18Digital communication: communication, multimedia, securityPublished 2014Call Number: Loading…Table of Contents
Located: Loading…
Book Loading… -
19Internetworking: technische Grundlagen und AnwendungenPublished 2012Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading… -
20Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen ; eine EinführungPublished 2011Call Number: Loading…Read online
Located: Loading…
Electronic eBook Loading…