Computer science—Mathematics.
概要
| 作品: | 1125 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Mathematical Progress in Expressive Image Synthesis II = Extended and Selected Results from the Symposium MEIS2014 /
by:
(書目-語言資料,印刷品)
Algorithms and Computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Integration of AI and OR Techniques in Constraint Programming = 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Information and Computer Security = 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Pattern Matching = 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Optimal Interconnection Trees in the Plane = Theory, Algorithms and Applications /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Experimental Algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Security Standardisation Research = Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cryptography and Coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
by:
(書目-語言資料,印刷品)
Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Spatial and Temporal Databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
More Playful User Interfaces = Interfaces that Invite Social and Physical Interaction /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematics and Computation in Music = 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Bilevel Programming Problems = Theory, Algorithms and Applications to Energy Networks /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Testing and Validation of Computer Simulation Models = Principles, Methods and Applications /
by:
(書目-語言資料,印刷品)
Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
by:
(書目-語言資料,印刷品)
Applied Asset and Risk Management = A Guide to Modern Portfolio Management and Behavior-Driven Markets /
by:
(書目-語言資料,印刷品)
Accuracy and Fuzziness. A Life in Science and Politics = A Festschrift book to Enric Trillas Ruiz /
by:
(書目-語言資料,印刷品)
Excel und VBA = Einführung mit praktischen Anwendungen in den Naturwissenschaften /
by:
(書目-語言資料,印刷品)
Mathematische Grundlagen der Informatik = Mathematisches Denken und Beweisen Eine Einführung /
by:
(書目-語言資料,印刷品)
Progress in Cryptology -- INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Trusted Systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Information Processing in Cells and Tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Data Analytics for Renewable Energy Integration = Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
New Trends in Applied Harmonic Analysis = Sparse Representations, Compressed Sensing, and Multifractal Analysis /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
System Modeling and Optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Advances in Riemannian Geometry and Applications = For Machine Learning, Computer Vision, Statistics, and Optimization /
by:
(書目-語言資料,印刷品)
Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Progress in Expressive Image Synthesis III = Selected and Extended Results from the Symposium MEIS2015 /
by:
(書目-語言資料,印刷品)
Innovations for Community Services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Guide to Computing Fundamentals in Cyber-Physical Systems = Concepts, Design Methods, and Applications /
by:
(書目-語言資料,印刷品)
Computational Intelligence, Cyber Security and Computational Models = Proceedings of ICC3 2015 /
by:
(書目-語言資料,印刷品)
All About Music = The Complete Ontology: Realities, Semiotics, Communication, and Embodiment /
by:
(書目-語言資料,印刷品)
Cool Math for Hot Music = A First Introduction to Mathematics for Music Theorists /
by:
(書目-語言資料,印刷品)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(書目-語言資料,印刷品)
Relaxed Abduction = Robust Information Interpretation for Industrial Applications /
by:
(書目-語言資料,印刷品)
Map Framework = A Formal Model of Maps as a Fundamental Data Type in Information Systems /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security and Cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Discrete and Computational Geometry and Graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Information Security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Imprecision and Uncertainty in Information Representation and Processing = New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets /
by:
(書目-語言資料,印刷品)
Fast Software Encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(書目-語言資料,印刷品)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Index-aware Model Order Reduction Methods = Applications to Differential-Algebraic Equations /
by:
(書目-語言資料,印刷品)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Information Geometry and Its Applications = On the Occasion of Shun-ichi Amari's 80th Birthday, IGAIA IV Liblice, Czech Republic, June 2016 /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and Computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(書目-語言資料,印刷品)
A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python /
by:
(書目-語言資料,印刷品)
LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata = A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
by:
(書目-語言資料,印刷品)
Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Studies on Speech Production = 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung /
by:
(書目-語言資料,印刷品)
Crossbar-Based Interconnection Networks = Blocking, Scalability, and Reliability /
by:
(書目-語言資料,印刷品)
Reachability Problems = 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Simulation Science = First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
History of Cryptography and Cryptanalysis = Codes, Ciphers, and Their Algorithms /
by:
(書目-語言資料,印刷品)
New Trends in Emerging Complex Real Life Problems = ODS, Taormina, Italy, September 10–13, 2018 /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
The GLOBAL Optimization Algorithm = Newly Updated with Java Implementation and Parallelization /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematics and Computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Computer Algebra = In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(書目-語言資料,印刷品)
Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Clinical Rehabilitation Experience Utilizing Serious Games = Rehabilitation Technology and a Technical Concept for Health Data Collection /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
A Semidiscrete Version of the Citti-Petitot-Sarti Model as a Plausible Model for Anthropomorphic Image Reconstruction and Pattern Recognition
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Optimization Problems and Their Applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals and Applications of Hardcopy Communication = Conveying Side Information by Printed Media /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien /
by:
(書目-語言資料,印刷品)
Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ' 17 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017 /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Python AI Projects = Mathematical Models of Optimization Problems with Google OR-Tools /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Elementare Differentialgeometrie (nicht nur) für Informatiker = Mit vielen Grafiken und Visualisierungen in JavaScript /
by:
(書目-語言資料,印刷品)
Hybrid Systems Biology = 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Ophthalmic Medical Image Analysis = 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Optimization and Decision Science for Society, Services and Enterprises = ODS, Genoa, Italy, September 4-7, 2019 /
by:
(書目-語言資料,印刷品)
Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
DNA Computing and Molecular Programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering ' 18 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 /
by:
(書目-語言資料,印刷品)
Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Game Theory for Networks = 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Basic Math for Game Development with Unity 3D = A Beginner's Guide to Mathematical Foundations /
by:
(書目-語言資料,印刷品)
Functional Imaging and Modeling of the Heart = 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Geometric Multiplication of Vectors = An Introduction to Geometric Algebra in Physics /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Queueing Theory and Network Applications = 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
by:
(書目-語言資料,印刷品)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Scale Space and Variational Methods in Computer Vision = 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Verschlüsseln, Signieren, Angreifen = Eine kompakte Einführung in die Kryptografie /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Magic and Antimagic Graphs = Attributes, Observations and Challenges in Graph Labelings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Network Games, Control, and Optimization = Proceedings of NETGCOOP 2018, New York, NY /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Data Processing = 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information Processing in Medical Imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
by:
(書目-語言資料,印刷品)
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 /
by:
(書目-語言資料,印刷品)
Stochastic Models in Reliability, Network Security and System Safety = Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Arto Salomaa: Mathematician, Computer Scientist, and Teacher = A Thematic Biography /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
New Trends in Applied Harmonic Analysis, Volume 2 = Harmonic Analysis, Geometric Measure Theory, and Applications /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Game Theory = Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Communications and Networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Compressed Sensing and Its Applications = Third International MATHEON Conference 2017 /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity in Mathematics, Epistemology, and Science = Proceedings of 2015 and 2016 ACMES Conferences /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Gut gepackt – Kein Bit zu viel = Kompression digitaler Daten verständlich erklärt /
by:
(書目-語言資料,印刷品)
Fuzzy Transforms for Image Processing and Data Analysis = Core Concepts, Processes and Applications /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial and Additive Number Theory III = CANT, New York, USA, 2017 and 2018 /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Maple in Mathematics Education and Research = Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
by:
(書目-語言資料,印刷品)
Advanced Computing Technologies and Applications = Proceedings of 2nd International Conference on Advanced Computing Technologies and Applications—ICACTA 2020 /
by:
(書目-語言資料,印刷品)
Simulation Science = Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Unsupervised Learning in Space and Time = A Modern Approach for Computer Vision using Graph-based Techniques and Deep Neural Networks /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples = FVCA 9, Bergen, Norway, June 2020 /
by:
(書目-語言資料,印刷品)
Artificial Mathematical Intelligence = Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Computing for Advanced Applications = First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Green Energy and Networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Basiswissen Angewandte Mathematik – Numerik, Grafik, Kryptik = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Basiswissen Analysis = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Learning = Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Modelling and Scientific Computing with Applications = ICMMSC 2018, Indore, India, July 19–21 /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Research for Blockchain Economy = 1st International Conference MARBLE 2019, Santorini, Greece /
by:
(書目-語言資料,印刷品)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts /
by:
(書目-語言資料,印刷品)
Space Information Networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Data Mining and Big Data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Industrial Networks and Intelligent Systems = 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Basiswissen Lineare Algebra = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
New Trends in Computational Vision and Bio-inspired Computing = Selected works presented at the ICCVBIC 2018, Coimbatore, India /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Research for Blockchain Economy = 2nd International Conference MARBLE 2020, Vilamoura, Portugal /
by:
(書目-語言資料,印刷品)
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra = In Honour of Peter Paule on his 60th Birthday /
by:
(書目-語言資料,印刷品)
LATIN 2020: Theoretical Informatics = 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Similarity Search and Applications = 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 – October 2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know /
by:
(書目-語言資料,印刷品)
Topological Methods in Data Analysis and Visualization V = Theory, Algorithms, and Applications /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII /
by:
(書目-語言資料,印刷品)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung /
by:
(書目-語言資料,印刷品)
Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning, Optimization, and Data Science = 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Modeling, Machine Learning and Astronomy = First International Conference, MMLA 2019, Bangalore, India, November 22–23, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Search for ExtraTerrestrial Intelligence = Proceedings of the 2nd SETI-INAF Meeting 2019 /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Ubiquitous Communications and Network Computing = 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry and Mathematical Morphology = First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Geometric Science of Information = 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Mathematical Modeling and High Performance Computing = M3HPCST-2020, Ghaziabad, India, January 9-11, 2020 /
by:
(書目-語言資料,印刷品)
Well Packed – Not a Bit Too Much = Compression of Digital Data Explained in an Understandable Way /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cognitive Radio-Oriented Wireless Networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Stability Analysis of Regenerative Queueing Models = Mathematical Methods and Applications /
by:
(書目-語言資料,印刷品)
Applied Mathematics and Computational Mechanics for Smart Applications = Proceedings of AMMAI 2020 /
by:
(書目-語言資料,印刷品)
Big Data = 8th CCF Conference, BigData 2020, Chongqing, China, October 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Maple in Mathematics Education and Research = 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Database Systems for Advanced Applications = 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = Proceedings of the First International Conference, MMCITRE 2020 /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Cerebral Aneurysm Detection and Analysis = First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Der Zufall in Physik, Informatik und Philosophie = Zufall als Fundament der Welt /
by:
(書目-語言資料,印刷品)
Communications and Networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
MATLAB® und Simulink® in der Ingenieurpraxis = Modellbildung, Berechnung und Simulation /
by:
(書目-語言資料,印刷品)
The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Scale Space and Variational Methods in Computer Vision = 8th International Conference, SSVM 2021, Virtual Event, May 16–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python /
by:
(書目-語言資料,印刷品)
Artificial Intelligence for Communications and Networks = Second EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(書目-語言資料,印刷品)
Proceedings of the Sixth International Conference on Mathematics and Computing = ICMC 2020 /
by:
(書目-語言資料,印刷品)
Spatial Data and Intelligence = Second International Conference, SpatialDI 2021, Hangzhou, China, April 22–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering '19 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Functional Imaging and Modeling of the Heart = 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Belief Functions: Theory and Applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Geometric Structures of Statistical Physics, Information Geometry, and Learning = SPIGL'20, Les Houches, France, July 27–31 /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Theory = 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(書目-語言資料,印刷品)
Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Chance in Physics, Computer Science and Philosophy = Chance as the Foundation of the World /
by:
(書目-語言資料,印刷品)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Data Mining = 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Drawing and Network Visualization = 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing in Science and Engineering '20 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2020 /
by:
(書目-語言資料,印刷品)
Optimization and Data Science: Trends and Applications = 5th AIROYoung Workshop and AIRO PhD School 2021 Joint Event /
by:
(書目-語言資料,印刷品)
Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5–6, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Nature of Computation and Communication = 7th EAI International Conference, ICTCC 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods /
by:
(書目-語言資料,印刷品)
KI 2022: Advances in Artificial Intelligence = 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics, Graph Theory and Computing = SEICCGTC 2020, Boca Raton, USA, March 9–13 /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(書目-語言資料,印刷品)
Computer and Communication Engineering = 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Neural Computing for Advanced Applications = Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial Intelligence Research = Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Data Mining = 20th Australasian Conference, AusDM 2022, Western Sydney, Australia, December 12–15, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
City, Society, and Digital Transformation = Proceedings of the 2022 INFORMS International Conference on Service Science /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and Computation in Music = 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
(書目-語言資料,印刷品)
Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem /
by:
(書目-語言資料,印刷品)
Code-Based Cryptography = 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21–22, 2021 Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Minimum Divergence Methods in Statistical Machine Learning = From an Information Geometric Viewpoint /
by:
(書目-語言資料,印刷品)
WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Large-Scale Scientific Computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Decision Making with Python Resources = From Multicriteria Performance Records to Decision Algorithms via Bipolar-Valued Outranking Digraphs /
by:
(書目-語言資料,印刷品)
Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik /
by:
(書目-語言資料,印刷品)
Communications and Networking = 16th EAI International Conference, ChinaCom 2021, Virtual Event, November 21-22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Distributed Artificial Intelligence = Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modern Cryptography Volume 1 = A Classical Introduction to Informational and Mathematical Principle /
by:
(書目-語言資料,印刷品)
Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Diabetic Foot Ulcers Grand Challenge = Second Challenge, DFUC 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Wireless and Satellite Systems = 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 – August 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Informatics and Intelligent Applications = First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Information Systems and Design = Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Statistics for Data Scientists = An Introduction to Probability, Statistics, and Data Analysis /
by:
(書目-語言資料,印刷品)
Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
A Topology of Mind = Spiral Thought Patterns, the Hyperlinking of Text, Ideas and More /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題