Computer science - Mathematics.
概要
| 作品: | 273 作品在 179 項出版品 179 種語言 | |
|---|---|---|
書目資訊
The limits of mathematics : = a course on information theory and limits of formal reasoning /
by:
(書目-語言資料,印刷品)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
The mathematical-function computation handbook = programming using the MathCW portable software library /
by:
(書目-電子資源)
Recent progress and modern challenges in applied mathematics, modeling and computational science
by:
(書目-電子資源)
Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI /
by:
(書目-電子資源)
Introduction to cutting and packing optimization = problems, modeling approaches, solution methods /
by:
(書目-電子資源)
An excursion through elementary mathematics.. Volume III,. Discrete mathematics and polynomial algebra
by:
(書目-電子資源)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(書目-電子資源)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(書目-電子資源)
Mathematics in computing = an accessible guide to historical, foundational and application contexts /
by:
(書目-電子資源)
Geometric algebra for computer science : = an object-oriented approach to geometry /
by:
(書目-語言資料,印刷品)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Physics and theoretical computer science = from numbers and languages to (quantum) cryptography security /
by:
(書目-語言資料,印刷品)
Discrete mathematics : = mathematical reasoning and proof with puzzles, patterns, and games /
by:
(書目-語言資料,印刷品)
Foundations of logic and mathematics : = applications to computer science and cryptography /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid algorithms for service, computing and manufacturing systems = routing and scheduling solutions /
by:
(書目-語言資料,印刷品)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-電子資源)
Health care provision and patient mobility = health integration in the European Union /
by:
(書目-電子資源)
Intelligent routines II = solving linear algebra and differential geometry with Sage /
by:
(書目-電子資源)
Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
(書目-電子資源)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
by:
(書目-電子資源)
Programming for computations - Python = a gentle introduction to numerical simulations with Python /
by:
(書目-電子資源)
Programming for computations - MATLAB/Octave = a gentle introduction to numerical simulations with MATLAB/Octave /
by:
(書目-電子資源)
Concise guide to computing foundations = core concepts and select scientific applications /
by:
(書目-電子資源)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(書目-電子資源)
All about music = the complete ontology: realities, semiotics, communication, and embodiment /
by:
(書目-電子資源)
FluSHELL = a tool for thermal modelling and simulation of windings for large shell-type power transformers /
by:
(書目-電子資源)
Modern discrete mathematics and analysis = with applications in cryptography, information systems and modeling /
by:
(書目-電子資源)
Programming for computations = Python : a gentle introduction to numerical simulations with Python 3.6 /
by:
(書目-電子資源)
Artificial mathematical intelligence = cognitive, (meta)mathematical, physical and philosophical foundations /
by:
(書目-電子資源)
An introduction to element-based Galerkin methods on tensor-product bases = analysis, algorithms, and applications /
by:
(書目-電子資源)
Mathematical modelling in real life problems = case studies from ECMI-Modelling Weeks /
by:
(書目-電子資源)
Topological methods in data analysis and visualization. = theory, algorithms, and applications /. V
by:
(書目-電子資源)
Discrete mathematics : = graph algorithms, algebraic structures, coding theory, and cryptography /
by:
(書目-語言資料,印刷品)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Computing with new resources = essays dedicated to Jozef Gruska on the occasion of his 80th birthday /
by:
(書目-電子資源)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(書目-電子資源)
Continuum mechanics, applied mathematics and scientific computing = Godunov's legacy : a liber amicorum to Professor Godunov /
by:
(書目-電子資源)
Applied mathematics and computational mechanics for smart applications = proceedings of AMMAI 2020 /
by:
(書目-電子資源)
Computational and experimental simulations in engineering = proceedings of ICCES 2020.. Volume 2 /
by:
(書目-電子資源)
Probability in electrical engineering and computer science = an application-driven course /
by:
(書目-電子資源)
Thinking programs = logical modeling and reasoning about languages, data, computations, and executions /
by:
(書目-電子資源)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(書目-電子資源)
Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(書目-電子資源)
Green energy and networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings /
by:
(書目-電子資源)
Understand mathematics, understand computing = discrete mathematics that all computing students should know /
by:
(書目-電子資源)
Chance in physics, computer science and philosophy = chance as the foundation of the world /
by:
(書目-電子資源)
Simple type theory = a practical logic for expressing and reasoning about mathematical ideas /
by:
(書目-電子資源)
Computational methods based on peridynamics and nonlocal operators = theory and applications /
by:
(書目-電子資源)
更多
較少的
主題