Computer science—Mathematics.
Overview
Works: | 1125 works in 0 publications in 0 languages |
---|
Titles
Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
by:
(Language materials, printed)
Cohesive Subgraph Search Over Large Heterogeneous Information Networks
by:
(Language materials, printed)
A Topology of Mind = Spiral Thought Patterns, the Hyperlinking of Text, Ideas and More /
by:
(Language materials, printed)
Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings /
by:
(Language materials, printed)
Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(Language materials, printed)
Body Area Networks. Smart IoT and Big Data for Intelligent Health Management = 16th EAI International Conference, BODYNETS 2021, Virtual Event, October 25-26, 2021, Proceedings /
by:
(Language materials, printed)
Statistics for Data Scientists = An Introduction to Probability, Statistics, and Data Analysis /
by:
(Language materials, printed)
Information Systems and Design = Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings /
by:
(Language materials, printed)
Informatics and Intelligent Applications = First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Wireless and Satellite Systems = 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 – August 2, 2021, Proceedings /
by:
(Language materials, printed)
Diabetic Foot Ulcers Grand Challenge = Second Challenge, DFUC 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings /
by:
(Language materials, printed)
Statistics in the Public Interest = In Memory of Stephen E. Fienberg /
by:
(Language materials, printed)
Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Modern Cryptography Volume 1 = A Classical Introduction to Informational and Mathematical Principle /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(Language materials, printed)
Distributed Artificial Intelligence = Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings /
by:
(Language materials, printed)
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
by:
(Language materials, printed)
Communications and Networking = 16th EAI International Conference, ChinaCom 2021, Virtual Event, November 21-22, 2021, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(Language materials, printed)
Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik /
by:
(Language materials, printed)
Multilayer Networks: Analysis and Visualization = Introduction to muxViz with R /
by:
(Language materials, printed)
On the Epistemology of Data Science = Conceptual Tools for a New Inductivism /
by:
(Language materials, printed)
Algorithmic Decision Making with Python Resources = From Multicriteria Performance Records to Decision Algorithms via Bipolar-Valued Outranking Digraphs /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings /
by:
(Language materials, printed)
Computer-Aided Architectural Design. Design Imperatives: The Future is Now = 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16–18, 2021, Selected Papers /
by:
(Language materials, printed)
Metrics That Make a Difference = How to Analyze Change and Error /
by:
(Language materials, printed)
Large-Scale Scientific Computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings /
by:
(Language materials, printed)
Minimum Divergence Methods in Statistical Machine Learning = From an Information Geometric Viewpoint /
by:
(Language materials, printed)
Code-Based Cryptography = 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21–22, 2021 Revised Selected Papers /
by:
(Language materials, printed)
Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings /
by:
(Language materials, printed)
Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Exploration of Novel Intelligent Optimization Algorithms = 12th International Symposium, ISICA 2021, Guangzhou, China, November 20–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings /
by:
(Language materials, printed)
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 9th International Conference, ICORES 2020, Valetta, Malta, February 22–24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Statistical Reliability Engineering = Methods, Models and Applications /
by:
(Language materials, printed)
Lattice Rules = Numerical Integration, Approximation, and Discrepancy /
by:
(Language materials, printed)
Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings /
by:
(Language materials, printed)
Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 20th International Conference, ITMM 2021, Named after A.F. Terpugov, Tomsk, Russia, December 1–5, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
(Language materials, printed)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV /
by:
(Language materials, printed)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings /
by:
(Language materials, printed)
Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor /
by:
(Language materials, printed)
Building and Solving Mathematical Programming Models = 50 Practical Examples /
by:
(Language materials, printed)
Mathematics and Computation in Music = 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings /
by:
(Language materials, printed)
OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence /
by:
(Language materials, printed)
Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings /
by:
(Language materials, printed)
City, Society, and Digital Transformation = Proceedings of the 2022 INFORMS International Conference on Service Science /
by:
(Language materials, printed)
Data Mining = 20th Australasian Conference, AusDM 2022, Western Sydney, Australia, December 12–15, 2022, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Research = Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings /
by:
(Language materials, printed)
Computational Diffusion MRI = 13th International Workshop, CDMRI 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings /
by:
(Language materials, printed)
Petri Nets = Theoretical Models and Analysis Methods for Concurrent Systems /
by:
(Language materials, printed)
Den Fehlerteufel ausgetrickst = Codierungstheorie verständlich erklärt /
by:
(Language materials, printed)
LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings /
by:
(Language materials, printed)
Neural Computing for Advanced Applications = Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II /
by:
(Language materials, printed)
Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings /
by:
(Language materials, printed)
Algebraic Informatics = 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings /
by:
(Language materials, printed)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research: Recent Trends = 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Computer and Communication Engineering = 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(Language materials, printed)
Systematic Innovation Partnerships with Artificial Intelligence and Information Technology = 22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27–29, 2022, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings /
by:
(Language materials, printed)
KI 2022: Advances in Artificial Intelligence = 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings /
by:
(Language materials, printed)
Combinatorics, Graph Theory and Computing = SEICCGTC 2020, Boca Raton, USA, March 9–13 /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
(Language materials, printed)
Choice Computing: Machine Learning and Systemic Economics for Choosing
by:
(Language materials, printed)
Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(Language materials, printed)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(Language materials, printed)
New Trends in Information and Communications Technology Applications = 5th International Conference, NTICT 2021, Baghdad, Iraq, November 17–18, 2021, Proceedings /
by:
(Language materials, printed)
Nature of Computation and Communication = 7th EAI International Conference, ICTCC 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(Language materials, printed)
Optimization and Decision Science = ODS, Virtual Conference, November 19, 2020 /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Distributed Computer and Communication Networks: Control, Computation, Communications = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Performance Engineering and Stochastic Modeling = 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings /
by:
(Language materials, printed)
Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(Language materials, printed)
Discrete and Computational Geometry, Graphs, and Games = 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(Language materials, printed)
Machine Learning and Principles and Practice of Knowledge Discovery in Databases = International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(Language materials, printed)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(Language materials, printed)
String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering = 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Discrete Mathematics and Graph Theory = A Concise Study Companion and Guide /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(Language materials, printed)
Collaborative Computing: Networking, Applications and Worksharing = 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Numerical Geometry, Grid Generation and Scientific Computing = Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020 /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research: Recent Trends = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering = 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Cerebral Aneurysm Detection and Analysis = First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = Proceedings of the First International Conference, MMCITRE 2020 /
by:
(Language materials, printed)
Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings /
by:
(Language materials, printed)
Diskrete Mathematik mit Grundlagen = Lehrbuch für Studierende von MINT-Fächern /
by:
(Language materials, printed)
An Invitation to Analytic Combinatorics = From One to Several Variables /
by:
(Language materials, printed)
Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung /
by:
(Language materials, printed)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings /
by:
(Language materials, printed)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Database Systems for Advanced Applications = 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Advanced Computing in Industrial Mathematics = 13th Annual Meeting of the Bulgarian Section of SIAM, December 18-20, 2018, Sofia, Bulgaria, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods for Deep Learning = Theoretic, Practice and Applications /
by:
(Language materials, printed)
Maple in Mathematics Education and Research = 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 19th International Conference, ITMM 2020, Named after A.F. Terpugov, Tomsk, Russia, December 2-5, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Big Data = 8th CCF Conference, BigData 2020, Chongqing, China, October 22–24, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Applied Mathematics and Computational Mechanics for Smart Applications = Proceedings of AMMAI 2020 /
by:
(Language materials, printed)
Mathematical Structures of Ergodicity and Chaos in Population Dynamics
by:
(Language materials, printed)
Stability Analysis of Regenerative Queueing Models = Mathematical Methods and Applications /
by:
(Language materials, printed)
Cognitive Radio-Oriented Wireless Networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Machine Learning and Knowledge Discovery in Databases. Research Track = European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Pattern Recognition = 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings /
by:
(Language materials, printed)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(Language materials, printed)
Well Packed – Not a Bit Too Much = Compression of Digital Data Explained in an Understandable Way /
by:
(Language materials, printed)
Recent Trends in Mathematical Modeling and High Performance Computing = M3HPCST-2020, Ghaziabad, India, January 9-11, 2020 /
by:
(Language materials, printed)
Geometric Science of Information = 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings /
by:
(Language materials, printed)
Discrete Geometry and Mathematical Morphology = First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(Language materials, printed)
Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods
by:
(Language materials, printed)
Ubiquitous Communications and Network Computing = 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(Language materials, printed)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(Language materials, printed)
The Search for ExtraTerrestrial Intelligence = Proceedings of the 2nd SETI-INAF Meeting 2019 /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(Language materials, printed)
Concise Guide to Quantum Computing = Algorithms, Exercises, and Implementations /
by:
(Language materials, printed)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers /
by:
(Language materials, printed)
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production = 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Modeling, Machine Learning and Astronomy = First International Conference, MMLA 2019, Bangalore, India, November 22–23, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Machine Learning, Optimization, and Data Science = 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings /
by:
(Language materials, printed)
Distributed Computer and Communication Networks: Control, Computation, Communications = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Simulation and Synthesis in Medical Imaging = 5th International Workshop, SASHIMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII /
by:
(Language materials, printed)
Topological Methods in Data Analysis and Visualization V = Theory, Algorithms, and Applications /
by:
(Language materials, printed)
Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
by:
(Language materials, printed)
Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings /
by:
(Language materials, printed)
Similarity Search and Applications = 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 – October 2, 2020, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings /
by:
(Language materials, printed)
LATIN 2020: Theoretical Informatics = 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
by:
(Language materials, printed)
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra = In Honour of Peter Paule on his 60th Birthday /
by:
(Language materials, printed)
Mathematical Research for Blockchain Economy = 2nd International Conference MARBLE 2020, Vilamoura, Portugal /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(Language materials, printed)
Recent Advances in Data Science = Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part III /
by:
(Language materials, printed)
New Trends in Computational Vision and Bio-inspired Computing = Selected works presented at the ICCVBIC 2018, Coimbatore, India /
by:
(Language materials, printed)
Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings /
by:
(Language materials, printed)
Information and Communication Technologies in Education, Research, and Industrial Applications = 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings /
by:
(Language materials, printed)
Database and Expert Systems Applications = DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings /
by:
(Language materials, printed)
Basiswissen Lineare Algebra = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(Language materials, printed)
Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
String Processing and Information Retrieval = 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings /
by:
(Language materials, printed)
Geoinformatics in Sustainable Ecosystem and Society = 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21–25, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings /
by:
(Language materials, printed)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Accelerated Optimization for Machine Learning = First-Order Algorithms /
by:
(Language materials, printed)
Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Developments in Language Theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings /
by:
(Language materials, printed)
Research in Computational Molecular Biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings /
by:
(Language materials, printed)
Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Distributed Graph Analytics = Programming, Languages, and Their Compilation /
by:
(Language materials, printed)
Industrial Networks and Intelligent Systems = 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings /
by:
(Language materials, printed)
Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings /
by:
(Language materials, printed)
Foundations of Finitely Supported Structures = A Set Theoretical Viewpoint /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(Language materials, printed)
Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computer Aided Systems Theory – EUROCAST 2019 = 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings /
by:
(Language materials, printed)
Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Data Mining and Big Data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings /
by:
(Language materials, printed)
Space Information Networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /
by:
(Language materials, printed)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Mathematical Research for Blockchain Economy = 1st International Conference MARBLE 2019, Santorini, Greece /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings /
by:
(Language materials, printed)
Mathematical Modelling and Scientific Computing with Applications = ICMMSC 2018, Indore, India, July 19–21 /
by:
(Language materials, printed)
Optimization and Learning = Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings /
by:
(Language materials, printed)
Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Basiswissen Analysis = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(Language materials, printed)
Mathematical Aspects of Computer and Information Sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(Language materials, printed)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(Language materials, printed)
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices = 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 22-25, 2020, Proceedings /
by:
(Language materials, printed)
Pairwise Comparisons Method = Theory and Applications in Decision Making /
by:
(Language materials, printed)
Green Energy and Networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020, Proceedings /
by:
(Language materials, printed)
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
by:
(Language materials, printed)
Neural Computing for Advanced Applications = First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Signal Processing and Intelligent Recognition Systems = 5th International Symposium, SIRS 2019, Trivandrum, India, December 18–21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Mathematical Intelligence = Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
by:
(Language materials, printed)
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples = FVCA 9, Bergen, Norway, June 2020 /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings /
by:
(Language materials, printed)
Advanced Computing Technologies and Applications = Proceedings of 2nd International Conference on Advanced Computing Technologies and Applications—ICACTA 2020 /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
by:
(Language materials, printed)
Unsupervised Learning in Space and Time = A Modern Approach for Computer Vision using Graph-based Techniques and Deep Neural Networks /
by:
(Language materials, printed)
Simulation Science = Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Maple in Mathematics Education and Research = Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019, Proceedings /
by:
(Language materials, printed)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
by:
(Language materials, printed)
The Amazing Journey of Reason = from DNA to Artificial Intelligence /
by:
(Language materials, printed)
Combinatorial Image Analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6–8, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial and Additive Number Theory III = CANT, New York, USA, 2017 and 2018 /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /
by:
(Language materials, printed)
Fuzzy Transforms for Image Processing and Data Analysis = Core Concepts, Processes and Applications /
by:
(Language materials, printed)
Biomedical Engineering Systems and Technologies = 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Gut gepackt – Kein Bit zu viel = Kompression digitaler Daten verständlich erklärt /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Progress in Expressive Image Synthesis II = Extended and Selected Results from the Symposium MEIS2014 /
by:
(Language materials, printed)
Algorithms and Computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Shape Reconstruction from Apparent Contours = Theory and Algorithms /
by:
(Language materials, printed)
Integration of AI and OR Techniques in Constraint Programming = 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence for Communications and Networks = Second EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020, Proceedings /
by:
(Language materials, printed)
Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(Language materials, printed)
Scale Space and Variational Methods in Computer Vision = 8th International Conference, SSVM 2021, Virtual Event, May 16–20, 2021, Proceedings /
by:
(Language materials, printed)
Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers /
by:
(Language materials, printed)
String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings /
by:
(Language materials, printed)
The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) /
by:
(Language materials, printed)
MATLAB® und Simulink® in der Ingenieurpraxis = Modellbildung, Berechnung und Simulation /
by:
(Language materials, printed)
Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Communications and Networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings /
by:
(Language materials, printed)
Der Zufall in Physik, Informatik und Philosophie = Zufall als Fundament der Welt /
by:
(Language materials, printed)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings /
by:
(Language materials, printed)
Fuzzy Recurrence Plots and Networks with Applications in Biomedicine
by:
(Language materials, printed)
Advanced Communication Systems and Information Security = Second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Diffusion MRI = MICCAI Workshop, Shenzhen, China, October 2019 /
by:
(Language materials, printed)
Basiswissen Angewandte Mathematik – Numerik, Grafik, Kryptik = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(Language materials, printed)
Artificial Life and Evolutionary Computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings /
by:
(Language materials, printed)
SOFSEM 2020: Theory and Practice of Computer Science = 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI /
by:
(Language materials, printed)
Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Information and Computer Security = 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorial Pattern Matching = 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology -- ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Automata, Universality, Computation = Tribute to Maurice Margenstern /
by:
(Language materials, printed)
Optimal Interconnection Trees in the Plane = Theory, Algorithms and Applications /
by:
(Language materials, printed)
Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Progress in Cryptology - LATINCRYPT 2014 = Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
by:
(Language materials, printed)
Computer Science -- Theory and Applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
by:
(Language materials, printed)
Experimental Algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
by:
(Language materials, printed)
Progress in Cryptology -- LATINCRYPT 2015 = 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings /
by:
(Language materials, printed)
Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(Language materials, printed)
Security Standardisation Research = Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Cryptography and Coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
by:
(Language materials, printed)
Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
by:
(Language materials, printed)
Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(Language materials, printed)
Mathematical Morphology and Its Applications to Signal and Image Processing = 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings /
by:
(Language materials, printed)
Advances in Spatial and Temporal Databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
by:
(Language materials, printed)
More Playful User Interfaces = Interfaces that Invite Social and Physical Interaction /
by:
(Language materials, printed)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Problems in Data Science = Theoretical and Practical Methods /
by:
(Language materials, printed)
SOFSEM 2015: Theory and Practice of Computer Science = 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
by:
(Language materials, printed)
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations = A Monograph Based on Articles of the Founding Authors, Reproduced in Full /
by:
(Language materials, printed)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Mathematics and Computation in Music = 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(Language materials, printed)
Big-Data Analytics and Cloud Computing = Theory, Algorithms and Applications /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings /
by:
(Language materials, printed)
Bilevel Programming Problems = Theory, Algorithms and Applications to Energy Networks /
by:
(Language materials, printed)
Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings /
by:
(Language materials, printed)
Commutative Algebra: Constructive Methods = Finite Projective Modules /
by:
(Language materials, printed)
Testing and Validation of Computer Simulation Models = Principles, Methods and Applications /
by:
(Language materials, printed)
Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
by:
(Language materials, printed)
Applied Asset and Risk Management = A Guide to Modern Portfolio Management and Behavior-Driven Markets /
by:
(Language materials, printed)
Introduction au traitement mathématique des images - méthodes déterministes
by:
(Language materials, printed)
Semigroups, Algebras and Operator Theory = Kochi, India, February 2014 /
by:
(Language materials, printed)
Accuracy and Fuzziness. A Life in Science and Politics = A Festschrift book to Enric Trillas Ruiz /
by:
(Language materials, printed)
Excel und VBA = Einführung mit praktischen Anwendungen in den Naturwissenschaften /
by:
(Language materials, printed)
Mathematische Grundlagen der Informatik = Mathematisches Denken und Beweisen Eine Einführung /
by:
(Language materials, printed)
Quantum Computing verstehen = Grundlagen - Anwendungen - Perspektiven /
by:
(Language materials, printed)
Operators for Similarity Search = Semantics, Techniques and Usage Scenarios /
by:
(Language materials, printed)
Progress in Cryptology -- INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings /
by:
(Language materials, printed)
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 = Selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Trusted Systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(Language materials, printed)
Codes, Cryptology, and Information Security = First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger /
by:
(Language materials, printed)
Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings /
by:
(Language materials, printed)
Computer Algebra and Polynomials = Applications of Algebra and Number Theory /
by:
(Language materials, printed)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(Language materials, printed)
Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings /
by:
(Language materials, printed)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings /
by:
(Language materials, printed)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(Language materials, printed)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(Language materials, printed)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Information Processing in Cells and Tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(Language materials, printed)
Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings /
by:
(Language materials, printed)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Data Analytics for Renewable Energy Integration = Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
(Language materials, printed)
Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings /
by:
(Language materials, printed)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers /
by:
(Language materials, printed)
New Trends in Applied Harmonic Analysis = Sparse Representations, Compressed Sensing, and Multifractal Analysis /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(Language materials, printed)
Evolutionary and Biologically Inspired Music, Sound, Art and Design = 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings /
by:
(Language materials, printed)
Mathematical Aspects of Computer and Information Sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering = Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings /
by:
(Language materials, printed)
Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Music Through Fourier Space = Discrete Fourier Transform in Music Theory /
by:
(Language materials, printed)
Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 /
by:
(Language materials, printed)
Computer and Computing Technologies in Agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings /
by:
(Language materials, printed)
System Modeling and Optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry = 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings /
by:
(Language materials, printed)
Programmieren für Ingenieure und Naturwissenschaftler = Grundlagen /
by:
(Language materials, printed)
LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
by:
(Language materials, printed)
Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings /
by:
(Language materials, printed)
Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
Algorithmic Advances in Riemannian Geometry and Applications = For Machine Learning, Computer Vision, Statistics, and Optimization /
by:
(Language materials, printed)
Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(Language materials, printed)
Integration of AI and OR Techniques in Constraint Programming = 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Computer and Computing Technologies in Agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Progress in Expressive Image Synthesis III = Selected and Extended Results from the Symposium MEIS2015 /
by:
(Language materials, printed)
Innovations for Community Services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Guide to Computing Fundamentals in Cyber-Physical Systems = Concepts, Design Methods, and Applications /
by:
(Language materials, printed)
Computational Intelligence, Cyber Security and Computational Models = Proceedings of ICC3 2015 /
by:
(Language materials, printed)
All About Music = The Complete Ontology: Realities, Semiotics, Communication, and Embodiment /
by:
(Language materials, printed)
Compression-Based Methods of Statistical Analysis and Prediction of Time Series
by:
(Language materials, printed)
Cool Math for Hot Music = A First Introduction to Mathematics for Music Theorists /
by:
(Language materials, printed)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(Language materials, printed)
Stochastische Integration = Eine Einführung in die Finanzmathematik /
by:
(Language materials, printed)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(Language materials, printed)
Matrix and Tensor Factorization Techniques for Recommender Systems
by:
(Language materials, printed)
Relaxed Abduction = Robust Information Interpretation for Industrial Applications /
by:
(Language materials, printed)
Map Framework = A Formal Model of Maps as a Fundamental Data Type in Information Systems /
by:
(Language materials, printed)
Optimization by GRASP = Greedy Randomized Adaptive Search Procedures /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Information Security and Cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Discrete and Computational Geometry and Graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2016 = 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Information Security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings /
by:
(Language materials, printed)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /
by:
(Language materials, printed)
Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
by:
(Language materials, printed)
SOFSEM 2016: Theory and Practice of Computer Science = 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /
by:
(Language materials, printed)
Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2016 = 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Imprecision and Uncertainty in Information Representation and Processing = New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets /
by:
(Language materials, printed)
Fast Software Encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(Language materials, printed)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(Language materials, printed)
Index-aware Model Order Reduction Methods = Applications to Differential-Algebraic Equations /
by:
(Language materials, printed)
Topics in Numerical Partial Differential Equations and Scientific Computing
by:
(Language materials, printed)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities = Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings /
by:
(Language materials, printed)
Lai-Massey Cipher Designs = History, Design Criteria and Cryptanalysis /
by:
(Language materials, printed)
Quantum Computing verstehen = Grundlagen – Anwendungen – Perspektiven /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Information Geometry and Its Applications = On the Occasion of Shun-ichi Amari's 80th Birthday, IGAIA IV Liblice, Czech Republic, June 2016 /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings /
by:
(Language materials, printed)
Mathematics and Computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(Language materials, printed)
A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
by:
(Language materials, printed)
Advances in Bioinformatics and Computational Biology = 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(Language materials, printed)
Verallgemeinerte Funktionen = Grundlagen und Anwendungsbeispiele /
by:
(Language materials, printed)
Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python /
by:
(Language materials, printed)
LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(Language materials, printed)
Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings /
by:
(Language materials, printed)
Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Cellular Automata = A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
by:
(Language materials, printed)
Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings /
by:
(Language materials, printed)
The Discrete Math Workbook = A Companion Manual for Practical Study /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Studies on Speech Production = 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering = Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings /
by:
(Language materials, printed)
Recent Advances in Applications of Computational and Fuzzy Mathematics
by:
(Language materials, printed)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung /
by:
(Language materials, printed)
Crossbar-Based Interconnection Networks = Blocking, Scalability, and Reliability /
by:
(Language materials, printed)
Reachability Problems = 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Analysis for Computer Scientists = Foundations, Methods, and Algorithms /
by:
(Language materials, printed)
Simulation Science = First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers /
by:
(Language materials, printed)
History of Cryptography and Cryptanalysis = Codes, Ciphers, and Their Algorithms /
by:
(Language materials, printed)
Computational Engineering = Theorie und Praxis der Transportmodelle /
by:
(Language materials, printed)
New Trends in Emerging Complex Real Life Problems = ODS, Taormina, Italy, September 10–13, 2018 /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence = First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5–6, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima /
by:
(Language materials, printed)
Optimization and Data Science: Trends and Applications = 5th AIROYoung Workshop and AIRO PhD School 2021 Joint Event /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering '20 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2020 /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Distributed Computer and Communication Networks: Control, Computation, Communications = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Data Mining = 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Performance Engineering and Stochastic Modeling = 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings /
by:
(Language materials, printed)
Chance in Physics, Computer Science and Philosophy = Chance as the Foundation of the World /
by:
(Language materials, printed)
Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 /
by:
(Language materials, printed)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(Language materials, printed)
Discrete and Computational Geometry, Graphs, and Games = 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmic Decision Theory = 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Equipment, Robots, and Vehicles = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
by:
(Language materials, printed)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(Language materials, printed)
Geometric Structures of Statistical Physics, Information Geometry, and Learning = SPIGL'20, Les Houches, France, July 27–31 /
by:
(Language materials, printed)
Practical Optimization = Algorithms and Engineering Applications /
by:
(Language materials, printed)
Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings /
by:
(Language materials, printed)
Belief Functions: Theory and Applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings /
by:
(Language materials, printed)
Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(Language materials, printed)
Functional Imaging and Modeling of the Heart = 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI /
by:
(Language materials, printed)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(Language materials, printed)
Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings /
by:
(Language materials, printed)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Quality, Reliability, Security and Robustness in Heterogeneous Systems = 16th EAI International Conference, QShine 2020, Virtual Event, November 29–30, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering '19 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 /
by:
(Language materials, printed)
Recent Advances in Numerical Methods for Hyperbolic PDE Systems = NumHyp 2019 /
by:
(Language materials, printed)
Spatial Data and Intelligence = Second International Conference, SpatialDI 2021, Hangzhou, China, April 22–24, 2021, Proceedings /
by:
(Language materials, printed)
Proceedings of the Sixth International Conference on Mathematics and Computing = ICMC 2020 /
by:
(Language materials, printed)
Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(Language materials, printed)
Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Computational Diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 /
by:
(Language materials, printed)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Graph Data Management = Fundamental Issues and Recent Developments /
by:
(Language materials, printed)
Euclidean Distance Matrices and Their Applications in Rigidity Theory
by:
(Language materials, printed)
Machine Learning = A Practical Approach on the Statistical Learning Theory /
by:
(Language materials, printed)
Mathematical and Numerical Modeling of the Cardiovascular System and Applications
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(Language materials, printed)
The GLOBAL Optimization Algorithm = Newly Updated with Java Implementation and Parallelization /
by:
(Language materials, printed)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Mathematics and Computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Partition Function Form Games = Coalitional Games with Externalities /
by:
(Language materials, printed)
Guide to Graph Algorithms = Sequential, Parallel and Distributed /
by:
(Language materials, printed)
Multiple Criteria Decision Aid = Methods, Examples and Python Implementations /
by:
(Language materials, printed)
Combinatorial Algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation = Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings /
by:
(Language materials, printed)
Advances in Computer Algebra = In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(Language materials, printed)
Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Measurement, Modelling and Evaluation of Computing Systems = 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Algorithmen für Ingenieure = Technische Realisierung mit Excel und VBA /
by:
(Language materials, printed)
Fundamentals of Discrete Math for Computer Science = A Problem-Solving Primer /
by:
(Language materials, printed)
Clinical Rehabilitation Experience Utilizing Serious Games = Rehabilitation Technology and a Technical Concept for Health Data Collection /
by:
(Language materials, printed)
Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings /
by:
(Language materials, printed)
Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings /
by:
(Language materials, printed)
A Semidiscrete Version of the Citti-Petitot-Sarti Model as a Plausible Model for Anthropomorphic Image Reconstruction and Pattern Recognition
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings /
by:
(Language materials, printed)
Application of Soft Computing and Intelligent Methods in Geophysics
by:
(Language materials, printed)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms for Computational Biology = 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Optimization Problems and Their Applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Energy Minimization Methods in Computer Vision and Pattern Recognition = 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings /
by:
(Language materials, printed)
Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /
by:
(Language materials, printed)
Fundamentals and Applications of Hardcopy Communication = Conveying Side Information by Printed Media /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /
by:
(Language materials, printed)
Biomedical Engineering Systems and Technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computer Games = 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien /
by:
(Language materials, printed)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering ' 17 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017 /
by:
(Language materials, printed)
Artificial Intelligence = 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Practical Python AI Projects = Mathematical Models of Optimization Problems with Google OR-Tools /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /
by:
(Language materials, printed)
Improving Service Level Engineering = An Intuitionistic Fuzzy Approach /
by:
(Language materials, printed)
Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings /
by:
(Language materials, printed)
Elementare Differentialgeometrie (nicht nur) für Informatiker = Mit vielen Grafiken und Visualisierungen in JavaScript /
by:
(Language materials, printed)
Hybrid Systems Biology = 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings /
by:
(Language materials, printed)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(Language materials, printed)
Algorithmic Decision Theory = 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings /
by:
(Language materials, printed)
Simulation and Synthesis in Medical Imaging = 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings /
by:
(Language materials, printed)
Ophthalmic Medical Image Analysis = 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings /
by:
(Language materials, printed)
Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings /
by:
(Language materials, printed)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Optimization and Decision Science for Society, Services and Enterprises = ODS, Genoa, Italy, September 4-7, 2019 /
by:
(Language materials, printed)
Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
(Language materials, printed)
Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings /
by:
(Language materials, printed)
Low-Rank Approximation = Algorithms, Implementation, Applications /
by:
(Language materials, printed)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing in Science and Engineering ' 18 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 /
by:
(Language materials, printed)
Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Numerical Geometry, Grid Generation and Scientific Computing = Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018 /
by:
(Language materials, printed)
Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Game Theory for Networks = 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings /
by:
(Language materials, printed)
Research in Computational Molecular Biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings /
by:
(Language materials, printed)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(Language materials, printed)
Basic Math for Game Development with Unity 3D = A Beginner's Guide to Mathematical Foundations /
by:
(Language materials, printed)
Logic Functions and Equations = Binary Models for Computer Science /
by:
(Language materials, printed)
Functional Imaging and Modeling of the Heart = 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings /
by:
(Language materials, printed)
Geometric Multiplication of Vectors = An Introduction to Geometric Algebra in Physics /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings /
by:
(Language materials, printed)
Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(Language materials, printed)
Geometric Science of Information = 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Queueing Theory and Network Applications = 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
by:
(Language materials, printed)
Computational and Information Technologies in Science, Engineering and Education = 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
by:
(Language materials, printed)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(Language materials, printed)
Notes from the International Autumn School on Computational Number Theory
by:
(Language materials, printed)
Algorithms for Sensor Systems = 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings /
by:
(Language materials, printed)
SOFSEM 2019: Theory and Practice of Computer Science = 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings /
by:
(Language materials, printed)
Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings /
by:
(Language materials, printed)
Scale Space and Variational Methods in Computer Vision = 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings /
by:
(Language materials, printed)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings /
by:
(Language materials, printed)
Resonant Scattering and Generation of Waves = Cubically Polarizable Layers /
by:
(Language materials, printed)
Verschlüsseln, Signieren, Angreifen = Eine kompakte Einführung in die Kryptografie /
by:
(Language materials, printed)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(Language materials, printed)
Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I /
by:
(Language materials, printed)
String Processing and Information Retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings /
by:
(Language materials, printed)
Magic and Antimagic Graphs = Attributes, Observations and Challenges in Graph Labelings /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings /
by:
(Language materials, printed)
Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings /
by:
(Language materials, printed)
Advanced Computing in Industrial Mathematics = 12th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2017, Sofia, Bulgaria Revised Selected Papers /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Cryptology – ASIACRYPT 2019 = 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Fractal Dimension for Fractal Structures = With Applications to Finance /
by:
(Language materials, printed)
Network Games, Control, and Optimization = Proceedings of NETGCOOP 2018, New York, NY /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Intelligent Data Processing = 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /
by:
(Language materials, printed)
Advances and Trends in Artificial Intelligence. From Theory to Practice = 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings /
by:
(Language materials, printed)
Information Processing in Medical Imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings /
by:
(Language materials, printed)
Smart Cities, Green Technologies, and Intelligent Transport Systems = 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Julia Quick Syntax Reference = A Pocket Guide for Data Science Programming /
by:
(Language materials, printed)
Aspekte des Unendlichen = Eine kleine Erzählung für Nichtmathematiker /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
by:
(Language materials, printed)
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Practical MATLAB = With Modeling, Simulation, and Processing Projects /
by:
(Language materials, printed)
Computergrafik = Band I des Standardwerks Computergrafik und Bildverarbeitung /
by:
(Language materials, printed)
Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 /
by:
(Language materials, printed)
Stochastic Models in Reliability, Network Security and System Safety = Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings /
by:
(Language materials, printed)
Arto Salomaa: Mathematician, Computer Scientist, and Teacher = A Thematic Biography /
by:
(Language materials, printed)
Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings /
by:
(Language materials, printed)
New Trends in Applied Harmonic Analysis, Volume 2 = Harmonic Analysis, Geometric Measure Theory, and Applications /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings /
by:
(Language materials, printed)
Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(Language materials, printed)
Mathematical Morphology and Its Applications to Signal and Image Processing = 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings /
by:
(Language materials, printed)
Game Theory = Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
by:
(Language materials, printed)
Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) = Transcending Boundaries, Embracing Multidisciplinary Diversities /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Steuerung eines autonomen Fahrzeugs durch Deep Reinforcement Learning
by:
(Language materials, printed)
Optimization and Applications = 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Communications and Networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings /
by:
(Language materials, printed)
Quality, Reliability, Security and Robustness in Heterogeneous Systems = 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Compressed Sensing and Its Applications = Third International MATHEON Conference 2017 /
by:
(Language materials, printed)
Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings /
by:
(Language materials, printed)
Algorithms and Complexity in Mathematics, Epistemology, and Science = Proceedings of 2015 and 2016 ACMES Conferences /
by:
(Language materials, printed)
Show more
Fewer
Subjects