Showing 1 - 20 results of 1,644 for search 'North-Holland', query time: 0.39s Refine Results
  1. 1
    Combinatorial optimization/

    Combinatorial optimization/ by Padberg, M. W.

    Published 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...

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

    Job search theory and indeterminate information by Clarke, G

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

    Data Structures in Two−level Store by Hoare, C

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

    Knuth's Problem by Bird, R

    Published 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 by Melham, T

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

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

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

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

    Published 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 by Melham, T

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

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

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

    Methods and Principles of Cost Allocation. by Young, H

    Published 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. by Grovenor, C, Smith, D

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

    Cost Allocation: Methods, Principles, Applications Science

    Published 1985
    “…North Holland…”
    Book
  14. 14
    Hardware Verification using Higher−Order Logic

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

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

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

    Published 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 by Degl'Innocenti, Marta, Kourtzidis, Stavros A., Sevic, Zeljko, Tzeremes, Nickolaos G.

    Published 2017
    “…North-Holland…”
    Article
  17. 17
    Production management : methods and studies/

    Production management : methods and studies/ by Lev, Benjamin

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

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

    Published 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 / by Fry, Prem S.

    Published 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 / by 481370 IFIP TC 6/WG 6.5 Working Conference on Message Handling Systems, Speth, R.

    Published 1987
    “…Amsterdam : North-Holland,…”

Search Tools: