Suchergebnisse - "Electronic digital computers Programming"

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) von International Workshop on High-Level Programming Models and Supportive Environments, Gerndt, Michel, Schulz, Martin, International Parallel Processing Symposium, IST Working Group APART

Volltext

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

“… Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision …”
Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Second International Workshop on High-Level Parallel Programming Models and Supportive Environments : proceedings, April 1, 1997, Geneva, Switzerland von 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

Volltext

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

Volltext

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

Volltext

Proceedings : 9th Symposium on Computer Arithmetic, September 6-8, 1989 Santa Monica, California, USA von 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.

Volltext

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

Volltext

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

“… Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving …”
Volltext

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

Volltext

Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France von 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

Volltext

Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland von Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing

Volltext

Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland von 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

Volltext

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

Volltext

Proceedings of the 12th Symposium on Computer Arithmetic, July 19-21, 1995, Bath, England von Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on VLSI, Knowles, Simon, McAllister, William H.

Volltext

Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994 von Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Institut national de recherche en informatique et en automatique (France)

Volltext