Universiẗat, Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen--Karlsruhe.
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/180010662 |
| Date | January 2005 |
| Creators | Kapp, Kai. |
| Publisher | Karlsruhe : Univ.-Verl. Karlsruhe, |
| Source Sets | OCLC |
| Language | German |
| Detected Language | German |
| Type | Online-Publikation. |
Page generated in 0.0021 seconds