Mathematics of Computing.
概要
作品: | 655 作品在 566 項出版品 566 種語言 |
---|
書目資訊
High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(書目-語言資料,印刷品)
Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 /
by:
(書目-語言資料,印刷品)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering `07 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and modern art = proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 /
by:
(書目-電子資源)
Transactions on large-scale data- and knowledge-centered systems XVI = selected papers from ACOMP 2013 /
by:
(書目-電子資源)
Index-aware model order reduction methods = applications to differential-algebraic equations /
by:
(書目-電子資源)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(書目-電子資源)
Verifiable composition of signature and encryption = a comprehensive study of the design paradigms /
by:
(書目-電子資源)
Task scheduling for multi-core and parallel architectures = challenges, solutions and perspectives /
by:
(書目-電子資源)
Geometrically unfitted finite element methods and applications = proceedings of the UCL Workshop 2016 /
by:
(書目-電子資源)
Fundamentals and applications of hardcopy communication = conveying side information by printed media /
by:
(書目-電子資源)
High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 /
by:
(書目-語言資料,印刷品)
Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
by:
(書目-語言資料,印刷品)
Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO /
by:
(書目-語言資料,印刷品)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
by:
(書目-語言資料,印刷品)
A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(書目-語言資料,印刷品)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
by:
(書目-語言資料,印刷品)
High performance computing in science and engineering '08 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP /
by:
(書目-語言資料,印刷品)
Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(書目-電子資源)
Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers /
by:
(書目-電子資源)
Digital imaging and communications in medicine (DICOM) = a practical introduction and survival guide /
by:
(書目-電子資源)
Biomedical image registration = 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings /
by:
(書目-電子資源)
Swarm Intelligence = 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014 : proceedings /
by:
(書目-電子資源)
Algorithmic differentiation of pragma-defined parallel regions = differentiating computer programs containing OpenMP /
by:
(書目-電子資源)
SAGA - advances in shApes, geometry, and algebra = results from the Marie Curie Initial Training Network /
by:
(書目-電子資源)
Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(書目-電子資源)
All about music = the complete ontology: realities, semiotics, communication, and embodiment /
by:
(書目-電子資源)
Mathematics and computing = third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings /
by:
(書目-電子資源)
EVOLVE = a bridge between probability, set oriented numerics and evolutionary computation VII /
by:
(書目-電子資源)
The mathematical-function computation handbook = programming using the MathCW portable software library /
by:
(書目-電子資源)
Geometric science of information = third International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Advances in computer algebra = in honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(書目-電子資源)
Practical Python AI projects = mathematical models of optimization problems with Google OR-tools /
by:
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I /
by:
(書目-語言資料,印刷品)
Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Game theory for networks = 8th International EAI Conference, GameNets 2019, Paris, France, April 25-26, 2019 : proceedings /
by:
(書目-電子資源)
Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings /
by:
(書目-電子資源)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I /
by:
(書目-電子資源)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III /
by:
(書目-電子資源)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V /
by:
(書目-電子資源)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II /
by:
(書目-電子資源)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV /
by:
(書目-電子資源)
Nature-inspired computation in navigation and routing problems = algorithms, methods and applications /
by:
(書目-電子資源)
Data mining and big data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14-20, 2020 : proceedings /
by:
(書目-電子資源)
Combinatorial image analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020 : proceedings /
by:
(書目-電子資源)
Proceedings of the sixth International Conference on Mathematics and Computing = ICMC 2020 /
by:
(書目-電子資源)
Applied mathematics and computational mechanics for smart applications = proceedings of AMMAI 2020 /
by:
(書目-電子資源)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(書目-電子資源)
Optimization and learning = third International Conference, OLA 2020, Cadiz, Spain, February 17-19, 2020 : proceedings /
by:
(書目-電子資源)
Mathematical modelling and scientific computing with applications = ICMMSC 2018, Indore, India, July 19-21 /
by:
(書目-電子資源)
Game theory = third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7-9, 2019 : revised selected papers /
by:
(書目-電子資源)
Finite volumes for complex applications IX = methods, theoretical aspects, examples : FVCA 9, Bergen, Norway, June 2020 /
by:
(書目-電子資源)
Big data = 8th CCF Conference, BigData 2020, Chongqing, China, October 22-24, 2020 : revised selected papers /
by:
(書目-電子資源)
Algorithmic decision theory = 6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019 : proceedings /
by:
(書目-電子資源)
Combinatorics on words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019 : proceedings /
by:
(書目-電子資源)
Search-based software engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020 : proceedings /
by:
(書目-電子資源)
Membrane computing = 21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers /
by:
(書目-電子資源)
Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part V /
by:
(書目-電子資源)
Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part VI /
by:
(書目-電子資源)
Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part I /
by:
(書目-電子資源)
Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part III /
by:
(書目-電子資源)
Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part IV /
by:
(書目-電子資源)
Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part II /
by:
(書目-電子資源)
Computational diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 /
by:
(書目-電子資源)
Computing and combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021 : proceedings /
by:
(書目-電子資源)
Algorithmic decision theory = 7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021 : proceedings /
by:
(書目-電子資源)
Intelligent systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020 : proceedings.. Part II /
by:
(書目-電子資源)
Understand mathematics, understand computing = discrete mathematics that all computing students should know /
by:
(書目-電子資源)
LATIN 2020 = theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings /
by:
(書目-電子資源)
Algorithmic game theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020 : proceedings /
by:
(書目-電子資源)
Treewidth, kernels, and algorithms = essays dedicated to Hans L. Bodlaender on the occasion of his 60th birthday /
by:
(書目-電子資源)
Geometric science of information = 5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings /
by:
(書目-電子資源)
Thinking programs = logical modeling and reasoning about languages, data, computations, and executions /
by:
(書目-電子資源)
Developments in language theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings /
by:
(書目-電子資源)
Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(書目-電子資源)
Green energy and networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings /
by:
(書目-電子資源)
Networked systems = 9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings /
by:
(書目-電子資源)
Chance in physics, computer science and philosophy = chance as the foundation of the world /
by:
(書目-電子資源)
Principles of parallel scientific computing = a first guide to numerical concepts and programming methods /
by:
(書目-電子資源)
Modern cryptography.. Volume 1,. A classical introduction to informational and mathematical principle
by:
(書目-電子資源)
Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part I /
by:
(書目-電子資源)
Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part II /
by:
(書目-電子資源)
Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part III /
by:
(書目-電子資源)
Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part IV /
by:
(書目-電子資源)
Game theory for networks = 11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings /
by:
(書目-電子資源)
Developments in language theory = 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-電子資源)
Web and internet economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14-17, 2021 : proceedings /
by:
(書目-電子資源)
OCaml scientific computing = functional programming in data science and artificial intelligence /
by:
(書目-電子資源)
Developments in language theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022 : proceedings /
by:
(書目-電子資源)
Comparative genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022 : proceedings /
by:
(書目-電子資源)
Algorithmic game theory = 14th international symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021 : proceedings /
by:
(書目-電子資源)
Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part II /
by:
(書目-電子資源)
Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(書目-電子資源)
Algebraic informatics = 9th International Conference, CAI 2022, virtual event, October 27-29, 2022 : proceedings /
by:
(書目-電子資源)
Concrete abstractions = formalizing and analyzing discrete theories and algorithms with the RISCAL model checker /
by:
(書目-電子資源)
Comparative genomics = 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題