Suggested Topics within your search.
Showing 981 - 1,000 results of 1,888 for search '"Science"', query time: 0.07s Refine Results
  1. 981
    Concur - 2008 : Concurrency theory : proceedings /

    Concur - 2008 : Concurrency theory : proceedings /

    Published 2008
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  2. 982
    Verification, model checking and abstract interpretation : proceedings /

    Verification, model checking and abstract interpretation : proceedings /

    Published 2009
    “…Lecture notes in computer science…”
    Conference Proceeding Book
  3. 983
    Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /

    Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS...

    Published 2009
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  4. 984
    Computer aided verification : proceedings /

    Computer aided verification : proceedings /

    Published 2009
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  5. 985
    Web engineering : proceedings /

    Web engineering : proceedings /

    Published 2009
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  6. 986
    Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

    Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Bra...

    Published 2007
    “…Lecture notes in computer science…”
    Unedited summary from book
    Table of contents only
    Publisher description
    Conference Proceeding Book
  7. 987
    The mathematical and computational sciences in emerging manufacturing technologies and management practices /

    The mathematical and computational sciences in emerging manufacturing technologies and management practices / by Friedman, Avner, 1932-

    Published 1992
    “…SIAM reports on issues in the mathematical sciences…”
    Book
  8. 988
    Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings /

    Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings /

    Published 2007
    “…Lecture notes in computer science,…”
    Restricted to SpringerLink subscribers
    Conference Proceeding Book
  9. 989
    Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II /

    Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II /

    Published 2008
    “…Lecture notes in computer science ,…”
    Conference Proceeding Book
  10. 990
    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...

    Published 2009
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  11. 991
    Journalism, science and society : science communication between news and public relations /

    Journalism, science and society : science communication between news and public relations /

    Published 2007
    “…Routledge studies in science, technology and society ;…”
    Table of contents only
    Book
  12. 992
    Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings /

    Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings /

    Published 2006
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  13. 993
    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    “…Lecture notes in computer science…”
    Conference Proceeding Book
  14. 994
    Web Engineering : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010 : Proceedings /

    Web Engineering : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010 : Proceedings /

    Published 2010
    “…Lecture notes in computer science…”
    Conference Proceeding Book
  15. 995
    Software Product Lines : Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : Proceedings /

    Software Product Lines : Going Beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : Proceedings /

    Published 2010
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 996
    Introduction to solid-state theory /

    Introduction to solid-state theory / by Madelung, Otfried

    Published 1996
    “…Springer series in solid-state sciences ;…”
    Publisher description
    Book
  17. 997
    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    CONCUR - 2007 : Concurrency Theory : 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 : Proceedings /

    Published 2007
    “…Lecture notes in computer science ;…”
    Conference Proceeding eBook
  18. 998
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  19. 999
    Magnetism in the solid state : an introduction /

    Magnetism in the solid state : an introduction / by Mohn, Peter, 1956-

    Published 2006
    “…Springer series in solid-state sciences ;…”
    Table of contents
    Publisher description
    Book
  20. 1000
    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /

    Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures...

    Published 2009
    “…Lecture notes in computer science,…”
    Conference Proceeding Book

Search Tools: