Suggested Topics within your search.
Showing 3,781 - 3,800 results of 5,455 for search 'Berlin*', query time: 0.08s Refine Results
  1. 3781
    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Published 1996
    Book
  2. 3782
    Software configuration management /

    Software configuration management /

    Published 1996
    Conference Proceeding Book
  3. 3783
    Advances in case-based reasoning : third European workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings /

    Advances in case-based reasoning : third European workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  4. 3784
    Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /

    Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  5. 3785
    Algorithmic learning theory /

    Algorithmic learning theory /

    Published 1996
    Conference Proceeding Book
  6. 3786
    Conceptual modeling - ER '96 /

    Conceptual modeling - ER '96 /

    Published 1996
    Conference Proceeding Book
  7. 3787
    Types for proofs and programs /

    Types for proofs and programs /

    Published 1996
    Conference Proceeding Book
  8. 3788
    Trends in distributed systems : CORBA and beyond /

    Trends in distributed systems : CORBA and beyond /

    Published 1996
    Conference Proceeding Book
  9. 3789
    Ernst Witt : collected papers = Gesammelte abhandlungen /

    Ernst Witt : collected papers = Gesammelte abhandlungen / by Witt, Ernst, 1911-1991

    Published 1998
    Book
  10. 3790
    Commutative harmonic analysis II : group methods in commutative harmonic analysis /

    Commutative harmonic analysis II : group methods in commutative harmonic analysis /

    Published 1998
    Book
  11. 3791
    Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings

    Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings

    Published 1996
    Conference Proceeding Book
  12. 3792
    Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /

    Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /

    Published 1996
    Conference Proceeding Book
  13. 3793
    Software process technology : 5º European workshop, EWSPT ’96, Nancy, France, October 9-11, 1996 : proceedings /

    Software process technology : 5º European workshop, EWSPT ’96, Nancy, France, October 9-11, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  14. 3794
    Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /

    Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  15. 3795
    Parallel virtual machine, EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings /

    Parallel virtual machine, EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  16. 3796
    Broadband network traffic : performance evaluation and design of broadband multiservice networks : final report of action COST 242 /

    Broadband network traffic : performance evaluation and design of broadband multiservice networks : final report of action COST 242 /

    Published 1996
    Book
  17. 3797
    Formal methods in computer-aided design /

    Formal methods in computer-aided design /

    Published 1996
    Conference Proceeding Book
  18. 3798
    Logic in databases /

    Logic in databases /

    Published 1996
    Conference Proceeding Book
  19. 3799
    Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /

    Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  20. 3800
    Fuzzy logic, neural networks and evolutionary computation /

    Fuzzy logic, neural networks and evolutionary computation /

    Published 1996
    Conference Proceeding Book

Search Tools: