帖子
小木虫论坛-学术科研互动平台 » 站内搜索
显示全部
分类 共搜索到 20 个相关话题(最多显示前5000个) 作者 最后发表
导师招生 纽约州立大学奥尔巴尼分校招收Ph.D.
SoftwareEngineering,ElectricalEngineering,Statistics,Mathematicsorotherrelateddisciplinesarestronglyencouraged...graphics,algorithms,logicandoptimization,amongothers.
 shuaibuaa 2017-05-18 02:41
数学 【2015新书】《Logic,Mathematics,and Computer Science》
Logic,Mathematics,andComputerScienceAuthors:YvesNievergeltISBN:978-1-4939-3222-1(Print)978-1-4939-3223-8(Online)[eimg]2016/0111/w64h1365181_1452521538_881.jpg|bcs|1...
 江南的竹 2016-01-11 02:47
检索知识 Document type:Article in Press 算EI检索的期刊论文吗？
Equipment-721.1ComputerTheory,IncludesFormalLogic,AutomataTheory,SwitchingTheory,Programming...Applications-723.2DataProcessingandImageProcessing-921Mathematics-...
 zqpan3 2015-09-24 01:35
会议与征稿布告栏 【2015-09-15】2015年第2届软计算与机器智能国际会议ISCMI（11月...
MakingFuzzyInferenceFuzzyLogicandSystemsFuzzyMathematicsFuzzyOptimisationFuzzyReconfigurableSystemsFuzzySystemsandHardwareGeneticAlgorithmsHuman-machine...
 快乐虫子 2015-07-24 07:16
数学 《Pluralism in Mathematics:A New Position in Philosophy of ...
philosophy,mathematicsandlogic,givingaphilosophicalaccountofPluralismwhichisafamilyofpositionsinthephilosophyofmathematics.Therearefourpartstothisbook,...
 江南的竹 2015-07-19 02:09
文献求助完结子版 Semantical Analysis of Intuitionistic Logic I
LogicIinfo'.2.'][info3]StudiesinLogicandtheFoundationsofMathematicsinfo'.3.'][info4]1965info'.4.'][info5]Volume40,Pages92–130info'.5.'][info7]...
 bobopl 2015-04-15 06:22
论文翻译求助完结子版 紧急紧急，求大神路过帮忙翻译下，%>_拜托拜托啊！
fallveryclosetooptimizationthe-oryandappliedmathematicsand,forobviousreasons,partoftheengineeringschools’curriculum.Otherswouldtraceprojectmanagement...
 鱼尾弋 2014-04-13 09:14
信息科学 国外计算机科学类期刊(转载)
interaction人与计算机交互作用美国53Algorithmica算法美国54Journaloflogicandcomputation逻辑与计算...德国MathematicsandComputersinSimulation荷兰Microprocessors&...
 conanwj 2012-06-04 01:16
物理 Electrons and disorder in solids
aschematiclistofcontents(seethebackendpaper)explainingthelogicofthe“administrative...conceptsunderlyingthisbranchofmathematics.Itispresentinthisbookasa...
 598878157 2012-05-31 05:04
招聘信息布告栏 【AMD】上海logic design team内部推荐
MajorinMicro-Eorrelated,ElectronicEngineer,ComputerScience,Mathematics.Communication.FamiliarwithVerilogHDLcodingandASICFrond-Endimplementationflow.Familiarwithunix/...
 cacikaso 2012-05-07 01:07
信息科学 [Free]Data Mining in Finance_Advances in Relational and ...
learningmethodcombinesthestrengthofinductivelogicprogramming(ILP)andprobabilisticinferenceto...theapplicationofmathematicstoinvestment,economics,andmanagement.We...
 conanwj 2011-07-31 11:39
机械 ICMET 2011_I.C.Mechanical Engineering and Technology(Ei,ISTP...
ApplicationsMeasurementandDiagnosisSystemsDigitalSystemandLogicDesignCircuitsandSystems7....VisualizationandVirtualRealityComputationalMathematicsComputational...
 conanwj 2011-07-18 12:25
信息科学 ISCCS 2011_I.S.Computer Science and Society(Ei,ISTP)
IndustrialautomationLawMathematicsMedicineandscienceMilitaryNaturallanguageinterfacesOffice...verificationModallogicPredicatelogicRelationsystemsRepresentation...
 conanwj 2011-03-29 06:23
数学 【分享】[书籍]Mathematics and Its History）【已搜无重复】
DifferentialGeometry.-Non-EuclideanGeometry.-GroupTheory.-HypercomplexNumbers.-AlgebraicNumberTheory.-Topology.-SimpleGroups.-Sets,Logic,andComputation.-Combinatorics.-...
 aaron1988 2011-03-16 11:37
信息科学 【分享】ICCRD 2011-3rd I.C.Computer Research and Development...
VLSIMathematicalSoftwareInformationSystemsMathematicallogicComputerBasedEducationMobile...EngineeringDiscreteMathematicsReconfigurableComputingSystemsData...
 conanwj 2010-12-10 02:08
信息科学 IEEC 2011-The 3rd I.S.Information Engineering and Electronic...
ScienceandengineeringcomputingDiscreteMathematicsandMathematicalLogicOptimizationtechniquesandalgorithmsNon-linearcalculationMechanicsandfiniteelementmethod...
 conanwj 2010-12-03 02:51
数学 【分享】Mathematical Fallacies and Paradoxes.Dover.1982【已...
interestingparadoxesandfallaciesfrommathematics,logic,physics,andlanguage.Italsotreatsimportantresultsinmathematicsthatarebasedinparadox,notablyGOdel's...
 conanwj 2010-05-06 08:03
土木建筑 Mathematics Logic 匿名 2006-08-29 05:43