Search
Feedback
About UniCat 
Help
News
| Listing 1 - 9 of 9 |
Sort by
|
Book
ISBN: 3540185402 0387185402 3540480129 Year: 1987 Volume: vol 285 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer architecture. Operating systems --- 681.3*B52 --- 681.3*B63 --- 681.3*B72 --- 681.3*D11 --- 681.3*D31 --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- Applicative (functional) programming --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D11 Applicative (functional) programming --- 681.3*B72 Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B52 Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Electronics. --- Logic design. --- Computer science. --- Electronics and Microelectronics, Instrumentation. --- Logic Design. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electrical engineering --- Physical sciences --- Digital integrated circuits --- Stream (computer hardware description language)
Book
ISBN: 8474053919 9788474053913 Year: 1987 Publisher: Sevilla: Servicio de publicaciones de la Universidad de Sevilla,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1987 Publisher: México, D.F. Instituto Nacional de Bellas Artes
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 840006495X 9788400064952 Year: 1987 Publisher: Madrid: Consejo superior de investigaciones cientificas. Centro de estudios historicos,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1987 Publisher: Strasbourg : Conseil de l'Europe, Conseil de la coopération culturelle, Affaires culturelles,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Aménagement du territoire --- Industries culturelles --- Communication --- Aménagement du territoire --- Industries culturelles --- Communication --- Politique gouvernementale --- Politique gouvernementale --- Espagne --- Espagne --- Politique culturelle. --- Politique culturelle.
ISBN: 0801833906 9780801833908 Year: 1987 Publisher: Baltimore Johns Hopkins university press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Third World: agricultural and food problems --- Sub-Saharan Africa --- Agricultural productivity --- Food supply --- Agriculture and state --- Congresses --- 338.43 --- 631.17 --- 351.778.2 --- 338.439.02 --- -Productivity, Agricultural --- Agriculture --- Farm management --- Landbouweconomie --- Agricultural and farm technology --- Voedselbevoorrading --- Food policies. Including : targets, programmes --- Case studies --- Economic aspects --- Conferences - Meetings --- Congresses. --- -Landbouweconomie --- 351.778.2 Voedselbevoorrading --- 631.17 Agricultural and farm technology --- 338.43 Landbouweconomie --- -351.778.2 Voedselbevoorrading --- Productivity, Agricultural --- Basic Sciences. Agriculture -- Agriculture by Geographic Region -- Africa --- ALLW. --- Food control --- Produce trade --- Food security --- Single cell proteins --- Agrarian question --- Agricultural policy --- State and agriculture --- Economic policy --- Land reform --- Government policy --- Developing countries: agricultural and food problems --- Agricultural productivity - Africa, Sub-Saharan - Congresses --- Food supply - Africa, Sub-Saharan - Congresses --- Agriculture and state - Africa, Sub-Saharan - Congresses
Book
ISBN: 8476980183 9788476980187 Year: 1987 Publisher: Barcelona: Bosch,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Contractenrecht --- Spanje. --- Obligations (Law) --- Contracts --- Obligations (Law) - Spain --- Contracts - Spain
Book
Year: 1987 Publisher: Strasbourg : Conseil de l'Europe,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dissertation
Year: 1987 Publisher: Bogota s.n.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 9 of 9 |
Sort by
|