Search Results

Suggested Topics within your search.
Refine Results
  1. 1
    Software practice and experience.

    Software practice and experience.

    Serial
    Save to List
    Saved in:
  2. 2
    IEEE transactions on software engineering.

    IEEE transactions on software engineering.

    Serial
    Save to List
    Saved in:
  3. 3
    ACM transactions on programming languages and systems.

    ACM transactions on programming languages and systems.

    Serial
    Save to List
    Saved in:
  4. 4
    Structured FORTRAN 77 for engineers and scientists / D.M. Etter.

    Structured FORTRAN 77 for engineers and scientists / D.M. Etter. by Etter, D. M.

    Edition: 4th ed.
    Book
    Save to List
    Saved in:
  5. 5
    Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis.

    Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis. by Abelson, Harold

    Edition: 2nd ed.
    Book
    Save to List
    Saved in:
  6. 6
    Computer programming for technology and engineering / John W. Carter.

    Computer programming for technology and engineering / John W. Carter. by Carter, John W., 1951-

    Published 1999
    Book
    Save to List
    Saved in:
  7. 7
    Journal of algorithms

    Journal of algorithms

    Get full text
    Serial
    Save to List
    Saved in:
  8. 8
    Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.).

    Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.).

    Published 2001
    Book
    Save to List
    Saved in:
  9. 9
    Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings / Roland Backhouse, Jos e Nuno Oliveira (eds.).

    Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings / Roland Backhouse, Jos e Nuno Oliveira (eds.).

    Published 2000
    Book
    Save to List
    Saved in:
  10. 10
    LabVIEW programming, data acquisition and analysis / Jeffrey Y. Beyon.

    LabVIEW programming, data acquisition and analysis / Jeffrey Y. Beyon. by Beyon, Jeffrey Y.

    Published 2001
    Book
    Save to List
    Saved in:
  11. 11
    ACM transactions on mathematical software

    ACM transactions on mathematical software

    Get full text
    Software
    Save to List
    Saved in:
  12. 12
    ACM transactions on programming languages and systems

    ACM transactions on programming languages and systems

    Get full text
    Software
    Save to List
    Saved in:
  13. 13
    The journal of logic and algebraic programming

    The journal of logic and algebraic programming

    Get full text
    Serial
    Save to List
    Saved in:
  14. 14
    Journal of systems and software

    Journal of systems and software

    Get full text
    Serial
    Save to List
    Saved in:
  15. 15
    IEEE transactions on software engineering

    IEEE transactions on software engineering

    Get full text
    Serial
    Save to List
    Saved in:
  16. 16
    Automated reasoning with Otter / John Arnold Kalman ; with a foreword by Larry Wos.

    Automated reasoning with Otter / John Arnold Kalman ; with a foreword by Larry Wos. by Kalman, John Arnold

    Published 2001
    Book
    Save to List
    Saved in:
  17. 17
    Managing psychological factors in information systems work : an orientation to emotional intelligence / Eugene Kaluzniacky.

    Managing psychological factors in information systems work : an orientation to emotional intelligence / Eugene Kaluzniacky. by Kaluzniacky, Eugene

    Published 2004
    Book
    Save to List
    Saved in:
  18. 18
    Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid.

    Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid. by Schmid, U. (Ute)

    Published 2003
    Book
    Save to List
    Saved in:
  19. 19
    Simple program design : a step-by-step approach / Lesley Anne Robertson.

    Simple program design : a step-by-step approach / Lesley Anne Robertson. by Robertson, Lesley A.

    Edition: 4th ed.
    Book
    Save to List
    Saved in:
  20. 20
    The art of computer programming / Donald E. Knuth.

    The art of computer programming / Donald E. Knuth. by Knuth, Donald Ervin, 1938-

    Published 2005
    Book
    Save to List
    Saved in:
  21. 21
    The art of computer programming / Donald E. Knuth.

    The art of computer programming / Donald E. Knuth. by Knuth, Donald Ervin, 1938-

    Published 2005
    Book
    Save to List
    Saved in:
  22. 22
    Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin.

    Principles of program analysis / F. Nielson, Hanne Riis Nielson, Chris Hankin. by Nielson, Flemming, 1955-

    Published 1999
    Book
    Save to List
    Saved in:
  23. 23
    ACM transactions on algorithms

    ACM transactions on algorithms

    Get full text
    Serial
    Save to List
    Saved in:
  24. 24
    Crossroads

    Crossroads

    Get full text
    Serial
    Save to List
    Saved in:
  25. 25
    Mathematical computing : an introduction to programming using Maple / David Betounes, Mylan Redfern.

    Mathematical computing : an introduction to programming using Maple / David Betounes, Mylan Redfern. by Betounes, David

    Published 2002
    Book
    Save to List
    Saved in:
  26. 26
    Mastering regular expressions / Jeffrey E.F. Friedl.

    Mastering regular expressions / Jeffrey E.F. Friedl. by Friedl, Jeffrey E. F.

    Edition: 3rd ed.
    Book
    Save to List
    Saved in:
  27. 27
    End user development / edited by Henry Liebermann, Fabio Paternò and Volker Wulf.

    End user development / edited by Henry Liebermann, Fabio Paternò and Volker Wulf.

    Published 2006
    Book
    Save to List
    Saved in:
  28. 28
    Software practice and experience

    Software practice and experience

    Get full text
    Serial
    Save to List
    Saved in:
  29. 29
    Software engineering 1 : abstraction and modelling / D. Bjørner.

    Software engineering 1 : abstraction and modelling / D. Bjørner. by Bjørner, D. (Dines), 1937-

    Published 2006
    Book
    Save to List
    Saved in:
  30. 30
    Software engineering 3 : domains, requirements, and software design / D. Bjørner.

    Software engineering 3 : domains, requirements, and software design / D. Bjørner. by Bjørner, D. (Dines), 1937-

    Published 2006
    Book
    Save to List
    Saved in:
  31. 31
    LabVIEW : advanced programming techniques / Richard Bitter, Taqi Mohiuddin, Matthew R. Nawrocki.

    LabVIEW : advanced programming techniques / Richard Bitter, Taqi Mohiuddin, Matthew R. Nawrocki. by Bitter, Rick

    Edition: 2nd ed.
    Book
    Save to List
    Saved in:
  32. 32
    Fortran 95/2003 explained / Michael Metcalf, John Reid, Malcolm Cohen.

    Fortran 95/2003 explained / Michael Metcalf, John Reid, Malcolm Cohen. by Metcalf, Michael

    Edition: Repr. with corrections.
    Book
    Save to List
    Saved in:
  33. 33
    Introduction to programming in Java : an interdisciplinary approach / Robert Sedgewick and Kevin Wayne.

    Introduction to programming in Java : an interdisciplinary approach / Robert Sedgewick and Kevin Wayne. by Sedgewick, Robert, 1946-

    Published 2008
    Book
    Save to List
    Saved in:
  34. 34
    Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).

    Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).

    Published 2007
    Book
    Save to List
    Saved in:
  35. 35
    Beginning programming for dummies / Wallace Wang.

    Beginning programming for dummies / Wallace Wang. by Wang, Wally

    Edition: 4th ed.
    Book
    Save to List
    Saved in:
  36. 36
    Problem solving and programming.

    Problem solving and programming. by Sprankle, Maureen

    Edition: 8th ed., International ed. /
    Book
    Save to List
    Saved in:
  37. 37
    Coding4Fun : 10 .NET programming projects for Wiimote, World of Warcraft, YouTube, and more / Dan Fernandez and Brian Peek.

    Coding4Fun : 10 .NET programming projects for Wiimote, World of Warcraft, YouTube, and more / Dan Fernandez and Brian Peek. by Fernandez, Dan

    Published 2009
    Book
    Save to List
    Saved in:
  38. 38
    Programming language fundamentals by example / D.E. Stevenson.

    Programming language fundamentals by example / D.E. Stevenson. by Stevenson, D. E.

    Published 2007
    Book
    Save to List
    Saved in:
  39. 39
    LISP and symbolic computation

    LISP and symbolic computation

    Get full text
    Serial
    Save to List
    Saved in:
  40. 40
    Hello world! : computer programming for kids and other beginners / Warren Sande, Carter Sande.

    Hello world! : computer programming for kids and other beginners / Warren Sande, Carter Sande. by Sande, Warren

    Published 2009
    Book
    Save to List
    Saved in:
  41. 41
    Starting out with programming logic & design / Tony Gaddis.

    Starting out with programming logic & design / Tony Gaddis. by Gaddis, Tony

    Edition: 2nd ed., International ed.
    Book
    Save to List
    Saved in:
  42. 42
    ACM transactions on computation theory

    ACM transactions on computation theory

    Get full text
    Serial
    Save to List
    Saved in:
  43. 43
    ACM transactions on programming languages and systems

    ACM transactions on programming languages and systems

    Get full text
    Serial
    Save to List
    Saved in:
  44. 44
    Processing : a programming handbook for visual designers and artists / Casey Reas, Ben Fry.

    Processing : a programming handbook for visual designers and artists / Casey Reas, Ben Fry. by Reas, Casey

    Published 2007
    Book
    Save to List
    Saved in:
  45. 45
    Computer systems : a programmer's perspective / Randal E. Bryant, David R. O'Hallaron.

    Computer systems : a programmer's perspective / Randal E. Bryant, David R. O'Hallaron. by Bryant, Randal

    Edition: 2nd ed., International ed.
    Book
    Save to List
    Saved in:
  46. 46
    First International Multi-Symposiums on Computer and Computational Sciences (IMSCCS 06) : proceedings : June 20-June 24, 2006, Hangzhou, Zhejiang, China / sponsored by STEMES/IMSCCS Conferences, USA ... [et al.].

    First International Multi-Symposiums on Computer and Computational Sciences (IMSCCS 06) : proceedings : June 20-June 24, 2006, Hangzhou, Zhejiang, China / sponsored by STEMES/IMSCC...

    Published 2006
    Connect to v. 1 of this title online
    Connect to v. 2 of this title online
    eBook
    Save to List
    Saved in:
  47. 47
    ICSM 2006 proceedings : 22nd IEEE International Conference on Software Maintenance : Sheraton Society Hill, Philadelphia, Pennsylvania, September 24-27, 2006 / IEEE Computer Society.

    ICSM 2006 proceedings : 22nd IEEE International Conference on Software Maintenance : Sheraton Society Hill, Philadelphia, Pennsylvania, September 24-27, 2006 / IEEE Computer Societ...

    Published 2006
    Get full text
    eBook
    Save to List
    Saved in:
  48. 48
    30th Annual International Computer Software and Applications Conference COMPSAC 2006 : proceedings : 17-21 September, 2006, Chicago, Illinois / sponsored by IEEE Computer Society.

    30th Annual International Computer Software and Applications Conference COMPSAC 2006 : proceedings : 17-21 September, 2006, Chicago, Illinois / sponsored by IEEE Computer Society.

    Published 2006
    Get full text
    eBook
    Save to List
    Saved in:
  49. 49
    Proceedings, 29th International Conference on Software Engineering ICSE 2007 companion volume : 20-26 May 2007, Minneapolis, Minnesota / sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering (SIGSOFT).

    Proceedings, 29th International Conference on Software Engineering ICSE 2007 companion volume : 20-26 May 2007, Minneapolis, Minnesota / sponsored by IEEE Computer Society Technica...

    Published 2007
    Get full text
    eBook
    Save to List
    Saved in:
  50. 50
    Proceedings, 29th International Conference on Software Engineering sponsored by IEEE Computer Society Technical Council on Software Engineering [and] the ACM Special Interest Group on Software Engineering (SIGSOFT).

    Proceedings, 29th International Conference on Software Engineering sponsored by IEEE Computer Society Technical Council on Software Engineering [and] the ACM Special Interest Group...

    Published 2007
    Get full text
    eBook
    Save to List
    Saved in:

Search Tools: