Nearby TITLES are:
Result Page   Prev Next
Save   Year Entries
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings   3
Typed lambda models and Cartesian closed categories (preliminary version) / / John C. Mitchell and Philip J. Scott --http://www.ams.org/conm/092/http://dx.doi.org/10.1090/conm/092/1003204 : AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic; Mathematics Library; 電子書  c1989 1
Typed machine language : Swadi, Kedar Nandkumar; 中央研究院; 電子書    1
Typed scheme: From scripts to programs : Tobin-Hochstadt, Sam; 中央研究院; PRINTED    1
Typee --   6
Typee : a narrative of the Marquesas Islands   2
Typee : a peep at Polynesian life --   4
Typee : a peep at Polynesian life during a four months' residence in a valley of the Marquesas, with notices of the French occupation of Tahiti and the provisional cession of the Sandwich Islands to Lord Paulet : Melville, Herman,; Euro-Am Studies Lib; PRINTED  1965 1
Typee : a peep at Polynesian life ; Omoo : a narrative of adventures in the South Seas ; Mardi, and a voyage thither : Melville, Herman,; Euro-Am Studies Lib; PRINTED  1982 1
Typee : a real romance of the South Seas : Melville, Herman,; The Archives of ITH; PRINTED  c1892 1
Typee in Manuscript -- : Bryant, John,; Euro-Am Studies Lib; PRINTED  1993 1
Typeface and typography : 白石和也; Fu Ssu-Nien Library; PRINTED  2004 1
Typefaces for books : Sutton, James,; Ethnology Library; PRINTED  1990 1
Typen chinesischer volksmarchen : 艾伯華; CLP Library, Ethnology Library ; PRINTED  1999 1
Typen chinesischer volksmarchen. : 艾伯華; Modern History Library; PRINTED  2017 1
Typen türkischer Volksmärchen von Wolfram Eberhard und Pertev Naili Boratav : Eberhard, Wolfram,; Fu Ssu-Nien Library; PRINTED  1953 1
Typen- und Motivkonkordanz -- : Uther, Hans-Jörg; 中央研究院; COMPUTER FILE  c2021 1
TYPES '94 : Information Sci. Lib.; PRINTED  c1995 1
TYPES '94: types for proofs and programs : International Workshop TYPES '94; Information Sci. Lib.; COMPUTER FILE  1995 1
TYPES '95 : Information Sci. Lib.; PRINTED  c1996 1
TYPES '96 : International Workshop on Types for Proofs and Programs; Information Sci. Lib.; PRINTED  c1998 1
TYPES '98 : International Workshop on Types for Proofs and Programs; Information Sci. Lib.; PRINTED  c1999 1
TYPES '99 : TYPES '99; Mathematics Library; 電子書  c2000 1
TYPES 1999 : International Workshop on Types for Proofs and Programs; Information Sci. Lib.; PRINTED  2001 1
TYPES 2000 : International Workshop on Types for Proofs and Programs; Information Sci. Lib.; PRINTED  2002 1
TYPES 2002 : International Workshop on Types for Proofs and Programs; Information Sci. Lib.; PRINTED  2003 1
TYPES 2003   2
TYPES 2004 : International Workshop on Types for Proofs and Programs; Information Sci. Lib.; PRINTED  2006 1
TYPES 2006 : TYPES 2006; Information Sci. Lib.; PRINTED  c2007 1
TYPES 2007 : TYPES 2007; Information Sci. Lib.; PRINTED  c2008 1
Types and Ages of Native California Rock Art -- / 4. : Whitley, David S.; Fu Ssu-Nien Library; PRINTED  c2000 1
Types and Causes of Childhood Diarrhea : Ogunlesi, Tinuade A; Department of Information Technology Services; COMPUTER FILE  2010 1
The Types and Characteristics of Economic and Administrative Reforms in Commonwealth Countries -- : Euro-Am Studies Lib; PRINTED  c2002 1
Types and Classes of Commercial Banks -- : Sinkey, Joseph F; RCHSS Library; PRINTED  1998 1
Types and Components of Information Culture -- / 7.5. : 中央研究院; PRINTED  2017 1
Types and concepts -- : Akhrarkhodjaeva, Nozima,; 人文社會聯圖; PRINTED  2017 1
Types and Functions of Political Ads -- : Trent, Judith S,; Ethnology Library, Euro-Am Studies Lib ; PRINTED  1991 1
Types and instances of data -- / 21.7. : Voirin, Jean-Luc,; Life Sci. LIB; COMPUTER FILE  2018 1
Types and market classes of live stock : Vaughan, Henry William,; The Archives of ITH; PRINTED  1919 1
Types and models of semantics -- : Sheth, A.; Information Sci. Lib.; PRINTED  c2013 1
Types and motifs of Taiwanese folktales : 胡萬川; Fu Ssu-Nien Library, 人文社會聯圖, CLP Library ; PRINTED  2008 1
Types and ontology / / Fred Sommers -- : Euro-Am Studies Lib; PRINTED  2002 1
Types and Origins of Hinges / 100 --6 : Moyal-Sharrock, Danièle,; Euro-Am Studies Lib, 人文社會聯圖, CLP Library ; PRINTED  2004 1
Types and outcomes of change : 人文社會聯圖; PRINTED  2014 1
Types and programming languages   3
Types and shadovvs of our Saviour in the Old Testament   2
Types and shadows : diaries, 2004-2015 : Strong, Roy,; Fu Ssu-Nien Library; PRINTED  2020 1
Types and shadows of our Saviour in the old Testament : Taylor, Thomas,; 中央研究院; COMPUTER FILE  1653 1
Types and sources of reasons for action:   2
Types and sources of reasons for belief:   2
Result Page   Prev Next