首页 全部商品 共 205 款相关商品
商品分类
热门搜索
  • 新上 人气 热销 价格↑ 价格↓ 不限价格 0-30元 31-100元 101-300元 301-1000元 1001-3000元 3001-10000元 10000元+
  • Lambda Markov Typed Probabilistic 概率类型化Lambda演算 海外直订Semantics Semantics 语 the Chain Calculus

    Lambda Markov Typed Probabilistic 概率类型化Lambda演算 海外直订Semantics Semantics 语 the Chain Calculus

    ¥1590满600减30售0件

    中华商务图书专营店
  • Typed Feature The Logic Structures With 预售

    Typed Feature The Logic Structures With 预售

    ¥595满500减100售0件

    中国国际图书专营店
  • 预售 the Typed... Semantics Probabilistic

    预售 the Typed... Semantics Probabilistic

    ¥1314满1000减200售0件

    中国国际图书专营店
  • Cleaner 类型化PHP PHP for Types 代码 海外直订Typed 更清晰 类型 Stronger 更强 Code

    Cleaner 类型化PHP PHP for Types 代码 海外直订Typed 更清晰 类型 Stronger 更强 Code

    ¥283283售0件

    中华商务图书专营店
  • 海外直订He She 她打字 他打字 Typed.

    海外直订He She 她打字 他打字 Typed.

    ¥245245售0件

    中华商务图书专营店
  • 美国Stewart家族 Clan America; 人很少;输入……者同时哈克尼 海外直订Few the ... Stewart Harkness Typed J.M.

    美国Stewart家族 Clan America; 人很少;输入……者同时哈克尼 海外直订Few the ... Stewart Harkness Typed J.M.

    ¥196.8196.8售0件

    中华商务图书专营店
  • Kra Calculi Applications 9783540419600 英文原版 现货 Conference Typed International Lambda 2001 5th TLCA and

    Kra Calculi Applications 9783540419600 英文原版 现货 Conference Typed International Lambda 2001 5th TLCA and

    ¥484满200减10售0件

    国纯图书专营店
  • Types for Typed PHP Cleaner Code Stronger 预订

    Types for Typed PHP Cleaner Code Stronger 预订

    ¥251满200减30售0件

    中国国际图书专营店
  • 4周达 Calculi Conference 2001 Lambda Krakow International Pol... and 9783540419600 Typed 5th TLCA Applications

    4周达 Calculi Conference 2001 Lambda Krakow International Pol... and 9783540419600 Typed 5th TLCA Applications

    ¥660660售0件

    澜瑞图书专营店
  • Stronger For PHP Typed ed. 1st Code 9781484221136 4周达 Cleaner Types

    Stronger For PHP Typed ed. 1st Code 9781484221136 4周达 Cleaner Types

    ¥292292售0件

    澜瑞图书专营店
  • Logic Combinatory 精装 and 4周达 9781439800003 Applied Pure Typed

    Logic Combinatory 精装 and 4周达 9781439800003 Applied Pure Typed

    ¥24782478售0件

    澜瑞图书专营店
  • 4周达 Calculi Conference 2009 Lambda Brasilia International ... and 9783642022722 Typed 9th TLCA Applications

    4周达 Calculi Conference 2009 Lambda Brasilia International ... and 9783642022722 Typed 9th TLCA Applications

    ¥660660售0件

    澜瑞图书专营店
  • Termin... Markov 9783642551970 精装 Chain Semantics Probabilistic Typed Lambda Calculus the 4周达

    Termin... Markov 9783642551970 精装 Chain Semantics Probabilistic Typed Lambda Calculus the 4周达

    ¥14811481售0件

    澜瑞图书专营店
  • 4周达 Calculi Conference 2011 Lambda Novi International Sad... and 9783642216909 Typed 10th TLCA Applications

    4周达 Calculi Conference 2011 Lambda Novi International Sad... and 9783642216909 Typed 10th TLCA Applications

    ¥638638售0件

    澜瑞图书专营店
  • 4周达 Calculi Conference 2005 Lambda Nara International Jap... and 9783540255932 Typed 7th TLCA Applications

    4周达 Calculi Conference 2005 Lambda Nara International Jap... and 9783540255932 Typed 7th TLCA Applications

    ¥660660售0件

    澜瑞图书专营店
  • Termination... Probabilistic 9783662568729 Calculus 4周达 Lambda Semantics Chain Typed Markov the

    Termination... Probabilistic 9783662568729 Calculus 4周达 Lambda Semantics Chain Typed Markov the

    ¥14811481售0件

    澜瑞图书专营店
  • 4周达 Calculi Conference 2003 Lambda Valencia International ... and 9783540403326 Typed 6th TLCA Applications

    4周达 Calculi Conference 2003 Lambda Valencia International ... and 9783540403326 Typed 6th TLCA Applications

    ¥638638售0件

    澜瑞图书专营店
  • Structure 预订 9781575862606 Volume 110 Grammars Feature Typed Implementing

    Structure 预订 9781575862606 Volume 110 Grammars Feature Typed Implementing

    ¥373373售0件

    澜瑞图书专营店
  • Eindhove... Calculi TLCA 9783642389450 Typed 2013 Lambda Applications 11th International Conference and 4周达

    Eindhove... Calculi TLCA 9783642389450 Typed 2013 Lambda Applications 11th International Conference and 4周达

    ¥598598售0件

    澜瑞图书专营店
  • 4周达 Typed Conferences TLCA and 2014 International He... Lambda 9783319089171 Rewriting Joint RTA Calculi

    4周达 Typed Conferences TLCA and 2014 International He... Lambda 9783319089171 Rewriting Joint RTA Calculi

    ¥660660售0件

    澜瑞图书专营店
  • Feature Grammars Typed Structure 3周达 9783631575505

    Feature Grammars Typed Structure 3周达 9783631575505

    ¥885885售0件

    澜瑞图书专营店
  • Structure Feature Typed 预订 精装 110 Implementing Volume Grammars 9781575862613

    Structure Feature Typed 预订 精装 110 Implementing Volume Grammars 9781575862613

    ¥728728售0件

    澜瑞图书专营店
  • Progra... Typed Unification 9780521022545 Logic Grammars Structures With Applications Feature 4周达

    Progra... Typed Unification 9780521022545 Logic Grammars Structures With Applications Feature 4周达

    ¥665665售0件

    澜瑞图书专营店
  • 4th TLCA and I... Conference 9783540657637 Aquila International Typed 4周达 Applications Lambda Calculi

    4th TLCA and I... Conference 9783540657637 Aquila International Typed 4周达 Applications Lambda Calculi

    ¥660660售0件

    澜瑞图书专营店
  • 4周达 Calculi Conference 2007 Lambda Paris International Fra... and 9783540732273 Typed 8th TLCA Applications

    4周达 Calculi Conference 2007 Lambda Paris International Fra... and 9783540732273 Typed 8th TLCA Applications

    ¥660660售0件

    澜瑞图书专营店
  • Cal... Lambda and 9783540590484 International 4周达 Second Typed Applications Conference Calculi

    Cal... Lambda and 9783540590484 International 4周达 Second Typed Applications Conference Calculi

    ¥660660售0件

    澜瑞图书专营店
  • Calc... Lambda and 9783540626886 International 4周达 Third Typed Applications Conference Calculi

    Calc... Lambda and 9783540626886 International 4周达 Third Typed Applications Conference Calculi

    ¥660660售0件

    澜瑞图书专营店
  • Programming Solving Typed 9781680509342 Effective Functional Haskell World Problems with Strongly Real 4周达

    Programming Solving Typed 9781680509342 Effective Functional Haskell World Problems with Strongly Real 4周达

    ¥695695售0件

    澜瑞图书专营店
  • 4周达 Typed Workshop and Jerusalem International I... Rewriting 9783540603818 Conditional 4th Ctrs Systems

    4周达 Typed Workshop and Jerusalem International I... Rewriting 9783540603818 Conditional 4th Ctrs Systems

    ¥660660售0件

    澜瑞图书专营店
  • 9781032921181 Logic Typed Applied and Pure Combinatory 4周达

    9781032921181 Logic Typed Applied and Pure Combinatory 4周达

    ¥935935售0件

    澜瑞图书专营店
  • Canada... Typed Workshop 9783540543176 Conditional Montreal and Systems 2nd International Ctrs Rewriting 4周达

    Canada... Typed Workshop 9783540543176 Conditional Montreal and Systems 2nd International Ctrs Rewriting 4周达

    ¥660660售0件

    澜瑞图书专营店
  • Calculi Applications Lambda Typed an... Conference 9783540565178 4周达 International and

    Calculi Applications Lambda Typed an... Conference 9783540565178 4周达 International and

    ¥660660售0件

    澜瑞图书专营店
  • 上一页123456 7 下一页
    Copyright © 2026 零食网 版权所有 渝ICP备12002023号-2 渝公网安备 50010602502240号 合作微信MSYX152132