-
1Electronic Resource
المؤلفون: Hartmanis, Juris. Dilworth, Robert P.
المصدر: Some embedding theorems for lattices [electronic thesis]
-
2Dissertation/ Thesis
المؤلفون: Hartmanis, Juris
وصف الملف: application/pdf
Relation: https://thesis.library.caltech.edu/4734/; https://resolver.caltech.edu/CaltechETD:etd-12032003-102713; CaltechETD:etd-12032003-102713
-
3Book
المؤلفون: Hartmanis, Juris
المصدر: ACM Turing award lectures ; page 1993 ; ISBN 9781450310499
-
4Academic Journal
المؤلفون: Hartmanis, Juris
المصدر: Proceedings of the American Mathematical Society, 1956 Aug 01. 7(4), 571-577.
URL الوصول: https://www.jstor.org/stable/2033352
-
5Conference
المؤلفون: Aspray, William, Hartmanis, Juris
المصدر: ACM Oral History interviews on -
-
6Academic Journal
المؤلفون: Clark, David C., Feigenbaum, Edward A., Hartmanis, Juris, Lucky, Robert W., Metcalfe, Robert, Reddy, Raj, Shaw, Mary
المصدر: Issues in Science and Technology, 1997 Apr 01. 13(3), 71-78.
URL الوصول: https://www.jstor.org/stable/43311668
-
7Academic Journal
المؤلفون: Hartmanis, Juris
المصدر: Proceedings of the American Mathematical Society, 1957 Jun 01. 8(3), 560-562.
URL الوصول: https://www.jstor.org/stable/2033517
-
8Academic Journal
المؤلفون: Cai, Jin-yi, Hartmanis, Juris
المصدر: Journal of Computer and System Sciences ; volume 49, issue 3, page 605-619 ; ISSN 0022-0000
-
9Academic Journal
المؤلفون: Chang, Richard, Chor, Benny, Goldreich, Oded, Hartmanis, Juris, Håstad, Johan, Ranjan, Desh, Rohatgi, Pankaj
المصدر: Journal of Computer and System Sciences ; volume 49, issue 1, page 24-39 ; ISSN 0022-0000
-
10Academic Journal
المؤلفون: Hartmanis, Juris
المصدر: Communications of the ACM ; volume 37, issue 10, page 37-43 ; ISSN 0001-0782 1557-7317
-
11Academic Journal
المؤلفون: Hartmanis, Juris
المصدر: Journal of the ACM. Jan2003, Vol. 50 Issue 1, p58. 5p. 1 Diagram.
مصطلحات موضوعية: *COMPUTER systems, *MACHINE theory, TURING machines
-
12Academic Journal
المؤلفون: Ranjan, Desh, Chang, Richard, Hartmanis, Juris
المصدر: Theoretical Computer Science ; volume 80, issue 2, page 289-302 ; ISSN 0304-3975
-
13Academic Journal
المؤلفون: Hartmanis, Juris, Hemachandra, Lane A.
المصدر: Theoretical Computer Science ; volume 81, issue 1, page 155-163 ; ISSN 0304-3975
-
14Book
المؤلفون: Hartmanis, Juris
المصدر: Lecture Notes in Computer Science ; How the World Computes ; page 276-282 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642308697 9783642308703
-
15Conference
المصدر: ACM Turing Centenary Celebration on - ACM-TURING '12
-
16Video Recording
المؤلفون: Hartmanis, Juris
مصطلحات موضوعية: Juris Hartmanis, Computer Science, Cornell University, Research
وصف الملف: image/gif; video/m4v; application/pdf
Relation: https://hdl.handle.net/1813/14934
الاتاحة: https://hdl.handle.net/1813/14934
-
17
المؤلفون: Blazewicz, J., Formanowicz, P., Kasprzak, M., Schuurman, P., Woeginger, Gerhard, Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Kucera, Ludek
المساهمون: Discrete Mathematics and Mathematical Programming, Stochastic Operations Research
المصدر: Graph-Theoretic Concepts in Computer Science ISBN: 9783540003311
WG
Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002 Český Krumlov, Czech Republic, June 13–15, 2002 Revised Papers, 13-24
STARTPAGE=13;ENDPAGE=24;TITLE=Graph-Theoretic Concepts in Computer Science
Scopus-Elsevier
Proceedings of the 28th Workshop on Graph-Theoretic Concepts in Computer Science (WG'02, Cseky Krumlov, Czech Republic, June 13-15, 2002), 13-24
STARTPAGE=13;ENDPAGE=24;TITLE=Proceedings of the 28th Workshop on Graph-Theoretic Concepts in Computer Science (WG'02, Cseky Krumlov, Czech Republic, June 13-15, 2002)مصطلحات موضوعية: Combinatorics, Discrete mathematics, Computational complexity theory, Counting problem, Bin packing problem, METIS-208662, 3-dimensional matching, P versus NP problem, Vertex cover, Function problem, Computer Science::Formal Languages and Automata Theory, Polynomial-time reduction, Mathematics
-
18Book
المؤلفون: Hartmanis, Juris, Immerman, Neil
المصدر: Automata, Languages and Programming ; Lecture Notes in Computer Science ; page 250-259 ; ISBN 354015650X
-
19Book
المؤلفون: Hartmanis, Juris
المصدر: Lecture Notes in Computer Science ; Informatics ; page 251-256 ; ISSN 0302-9743 ; ISBN 9783540416357 9783540445777
-
20Periodical
المؤلفون: Eisenberg, Ted, Gries, David, Hartmanis, Juris, Holcomb, Don, Lynn, M. Stuart, Santoro, Thomas
المصدر: Communications of the ACM; Jun89, Vol. 32 Issue 6, p706-710, 5p, 1 Cartoon or Caricature
مصطلحات موضوعية: COMPUTER viruses, INTERNET security
مصطلحات جغرافية: UNITED States
People: MORRIS, Robert Tappan