Mathematics of Computing.
概要
作品: | 828 作品在 246 項出版品 246 種語言 |
---|
書目資訊
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Scale space and variational methods in computer vision = 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary multi-criterion optimization = 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Optimization and applications = 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial intelligence research = 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Code-based cryptography = 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Game theory for networks = 11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modern Cryptography Volume 1 = A Classical Introduction to Informational and Mathematical Principle /
by:
(書目-語言資料,印刷品)
Distributed Artificial Intelligence = Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Communications and Networking = 16th EAI International Conference, ChinaCom 2021, Virtual Event, November 21-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21–22, 2021 Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV /
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 III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and Computation in Music = 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Data Mining = 20th Australasian Conference, AusDM 2022, Western Sydney, Australia, December 12–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Research = Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Computing for Advanced Applications = Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer and Communication Engineering = 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
KI 2022: Advances in Artificial Intelligence = 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(書目-語言資料,印刷品)
Nature of Computation and Communication = 7th EAI International Conference, ICTCC 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
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 I /
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 V /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5–6, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Data Mining = 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Chance in Physics, Computer Science and Philosophy = Chance as the Foundation of the World /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Belief Functions: Theory and Applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
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 III /
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 VI /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Spatial Data and Intelligence = Second International Conference, SpatialDI 2021, Hangzhou, China, April 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the Sixth International Conference on Mathematics and Computing = ICMC 2020 /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Communications and Networks = Second EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python /
by:
(書目-語言資料,印刷品)
Scale Space and Variational Methods in Computer Vision = 8th International Conference, SSVM 2021, Virtual Event, May 16–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Communications and Networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Der Zufall in Physik, Informatik und Philosophie = Zufall als Fundament der Welt /
by:
(書目-語言資料,印刷品)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cerebral Aneurysm Detection and Analysis = First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Database Systems for Advanced Applications = 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data = 8th CCF Conference, BigData 2020, Chongqing, China, October 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Mathematics and Computational Mechanics for Smart Applications = Proceedings of AMMAI 2020 /
by:
(書目-語言資料,印刷品)
Cognitive Radio-Oriented Wireless Networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry and Mathematical Morphology = First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Ubiquitous Communications and Network Computing = 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Basiswissen Analysis = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Basiswissen Angewandte Mathematik – Numerik, Grafik, Kryptik = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Green Energy and Networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Computing for Advanced Applications = First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples = FVCA 9, Bergen, Norway, June 2020 /
by:
(書目-語言資料,印刷品)
Advanced Computing Technologies and Applications = Proceedings of 2nd International Conference on Advanced Computing Technologies and Applications—ICACTA 2020 /
by:
(書目-語言資料,印刷品)
Simulation Science = Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Maple in Mathematics Education and Research = Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 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:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO /
by:
(書目-語言資料,印刷品)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
High performance computing in science and engineering '10 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010 /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings /
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:
(書目-語言資料,印刷品)
High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, 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:
(書目-語言資料,印刷品)
Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering `07 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 /
by:
(書目-語言資料,印刷品)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings /
by:
(書目-語言資料,印刷品)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers /
by:
(書目-語言資料,印刷品)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Mathematical foundations of scientific visualization, computer graphics, and massive data explorationm
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security : = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theoretical and mathematical foundations of computer science = second international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers /
by:
(書目-語言資料,印刷品)
The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : 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:
(書目-語言資料,印刷品)
Operations research and enterprise systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Data analytics for renewable energy integration = third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Biomedical image registration = 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Web and internet economics = 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Digital imaging and communications in medicine (DICOM) = a practical introduction and survival guide /
by:
(書目-語言資料,印刷品)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and modern art = proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2023 = advances in artificial intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Computational methods for deep learning = theory, algorithms, and implementations /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Information systems and design = third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022 : revised selected papers /
by:
(書目-語言資料,印刷品)
Towards AI-aided invention and innovation = 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Application and theory of petri nets and concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Information processing in medical imaging = 28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Computer and communication engineering = third International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems and Design = Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Informatics and Intelligent Applications = First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Modeling, Machine Learning and Astronomy = First International Conference, MMLA 2019, Bangalore, India, November 22–23, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Data Science = 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Similarity Search and Applications = 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 – October 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2020: Theoretical Informatics = 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Basiswissen Lineare Algebra = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Data Mining and Big Data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Space Information Networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Modelling and Scientific Computing with Applications = ICMMSC 2018, Indore, India, July 19–21 /
by:
(書目-語言資料,印刷品)
Optimization and Learning = Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, 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:
(書目-語言資料,印刷品)
Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Index-aware model order reduction methods = applications to differential-algebraic equations /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(書目-語言資料,印刷品)
Applications of evolutionary computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Applications of evolutionary computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part II /
by:
(書目-語言資料,印刷品)
Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Relaxed abduction = robust information interpretation for industrial applications /
by:
(書目-語言資料,印刷品)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Verifiable composition of signature and encryption = a comprehensive study of the design paradigms /
by:
(書目-語言資料,印刷品)
Geometric science of information = third International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Symbolic and quantitative approaches to reasoning with uncertainty = 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Task scheduling for multi-core and parallel architectures = challenges, solutions and perspectives /
by:
(書目-語言資料,印刷品)
Queueing theory and network applications = 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Internet of vehicles = technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Geometrically unfitted finite element methods and applications = proceedings of the UCL Workshop 2016 /
by:
(書目-語言資料,印刷品)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
The mathematical-function computation handbook = programming using the MathCW portable software library /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial life and evolutionary computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(書目-語言資料,印刷品)
LATIN 2018 = theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Mathematics and computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Monte Carlo and quasi-Monte Carlo methods = MCQMC 2016, Stanford, CA, August 14-19 /
by:
(書目-語言資料,印刷品)
Simulation science = first International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Distributed computer and communication networks = 21st International Conference, DCCN 2018, Moscow, Russia, September 17-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Studies on speech production = 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advanced concepts for intelligent vision systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
The GLOBAL optimization algorithm = newly updated with Java implementation and parallelization /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Information processing in medical imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part I /
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:
(書目-語言資料,印刷品)
Parallel computing technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Data analytics for renewable energy integration = 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Operations research and enterprise systems = 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematische Grundlagen der Informatik = Mathematisches Denken und Beweisen Eine Einführung /
by:
(書目-語言資料,印刷品)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Data Analytics for Renewable Energy Integration = Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
All About Music = The Complete Ontology: Realities, Semiotics, Communication, and Embodiment /
by:
(書目-語言資料,印刷品)
Cool Math for Hot Music = A First Introduction to Mathematics for Music Theorists /
by:
(書目-語言資料,印刷品)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(書目-語言資料,印刷品)
Relaxed Abduction = Robust Information Interpretation for Industrial Applications /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Index-aware Model Order Reduction Methods = Applications to Differential-Algebraic Equations /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(書目-語言資料,印刷品)
Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python /
by:
(書目-語言資料,印刷品)
LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Studies on Speech Production = 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation Science = First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
The GLOBAL Optimization Algorithm = Newly Updated with Java Implementation and Parallelization /
by:
(書目-語言資料,印刷品)
Mathematics and Computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Computer Algebra = In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(書目-語言資料,印刷品)
Clinical Rehabilitation Experience Utilizing Serious Games = Rehabilitation Technology and a Technical Concept for Health Data Collection /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Fundamentals and Applications of Hardcopy Communication = Conveying Side Information by Printed Media /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Python AI Projects = Mathematical Models of Optimization Problems with Google OR-Tools /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Ophthalmic Medical Image Analysis = 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Game Theory for Networks = 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Data Processing = 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Information Processing in Medical Imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
(書目-語言資料,印刷品)
Stochastic Models in Reliability, Network Security and System Safety = Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Arto Salomaa: Mathematician, Computer Scientist, and Teacher = A Thematic Biography /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Game Theory = Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
更多
較少的
主題