咨询与建议

限定检索结果

文献类型

  • 363 册 图书
  • 3 篇 期刊文献

馆藏范围

  • 366 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
  • 2 篇 理学
    • 2 篇 数学
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 经济学
    • 1 篇 理论经济学

主题

  • 366 篇 math application...
  • 89 篇 algorithm analys...
  • 75 篇 artificial intel...
  • 68 篇 discrete mathema...
  • 62 篇 numeric computin...
  • 47 篇 computer communi...
  • 36 篇 mathematical log...
  • 33 篇 theory of comput...
  • 33 篇 symbolic and alg...
  • 32 篇 image processing...
  • 31 篇 applications of ...
  • 29 篇 computational ma...
  • 28 篇 simulation and m...
  • 27 篇 data structures
  • 26 篇 computer graphic...
  • 26 篇 cryptology
  • 25 篇 algorithms
  • 24 篇 programming tech...
  • 22 篇 mathematical and...
  • 21 篇 probability and ...

机构

  • 4 篇 dipartimento di ...
  • 3 篇 institute of com...
  • 3 篇 krasovsky instit...
  • 3 篇 sobolev institut...
  • 3 篇 university of ed...
  • 3 篇 fachbereich info...
  • 3 篇 department of ma...
  • 3 篇 institut für ang...
  • 3 篇 department of co...
  • 3 篇 technik und wirt...
  • 2 篇 department of ma...
  • 2 篇 george mason uni...
  • 2 篇 math. and comput...
  • 2 篇 sichuan universi...
  • 2 篇 dipartimento di ...
  • 2 篇 cisuc department...
  • 2 篇 belarusian state...
  • 2 篇 computer science...
  • 2 篇 kyushu sangyo un...
  • 2 篇 university of ud...

作者

  • 6 篇 thomas westerman...
  • 6 篇 peter hartmann
  • 5 篇 michael khachay
  • 5 篇 stefano cagnoni
  • 4 篇 marc kreveld
  • 4 篇 giovanni squille...
  • 4 篇 yury kochetov
  • 4 篇 rolf drechsler
  • 3 篇 gianni a. caro
  • 3 篇 alexander osterm...
  • 3 篇 petr sojka
  • 3 篇 john vince
  • 3 篇 anatoly nazarov
  • 3 篇 carlos cotta
  • 3 篇 jörg arndt
  • 3 篇 christoph haenel
  • 3 篇 benedikt löwe
  • 3 篇 alexander dudin
  • 3 篇 giacomo riccia
  • 3 篇 juan romero

语言

  • 364 篇 英文
  • 2 篇 中文
检索条件"主题词=Math Applications in Computer Science"
366 条 记 录,以下是1-10 订阅
Hybrid dynamic logic institutions for event/data-based systems
收藏 引用
FORMAL ASPECTS OF COMPUTING 2021年 第6期33卷 1209-1248页
作者: Hennicker, Rolf Knapp, Alexander Madeira, Alexandre Ludwig Maximilians Univ Munchen Munich Germany Univ Augsburg Augsburg Germany Univ Aveiro Math Dept CIDMA Aveiro Portugal
We propose E-down arrow((D) over right arrow)-logic as a formal foundation for the specification and development of event-based systems with data states. The framework is presented as an institution in the sense of Go... 详细信息
来源: 评论
Computational Aspects of Sustainability
收藏 引用
COMPUTATIONAL ECONOMICS 2021年 第3期58卷 549-553页
作者: Halkos, George E. Tsilika, Kyriaki D. Univ Thessaly Dept Econ Lab Operat Res 7828Hs Octovriou St Volos 38333 Greece
来源: 评论
Foundations of programming languages, Second Edition
收藏 引用
FORMAL ASPECTS OF COMPUTING 2021年 第6期33卷 1279-1280页
作者: Wilhelm, Reinhard Saarland Univ Saarland Informat CampusCampus E1 3Room 405 D-66123 Saarbrucken Germany
No abstract available.
来源: 评论
Monte Carlo and Quasi-Monte Carlo Methods 2008  1
收藏 引用
2009年
作者: Pierre L' Ecuyer Art B. Owen
This book represents the refereed proceedings of the Eighth International Conference on Monte Carlo (MC)and Quasi-Monte Carlo (QMC) Methods in Scientific Computing, held in Montreal (Canada) in July 2008. It covers th... 详细信息
来源: 评论
Relaxation and decomposition methods for mixed integer nonlinear programming /
收藏 引用
2005年
作者: Nowak Ivo.
来源: 内蒙古大学图书馆图书 评论
Geometric Fundamentals of Robotics  2
收藏 引用
丛书名: Monographs in computer science
2005年
作者: J. M. Selig
来源: 评论
math into LATEX  3
收藏 引用
2000年
作者: George Grätzer
AMS packages that replaced AMS-Ib-TEX, version 1.1, but the book still had an AMS-Ib-TEX-centric view. This third edition is about Ib-TEX. Where necessary, I recommend that you use packages to extend Ib-TEX's capa... 详细信息
来源: 评论
mathematical Morphology and Its applications to Image and Signal Processing  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Pierre Soille Martino Pesaresi Georgios K. Ouzounis
This book contains the refereed proceedings of the 10th International Symposium on mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. It is a collection of 39 revised full papers, from whic... 详细信息
来源: 评论
DNA Computing and Molecular Programming  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Chris Thachuk Yan Liu
来源: 评论
mathematische Grundlagen der Informatik  6
收藏 引用
1000年
作者: Christoph Meinel Martin Mundhenk
来源: 评论