Showing 1,281 - 1,300 results of 1,886 for search '"Science"', query time: 0.07s Refine Results
  1. 1281

    Logic in databases /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  2. 1282

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

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  3. 1283

    Practice and theory of automated timetabling /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  4. 1284

    What's happening in the mathematical sciences 1993-1994 / by Cipra, Barry, 1952-

    Published 1993
    “…What's happening in the mathematical sciences ;…”
    Book
  5. 1285

    What's happening in the mathematical sciences 1994-1995 / by Cipra, Barry, 1952-

    Published 1994
    “…What's happening in the mathematical sciences ;…”
    Book
  6. 1286

    Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 1287

    Static analysis /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  8. 1288

    Computer security-ESORICS 96 / 4º European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  9. 1289

    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  10. 1290

    Visualization in biomedical computing /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  11. 1291

    Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  12. 1292

    Computer aided verification /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  13. 1293

    Parallel problem solving from nature - PPSN IV : nternational Conference on Evolutionary Computation, the 4th International Conference on Parallel Problem Solving from Nature, Berl...

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  14. 1294

    Object representation in computer vision II / ECCV ’96 International Workshop, Cambridge, UK, April 13-14, 1996 : proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  15. 1295

    Algorithms - ESA'96 /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 1296

    Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  17. 1297

    Design and implementation of symbolic computation systems /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  18. 1298

    Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  19. 1299

    Theorem proving in higher order logics /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  20. 1300

    Formal techniques in real-time and fault-tolerant systems /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book