Регистрация | Вход в службу | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: TMC - library [1296 articles]

Недавние статьи, отправленные по почте членами TMC группы
  • An exercise from "The Art of Computer Programming"
    (February 2008)
    by João F Ferreira
    posted to jff-bib by jff to the group TMC on 2008-02-29 18:28:43 as read along with 1 group Foundations-of-Programming
  • The Chinese Remainder Theorem
    (2007)
    by João F Ferreira
    posted to jff-bib by jff to the group TMC on 2008-02-29 18:26:29 as read along with 1 group Foundations-of-Programming
  • Swapping the values of two variables
    (July 2007)
    by João F Ferreira
    posted to jff-bib by jff to the group TMC on 2008-02-29 18:24:32 as read along with 1 group Foundations-of-Programming
  • Distributivity and the greatest common divisor
    (2006)
    by João F Ferreira
    posted to jff-bib number-theory by jff to the group TMC on 2008-02-29 18:22:41 as read along with 1 group Foundations-of-Programming
  • Recounting the Rationals: Twice!
    (2008)
    by Roland Backhouse, João Ferreira
    posted to jff-bib number-theory by jff to the group TMC on 2008-02-29 18:20:18 as read along with 1 group Foundations-of-Programming
  • On the Moessner Theorem on Integral Powers
    The American Mathematical Monthly, Vol. 73, No. 8. (1966), pp. 846-851.
    by CT Long
    posted to algorithms math-bib moessner by jff to the group TMC on 2007-09-25 09:53:46 as ** along with 1 group Foundations-of-Programming
  • Generatingfunctionology
    by Herbert S Wilf
    posted to math-bib generating-functions by jff to the group TMC on 2007-06-25 12:27:48 as ** along with 6 people and 4 groups jkominek ansobol yaroslavvb rubendrr s-adachi ransombriggs cytoskeleton-and-afm Crypto GraphTheory Foundations-of-Programming
  • On Picture-Writing
    The American Mathematical Monthly, Vol. 63, No. 10. (1956), pp. 689-697.
    by G Polya
    posted to math-bib by jff to the group TMC on 2007-04-23 15:56:32 as *** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
  • Elementary Number Theory
    (2007)
    by João Ferreira, Roland Backhouse
    posted to algorithms calculational jff-bib by jff to the group TMC on 2007-03-05 10:08:26 as read along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Recounting the Rationals
    The American Mathematical Monthly, Vol. 107, No. 4. (2000), pp. 360-363.
    by Neil Calkin, Herbert S Wilf
    posted to algorithms math-bib by jff to the group TMC on 2007-02-26 11:46:42 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Enumerating the Rationals
    (2006)
    by Jeremy Gibbons, David Lester, Richard Bird
    posted to haskell general-bib algorithms by jff to the group TMC on 2007-02-01 13:56:56 as ** along with 1 person and 3 groups dsquared Crypto GraphTheory Foundations-of-Programming
  • The calculational method
    Inf. Process. Lett., Vol. 53, No. 3. (10 February 1995)
    edited by Roland Backhouse, D Gries, WM Turski, F Dehne
    posted to calculational calculational-bib by jff to the group TMC on 2006-12-31 19:53:35 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Exercises in Quantifier Manipulation
    Mathematics of Program Construction (2006), pp. 69-81.
    by Roland Backhouse, Diethard Michaelis
    posted to rcb-bib by jff to the group TMC on 2006-12-31 19:47:16 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Mathematics with a little bit of logic: Structured derivations in high-school mathematics
    by Ralph-Johan Back, Joakim von Wright
    posted to calculational calculational-bib by jff to the group TMC on 2006-12-31 19:44:24 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • A Browsable Format for Proof Presentation
    (1996)
    by Jim Grundy
    posted to calculational calculational-bib by jff to the group TMC on 2006-12-31 19:40:56 as ** along with 1 person and 3 groups Scis0000002 Crypto GraphTheory Foundations-of-Programming
  • Doing High School Mathematics Carefully
    (1997)
    by Ralph-Johan Back, Joakim von Wright
    posted to calculational calculational-bib by jff to the group TMC on 2006-12-31 19:38:55 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Algorithmic Problem Solving (Draft book)
    (2006)
    by Roland Backhouse
    posted to algorithms construction correctness rcb-bib by jff to the group TMC on 2006-12-31 19:17:04 as read along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to algorithms correctness general-bib by jff to the group TMC on 2006-12-26 12:34:22 as read along with 8 people and 4 groups bfraser _Anne_ rwtodd dsilva jbrown rgb calvins flavian_vasile Crypto GraphTheory pileWorks Foundations-of-Programming
  • Why dependent types matter
    (2006), pp. 1-1.
    by James Mckinna
    posted to epigram by jff to the group TMC on 2006-10-16 17:33:06 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Concrete Mathematics: A Foundation for Computer Science
    (1994)
    by Ronald L Graham, Donald E Knuth, Oren Patashnik
    posted to knuth-bib by jff to the group TMC on 2006-10-04 13:25:37 as ** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
  • Camila Revival: VDM meets Haskell
    (July 2005)
    by Joost Visser, José N Oliveira, João F Ferreira, Alexandra S Mendes
    posted to afm-bib by jff to the group TMC on 2006-09-26 12:00:29 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing
    (2006), pp. 301-304.
    by João F Ferreira, João L Sobral, Alberto J Proenca
    posted to jff-bib by jff to the group TMC on 2006-09-26 12:00:15 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • ParC\#: Parallel Computing with C\# in .NET.
    (2005), pp. 239-248.
    by João F Ferreira, João L Sobral
    posted to jff-bib by jff to the group TMC on 2006-09-26 12:00:15 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Camila Revival: VDM meets Haskell
    (July 2005)
    by Joost Visser, José N Oliveira, João F Ferreira, Alexandra S Mendes
    posted to jff-bib by jff to the group TMC on 2006-09-26 12:00:15 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Coxeter's rabbit
    (April 2002)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • From van IJzeren's correspondence to my aunt & uncle
    (January 2002)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Philips and I: a few snapshots
    (December 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Indirect equality enriched (and a proof by Netty)
    (2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • The GCD and the minimum
    (November 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • On disjoint binary numbers
    (November 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Another look at a problem from Hugo Steinhaus
    (October 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Three trip reports rolled into one: 2001.04.16 -- 2001.07.06
    (September 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Zuckerman's problem and the ETAC
    (June 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • What led to “Notes on Structured Programming“
    (June 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • An unavoidable case analysis
    (March 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • The chessboard covered with dominoes
    (February 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Answers to questions from students of Software Engineering
    (November 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • The end of computing science?
    Comm. ACM, Vol. 44, No. 3. (November 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • My recollections of operating system design
    (April 2001)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Once more bichrome triangles in complete graphs
    (October 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • The river, the isles and the bridges
    (July 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • The notational conventions I adopted, and why
    (July 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
  • On defining sets, suprema, and infima
    (May 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
  • Under the spell of Leibniz's Dream
    (April 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
  • Triggered by a high-school exercise
    (March 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • On weighted means, geometric and arithmetic
    (February 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
  • On weighted means, geometric and arithmetic
    (February 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • On the transitive closure of a wellfounded relation
    (2000), pp. 31-38.
    by Edsger W Dijkstra
    edited by Lã¡szlã³ Bã¶szã¶rmã©nyi, Jã¼rg Gutknecht, Gustav Pomberger
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • On the transitive closure of a wellfounded relation
    (January 2000)
    by Edsger W Dijkstra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 3 groups Crypto GraphTheory Foundations-of-Programming
  • Designing a calculational proof of Cantor's theorem
    Am. Math. Monthly, Vol. 108, No. 5. (2001), pp. 440-443.
    by Edsger W Dijkstra, Jayadev Misra
    posted to ewd-bib by jff to the group TMC on 2006-09-26 11:56:08 as ** along with 1 person and 3 groups ansobol Crypto GraphTheory Foundations-of-Programming
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/1680

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.