Search Results - Electronic digital computers Programming

Refine Results
  1. 1
    Cover Image

    Structure and interpretation of computer programs by Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie

    ISBN: 9780262510875, 0262011530, 9780262011532, 0262510871
    Published: Cambridge, Mass MIT Press 1996
    “…Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade…”
    Get full text
    eBook Book
    Save to List
    Saved in:
  2. 2
    Cover Image

    The temporal logic of reactive and concurrent systems by Manna, Zohar, Pnueli, A. (Amir)

    ISBN: 9780387976648, 3540976647, 0387976647, 9783540976646
    Published: New York ; Tokyo Springer-Verlag 1992
    Get full text
    Book
    Save to List
    Saved in:
  3. 3
    Cover Image

    Proceedings, Eighth International Workshop on High-Level Parallel Programming Models and Supportive Environments : 22 April 2003, Nice, France : held in conjunction with the 17th International Parallel Processing Symposium (IPDPS) by International Workshop on High-Level Programming Models and Supportive Environments, Gerndt, Michel, Schulz, Martin, International Parallel Processing Symposium, IST Working Group APART

    ISBN: 076951880X, 9780769518800
    Published: Los Alamitos, Calif IEEE Computer Society Press 2003
    Get full text
    Book
    Save to List
    Saved in:
  4. 4
    Cover Image

    Refinement calculus : a systematic introduction by Back, Ralph-Johan, Wright, J. (Joakim) von

    ISBN: 9780387984179, 0387984178, 1461216753, 9781461216759
    ISSN: 1868-0941, 1868-095X
    Published: New York, NY Springer 1998
    “…Much current research in computer science is concerned with two questions: is a program correct…”
    Get full text
    eBook Book
    Save to List
    Saved in:
  5. 5
    Cover Image

    Second International Workshop on High-Level Parallel Programming Models and Supportive Environments : proceedings, April 1, 1997, Geneva, Switzerland by International Workshop on High-Level Programming Models and Supportive Environments, Hellwagner, Hermann, IEEE Computer Society. Technical Committee on Parallel Processing, SIGARCH, International Parallel Processing Symposium

    ISBN: 0818678836, 9780818678820, 9780818678844, 0818678844, 0818678828, 9780818678837
    Published: Los Alamitos, Calif IEEE Computer Society Press 1997
    Get full text
    Book
    Save to List
    Saved in:
  6. 6
    Cover Image

    Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France by International Conference on Computer Languages, IEEE Computer Society. Technical Committee on Computer Languages, ACM Special Interest Group in Programming Languages, Institut pour la recherche en informatique de Toulouse

    ISBN: 0818656409, 0818656425, 9780818656408, 9780818656422, 9780818656415, 0818656417
    Published: Los Alamitos, Calif IEEE Computer Society Press 1994
    Get full text
    Book
    Save to List
    Saved in:
  7. 7
    Cover Image

    Proceedings : Symposium on Logic in Computer Science, LICS '96, New Brunswick, New Jersey, July, 27 -30, 1996 by Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing

    ISBN: 0818674636, 9780818674631
    Published: Los Alamitos, Calif. ; Tokyo IEEE Computer Society Press 1996
    Get full text
    Book
    Save to List
    Saved in:
  8. 8
    Cover Image

    1990 International Conference on Computer Languages : proceedings, March 12-15, 1990, New Orleans, Louisiana by International Conference on Computer Languages, IEEE Computer Society. Technical Committee on Computer Languages

    ISBN: 0818690364, 9780818660368, 9780818620362, 0818660368, 0818620366, 9780818690365
    Published: Los Alamitos, Calif IEEE Computer Society Press 1990
    Get full text
    Book
    Save to List
    Saved in:
  9. 9
    Cover Image

    Structure and interpretation of computer programs by Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie

    ISBN: 9780262510875, 0070004846, 0262011530, 9780070004849, 9780262011532, 0262510871
    Published: New York McGraw-Hill Companies 1996
    Get full text
    Book
    Save to List
    Saved in:
  10. 10
    Cover Image

    1988 International Conference on Computer Languages : proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida by International Conference on Computer Languages, IEEE Computer Society. Technical Committee on Computer Languages

    ISBN: 0818648740, 9780818648748, 0818608749, 9780818688744, 9780818608742, 0818688742
    Published: Washington, D.C IEEE Computer Society Press 1988
    Get full text
    Book
    Save to List
    Saved in:
  11. 11
    Cover Image

    Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland by Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Uniwersytet Warszawski, Association for Computing Machinery. Special Interest Committee for Automation and Computability, Association for Symbolic Logic, European Association for Theoretical Computer Science

    ISBN: 0818679271, 0818679255, 9780818679254, 0818679263, 9780818679278, 9780818679261
    Published: Los Alamitos, Calif. ; Tokyo IEEE Computer Society Press 1997
    Get full text
    Book
    Save to List
    Saved in:
  12. 12
    Cover Image

    Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 by Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Computing Machinery-SIGACT

    ISBN: 0818631422, 0818631406, 9780818631405, 0818631414, 9780818631429, 9780818631412
    Published: Los Alamitos, CA. ; Tokyo IEEE Computer Society Press 1993
    Get full text
    Book
    Save to List
    Saved in:
  13. 13
    Cover Image

    Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California by Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Computing Machinery-SIGACT

    ISBN: 0818670509, 078032563X, 9780780325630, 9780818670503
    Published: Los Alamitos, CA. ; Tokyo IEEE Computer Society Press 1995
    Get full text
    Book
    Save to List
    Saved in:
  14. 14
    Cover Image

    Proceedings, 16th IEEE Symposium on Computer Arithmetic, ARITH-16 2003, 15-18 June 2003, Santiago de Compostela, Spain by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Bajard, Jean-Claude, Schulte, Michael

    ISBN: 076951894X, 9780769518947
    Published: Los Alamitos, Calif IEEE Computer Society 2003
    Get full text
    Book
    Save to List
    Saved in:
  15. 15
    Cover Image

    Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Swartzlander, Earl E., Irwin, Mary Jane, Jullien, Graham

    ISBN: 0780314018, 9780818638626, 0818638621, 9780818638619, 0818638613, 9780780314016
    Published: Washington, D.C. ; Tokyo IEEE Computer Society Press 1993
    Get full text
    Book
    Save to List
    Saved in:
  16. 16
    Cover Image

    Proceedings : 10th IEEE Symposium on Computer Arithmetic, June 26-28, 1991 , Grenoble, France by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Kornerup, Peter, Matula, David W.

    ISBN: 0818691514, 9780818691515
    Published: Washington, D.C. ; Tokyo IEEE Computer Society Press 1991
    Get full text
    Book
    Save to List
    Saved in:
  17. 17
    Cover Image

    Proceedings : 15th IEEE Symposium on Computer Arithmetic, ARITH-15 2001, Vail, Colorado 11-13 June 2001 by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Burgess, Neil, Ciminiera, Luigi

    ISBN: 0769511503, 9780769511504
    Published: Los Alamitos, Calif IEEE Computer Society 2001
    Get full text
    Book
    Save to List
    Saved in:
  18. 18
    Cover Image

    Proceedings : 9th Symposium on Computer Arithmetic, September 6-8, 1989 Santa Monica, California, USA by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on Computer Architecture, IEEE Computer Society. Technical Committee on VLSI, Ercegovac, Miloš Dragutin, Swartzlander, Earl E.

    ISBN: 9780818689635, 0818689633
    Published: Washington, D.C. ; Tokyo IEEE Computer Society Press 1989
    Get full text
    Book
    Save to List
    Saved in:
  19. 19
    Cover Image

    Proceedings, 13th IEEE Symposium on Computer Arithmetic, July 6-9, 1997, Asilomar, California, USA by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Lang, Tomás, Muller, J. M. (Jean-Michel), 高木, 直史

    ISBN: 9780818678479, 081867847X, 9780818678462, 0818678461
    Published: Los Alamitos, Calif. ; Tokyo IEEE Computer Society 1997
    Get full text
    Book
    Save to List
    Saved in:
  20. 20
    Cover Image

    Proceedings : 6th Symposium on Computer Arithmetic, June 20-22, 1983, Aarhus University, Aarhus, Denmark by Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on Computer Architecture

    ISBN: 9780818600340, 0818600349
    Published: Silver Spring, MD IEEE Computer Society Press 1983
    Get full text
    Book
    Save to List
    Saved in:

Search Tools: