Toon 1 - 20 resultaten van 1.040 Voor zoekopdracht 'North Holland', zoektijd: 0,04s Verfijn jouw resultaten
  1. 1
    Combinatorial optimization/

    Combinatorial optimization/ door Padberg, M. W.

    Gepubliceerd in 1980
    “… North-Holland,…”
  2. 2
    Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

    Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ T...

    Gepubliceerd in 1992
    “…North−Holland…”
    Conference item
  3. 3
    Job search theory and indeterminate information

    Job search theory and indeterminate information door Clarke, G

    Gepubliceerd in 1987
    “…North-Holland…”
    Book section
  4. 4
    Data Structures in Two−level Store

    Data Structures in Two−level Store door Hoare, C

    Gepubliceerd in 1969
    “…North−Holland…”
    Conference item
  5. 5
    Knuth's Problem

    Knuth's Problem door Bird, R

    Gepubliceerd in 1991
    “…North−Holland…”
    Conference item
  6. 6
    The HOL Logic Extended with Quantification over Type Variables

    The HOL Logic Extended with Quantification over Type Variables door Melham, T

    Gepubliceerd in 1993
    “…North−Holland…”
    Conference item
  7. 7
    Factorising Proofs in Timed CSP

    Factorising Proofs in Timed CSP door Davies, J, Schneider, S

    Gepubliceerd in 1989
    “…North−Holland…”
    Conference item
  8. 8
    Specification and VLSI Design

    Specification and VLSI Design door Birtwistle, G, Joyce, J, Liblong, B, Melham, T, Schediwy, R

    Gepubliceerd in 1986
    “…North−Holland…”
    Conference item
  9. 9
    Using Recursive Types to Reason about Hardware in Higher Order Logic

    Using Recursive Types to Reason about Hardware in Higher Order Logic door Melham, T

    Gepubliceerd in 1988
    “…North−Holland…”
    Conference item
  10. 10
    Families, labor markets, and policy

    Families, labor markets, and policy door Albanesi, S, Olivetti, C, Petrongolo, B

    Gepubliceerd in 2023
    “…North-Holland…”
    Book section
  11. 11
    Methods and Principles of Cost Allocation.

    Methods and Principles of Cost Allocation. door Young, H

    Gepubliceerd in 1985
    “…North Holland…”
    Book section
  12. 12
    METAL INDUCED GRAIN GROWTH IN GERMANIUM AND SILICON THIN FILMS.

    METAL INDUCED GRAIN GROWTH IN GERMANIUM AND SILICON THIN FILMS. door Grovenor, C, Smith, D

    Gepubliceerd in 1984
    “…North-Holland…”
    Journal article
  13. 13
    Cost Allocation: Methods, Principles, Applications Science

    Cost Allocation: Methods, Principles, Applications Science

    Gepubliceerd in 1985
    “…North Holland…”
    Boek
  14. 14
    Hardware Verification using Higher−Order Logic

    Hardware Verification using Higher−Order Logic door Camilleri, A, Gordon, M, Melham, T

    Gepubliceerd in 1987
    “…North−Holland…”
    Conference item
  15. 15
    Pascal−m in Office Information Systems

    Pascal−m in Office Information Systems door Abramsky, S, Cook, S

    Gepubliceerd in 1982
    “…North Holland…”
    Conference item
  16. 16
    Bank productivity growth and convergence in the European Union during the financial crisis

    Bank productivity growth and convergence in the European Union during the financial crisis door Degl'Innocenti, Marta, Kourtzidis, Stavros A., Sevic, Zeljko, Tzeremes, Nickolaos G.

    Gepubliceerd in 2017
    “…North-Holland…”
    Artikel
  17. 17
    Production management : methods and studies/

    Production management : methods and studies/ door Lev, Benjamin

    Gepubliceerd in 1986
    “…Amsterdam : North-Holland,…”
  18. 18
    Industrial crystallization 78/

    Industrial crystallization 78/ door Symposium on Industrial Crystallization (7th : 1978 : Warsaw), Jong, E. J. De, Jancic, S. J., European Federation of Chemical Engineering. Working Party on Crystallisation

    Gepubliceerd in 1979
    “…Amsterdam : North-Holland,…”
  19. 19
    Changing conceptions of intelligence and intellectual functioning : current theory and research /

    Changing conceptions of intelligence and intellectual functioning : current theory and research / door Fry, Prem S.

    Gepubliceerd in 1984
    “…Amsterdam : North-Holland,…”
  20. 20
    Message handling systems : state of the art and future directions /

    Message handling systems : state of the art and future directions / door 481370 IFIP TC 6/WG 6.5 Working Conference on Message Handling Systems, Speth, R.

    Gepubliceerd in 1987
    “…Amsterdam : North-Holland,…”

Zoekinstrumenten: