Computer science - Mathematics.
概要
| 作品: | 167 作品在 131 項出版品 131 種語言 | |
|---|---|---|
書目資訊
Simple type theory = a practical logic for expressing and reasoning about mathematical ideas /
by:
(書目-語言資料,印刷品)
Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems /
by:
(書目-語言資料,印刷品)
Logic and games on automatic structures = playing with quantifiers and decompositions /
by:
(書目-語言資料,印刷品)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(書目-語言資料,印刷品)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
by:
(書目-語言資料,印刷品)
Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
by:
(書目-語言資料,印刷品)
Hybrid algorithms for service, computing and manufacturing systems = routing and scheduling solutions /
by:
(書目-語言資料,印刷品)
Mathematics in computing = an accessible guide to historical, foundational and application contexts /
by:
(書目-語言資料,印刷品)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
In search of elegance in the theory and practice of computation = essays dedicated to Peter Buneman /
by:
(書目-語言資料,印刷品)
Transactions on computational science XX = special issue on Voronoi diagrams and their applications /
by:
(書目-語言資料,印刷品)
Ricci flow for shape analysis and surface registration = theories, algorithms and applications /
by:
(書目-語言資料,印刷品)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Advances in research methods for information systems research = data mining, data envelopment analysis, value focused thinking /
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:
(書目-語言資料,印刷品)
A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains /
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:
(書目-語言資料,印刷品)
Cool math for hot music = a first introduction to mathematics for music theorists /
by:
(書目-語言資料,印刷品)
All about music = the complete ontology: realities, semiotics, communication, and embodiment /
by:
(書目-語言資料,印刷品)
Discrete and computational geometry and graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI /
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:
(書目-語言資料,印刷品)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(書目-語言資料,印刷品)
Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection /
by:
(書目-語言資料,印刷品)
An excursion through elementary mathematics.. Volume III,. Discrete mathematics and polynomial algebra
by:
(書目-語言資料,印刷品)
Machine scheduling to minimize weighted completion times = the use of the α-point /
by:
(書目-語言資料,印刷品)
Modern discrete mathematics and analysis = with applications in cryptography, information systems and modeling /
by:
(書目-語言資料,印刷品)
Mathematics and computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(書目-語言資料,印刷品)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Discrete probability models and methods = probability on graphs and trees, Markov chains and random fields, entropy and coding /
by:
(書目-語言資料,印刷品)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
(書目-語言資料,印刷品)
Introduction to lattice algebra : = with applications in AI, pattern recognition, image analysis, and biomimetic neural networks /
by:
(書目-語言資料,印刷品)
更多
較少的
主題