Algorithms.
Overview
Works: | 1651 works in 306 publications in 306 languages |
---|
Titles
Semi-Cooperative Planning in Mixed Human-Autonomous Environments.
by:
(Language materials, manuscript)
Optimal Motion Strategies with Logic-Based Constraints for Ocean Vehicles.
by:
(Language materials, manuscript)
A Discrete Adjoint Framework for Turbulent Hypersonic Flows in Thermochemical Nonequilibrium.
by:
(Language materials, manuscript)
A Framework for Signal Decomposition with Applications to Solar Energy Generation.
by:
(Language materials, manuscript)
Generative Neural Network-Based Defense Methods Against Cyberattacks for Connected and Autonomous Vehicles.
by:
(Language materials, manuscript)
Improving the Performance of Yolo-Based Detection Algorithms for Small Object Detection in Uav-Taken Images = = Kucuk Nesne Tanima uZerine Kullanilan Yolo Tabanli Nesne Tanima Algoritmalarinin Iyilestirilmesi.
by:
(Language materials, manuscript)
Radiation Source Localization Using the Red-Pitaya STEMLab Data Acquisition System.
by:
(Language materials, manuscript)
How Digital Platforms Impact the Film Industry in Turkey? = = Dijital Platformlar Turkiye'de Sinema Sektorunu Nasil Etkiliyor?.
by:
(Language materials, manuscript)
Examining the Perceptions of Fake News, Verification, and Notices on Twitter.
by:
(Language materials, manuscript)
Uncertainty and Risk Aware Controls for Portfolios of Buildings with Thermal Energy Storage.
by:
(Language materials, manuscript)
Privacy-Fairness : = It's Complicated : An Unavoidable Unfairness of Differentially Privacy on Machine Learning Systems.
by:
(Language materials, manuscript)
The Effects of Stimulus Type On Interpersonal and Intrapersonal Speech Perception In Typical Adults.
by:
(Language materials, manuscript)
The Development of Computing Tools to Approximate Doubly Curved Surfaces with Quadrilateral Planar Facets = = Entwicklung von Computertools zur Flachenapproximation mit planaren Quad-Facetten.
by:
(Language materials, manuscript)
Computational Methods for Multi-Scale Biological Imaging and Modeling.
by:
(Language materials, manuscript)
Improving Deep Learning-Based Facade Visual Inspection : = A Data Quality Perspective.
by:
(Language materials, manuscript)
Prediction of Outcomes in Higher Courts of Turkey Using Natural Language Processing = = Dogal Dil Isleme Yontemleri Kullanilarak Turk Yuksek Mahkemelerinde Karar Tahmini.
by:
(Language materials, manuscript)
Practicing trustworthy machine learning : = consistent, transparent, and fair AI pipelines /
by:
(Language materials, printed)
Implementation and application of automata = 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings /
by:
(Language materials, printed)
Guide to competitive programming = learning and improving algorithms through contests /
by:
(Language materials, printed)
Cryptography and cryptanalysis in Java = creating and programming advanced algorithms with Java SE 17 LTS and Jakarta EE 11 /
by:
(Language materials, printed)
Efficient online learning algorithms for Total Least Square problems
by:
(Language materials, printed)
Applied genetic algorithm and its variants = case studies and new developments /
by:
(Language materials, printed)
Krylov subspace methods for linear systems = principles of algorithms /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings /
by:
(Language materials, printed)
Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(Language materials, printed)
Cryptography and Cryptanalysis in Java = Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 /
by:
(Language materials, printed)
Natürliche Kognition technologisch begreifen = Möglichkeiten und Grenzen der KI Forschung /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(Language materials, printed)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2020 /
by:
(Language materials, printed)
Metrics That Make a Difference = How to Analyze Change and Error /
by:
(Language materials, printed)
The BOXES Methodology Second Edition = Black Box Control of Ill-defined Systems /
by:
(Language materials, printed)
Sublinear Computation Paradigm = Algorithmic Revolution in the Big Data Era /
by:
(Language materials, printed)
Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
by:
(Language materials, printed)
Machines, Computations, and Universality = 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings /
by:
(Language materials, printed)
Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings /
by:
(Language materials, printed)
Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings /
by:
(Language materials, printed)
Proceedings of International Conference on Computational Intelligence = ICCI 2020 /
by:
(Language materials, printed)
The Quadratic Unconstrained Binary Optimization Problem = Theory, Algorithms, and Applications /
by:
(Language materials, printed)
Generic Data Structures and Algorithms in Go = An Applied Approach Using Concurrency, Genericity and Heuristics /
by:
(Language materials, printed)
Algorithms for a New World = When Big Data and Mathematical Models Meet /
by:
(Language materials, printed)
Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings /
by:
(Language materials, printed)
Revolutions and Revelations in Computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings /
by:
(Language materials, printed)
Principles of Innovative Design Thinking = Synergy of Extenics with Axiomatic Design Theory /
by:
(Language materials, printed)
Biologically Inspired Techniques in Many Criteria Decision Making = Proceedings of BITMDM 2021 /
by:
(Language materials, printed)
The Semantic Web = 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings /
by:
(Language materials, printed)
Machine Intelligence and Smart Systems = Proceedings of MISS 2021 /
by:
(Language materials, printed)
Algorithmics of Wireless Networks = 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8–9, 2022, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings /
by:
(Language materials, printed)
Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung
by:
(Language materials, printed)
Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 /
by:
(Language materials, printed)
Optimal Fractional-order Predictive PI Controllers = For Process Control Applications with Additional Filtering /
by:
(Language materials, printed)
Limiting Modes of Aircraft Flight = Methods, Algorithms and Results /
by:
(Language materials, printed)
String Processing and Information Retrieval = 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings /
by:
(Language materials, printed)
MCMC from Scratch = A Practical Introduction to Markov Chain Monte Carlo /
by:
(Language materials, printed)
Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings /
by:
(Language materials, printed)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research: Recent Trends = 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers /
by:
(Language materials, printed)
Numerical Methods for Mixed Finite Element Problems = Applications to Incompressible Materials and Contact Problems /
by:
(Language materials, printed)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2021 /
by:
(Language materials, printed)
Algorithmic Game Theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings /
by:
(Language materials, printed)
Business Process Management = 20th International Conference, BPM 2022, Münster, Germany, September 11–16, 2022, Proceedings /
by:
(Language materials, printed)
Proceedings of 7th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2022 /
by:
(Language materials, printed)
Localization for Autonomous Navigation Systems in Large-Scale Outdoor Environments.
by:
(Language materials, printed)
Super Resolution Laser Thermography using Spatially and Temporally Structured Heating = = Superauflosende Laserthermografie mit raumlich und zeitlich strukturierter Heizung.
by:
(Language materials, printed)
Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Psychopharmacology algorithms = clinical guidance from the Psychopharmacology Algorithm Project at the Harvard South Shore Psychiatry Residency Program /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence XXXVIII = 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14–16, 2021, Proceedings /
by:
(Language materials, printed)
Bio-Inspired Information and Communications Technologies = 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 /
by:
(Language materials, printed)
Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Abenteuer Informatik = IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media /
by:
(Language materials, printed)
Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings /
by:
(Language materials, printed)
Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings /
by:
(Language materials, printed)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Soft Computing for Problem Solving = Proceedings of SocProS 2020, Volume 2 /
by:
(Language materials, printed)
Soft Computing for Problem Solving = Proceedings of SocProS 2020, Volume 1 /
by:
(Language materials, printed)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Database and Expert Systems Applications - DEXA 2021 Workshops = BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings /
by:
(Language materials, printed)
Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(Language materials, printed)
Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings /
by:
(Language materials, printed)
Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp /
by:
(Language materials, printed)
Research and Innovation Forum 2020 = Disruptive Technologies in Times of Change /
by:
(Language materials, printed)
Topological Methods in Data Analysis and Visualization VI = Theory, Applications, and Software /
by:
(Language materials, printed)
The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Knowledge Science, Engineering and Management = 14th International Conference, KSEM 2021, Tokyo, Japan, August 14–16, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings /
by:
(Language materials, printed)
Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research: Recent Trends = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(Language materials, printed)
Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Intelligent Data Analysis XIX = 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021, Proceedings /
by:
(Language materials, printed)
Trustworthy AI - Integrating Learning, Optimization and Reasoning = First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers /
by:
(Language materials, printed)
An Invitation to Analytic Combinatorics = From One to Several Variables /
by:
(Language materials, printed)
Emerging Trends in Sliding Mode Control = Theory and Application /
by:
(Language materials, printed)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings /
by:
(Language materials, printed)
Analysis of Images, Social Networks and Texts = 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Bio-Inspired Computing: Theories and Applications = 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications
by:
(Language materials, printed)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2019 /
by:
(Language materials, printed)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(Language materials, printed)
Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2020, Istanbul /
by:
(Language materials, printed)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
(Language materials, printed)
Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing
by:
(Language materials, printed)
Introduction to Computational Thinking = Problem Solving, Algorithms, Data Structures, and More /
by:
(Language materials, printed)
Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Principles of High-Performance Processor Design = For High Performance Computing, Deep Neural Networks and Data Science /
by:
(Language materials, printed)
Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings /
by:
(Language materials, printed)
How Algorithms Create and Prevent Fake News = Exploring the Impacts of Social Media, Deepfakes, GPT-3, and More /
by:
(Language materials, printed)
Intelligent Algorithms for Analysis and Control of Dynamical Systems
by:
(Language materials, printed)
Evolutionary Computing and Mobile Sustainable Networks = Proceedings of ICECMSN 2020 /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings /
by:
(Language materials, printed)
Text Segmentation and Recognition for Enhanced Image Spam Detection = An Integrated Approach /
by:
(Language materials, printed)
Proceedings of International Conference on Trends in Computational and Cognitive Engineering = TCCE 2019 /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings /
by:
(Language materials, printed)
Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings /
by:
(Language materials, printed)
Multimodal scene understanding = algorithms, applications and deep learning /
by:
(Language materials, printed)
Computational methods and algorithms for medicine and optimized clinical practice
by:
(Language materials, printed)
Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition /
by:
(Language materials, printed)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings /
by:
(Language materials, printed)
Artificial Evolution = 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Computing and Intelligent Systems = Proceedings of ICACM 2019 /
by:
(Language materials, printed)
Recent Advances on Memetic Algorithms and its Applications in Image Processing
by:
(Language materials, printed)
String Algorithms in C = Efficient Text Representation and Search /
by:
(Language materials, printed)
SOFSEM 2020: Theory and Practice of Computer Science = 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings /
by:
(Language materials, printed)
Serious Games = Joint International Conference, JCSG 2020, Stoke-on-Trent, UK, November 19–20, 2020, Proceedings /
by:
(Language materials, printed)
Algorithms and Data Structures = Foundations and Probabilistic Methods for Design and Analysis /
by:
(Language materials, printed)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings /
by:
(Language materials, printed)
Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II /
by:
(Language materials, printed)
The Amazing Journey of Reason = from DNA to Artificial Intelligence /
by:
(Language materials, printed)
Bio-inspired Information and Communication Technologies = 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Introduction to Computational Origami = The World of New Computational Geometry /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Recent Advances in Computational Optimization = Results of the Workshop on “Computational Optimization” and “Numerical Search and Optimization” 2018 /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /
by:
(Language materials, printed)
Introducing Algorithms in C = A Step by Step Guide to Algorithms in C /
by:
(Language materials, printed)
Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry /
by:
(Language materials, printed)
Algorithmische Informationstheorie = Berechenbarkeit und Komplexität verstehen /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Swarm Intelligence = 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings /
by:
(Language materials, printed)
Online Storage Systems and Transportation Problems with Applications = Optimization Models and Mathematical Solutions /
by:
(Language materials, printed)
Solving Polynomial Equations = Foundations, Algorithms, and Applications /
by:
(Language materials, printed)
Flux-Corrected Transport = Principles, Algorithms, and Applications /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(Language materials, printed)
Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings /
by:
(Language materials, printed)
Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings /
by:
(Language materials, printed)
WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(Language materials, printed)
Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
by:
(Language materials, printed)
Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings /
by:
(Language materials, printed)
Medial representations = mathematics, algorithms and applications /
by:
(Language materials, printed)
Coding theory and applications = 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014 /
by:
(Language materials, printed)
Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(Language materials, printed)
Practical algorithms for image analysis : = description, examples, programs, and projects /
by:
(Language materials, printed)
Algorithm-architecture matching for signal and image processing = best papers from Design and architectures for signal and image processing 2007 & 2008 & 2009 /
by:
(Language materials, printed)
Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(Language materials, printed)
Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
by:
(Language materials, printed)
Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability /
by:
(Language materials, printed)
Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers /
by:
(Language materials, printed)
Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /
by:
(Language materials, printed)
Proofs and algorithms = an introduction to logic and computability /
by:
(Language materials, printed)
The concrete tetrahedron = symbolic sums, recurrence equations, generating functions, asymptotic estimates /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
(Language materials, printed)
The linear ordering problem = exact and heuristic methods in combinatorial optimization /
by:
(Language materials, printed)
Evolutionary statistical procedures = an evolutionary computation approach to statistical procedures designs and applications /
by:
(Language materials, printed)
Approximation algorithms for complex systems = proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009 /
by:
(Language materials, printed)
Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(Language materials, printed)
WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers /
by:
(Language materials, printed)
Algorithmic game theory = first international symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. proceedings /
by:
(Language materials, printed)
Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers /
by:
(Language materials, printed)
Practical Mathematical Optimization = An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms /
by:
(Language materials, printed)
Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
by:
(Language materials, printed)
Complexity Theory = Exploring the Limits of Efficient Algorithms /
by:
(Language materials, printed)
Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms /
by:
(Language materials, printed)
Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /
by:
(Language materials, printed)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(Language materials, printed)
Randomized Algorithms for Analysis and Control of Uncertain Systems
by:
(Language materials, printed)
Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings /
by:
(Language materials, printed)
Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(Language materials, printed)
Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
by:
(Language materials, printed)
Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation /
by:
(Language materials, printed)
Structural information and communication complexity = 18th international colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011 : proceedings /
by:
(Language materials, printed)
Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers /
by:
(Language materials, printed)
Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings /
by:
(Language materials, printed)
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
by:
(Language materials, printed)
Nonlinear programming : = sequential unconstrained minimization techniques /
by:
(Language materials, printed)
Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms /
by:
(Language materials, printed)
From Gestalt Theory to Image Analysis = A Probabilistic Approach /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Language materials, printed)
Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings /
by:
(Language materials, printed)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(Language materials, printed)
Control perspectives on numerical algorithms and matrix problems /
by:
(Language materials, printed)
Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers /
by:
(Language materials, printed)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(Language materials, printed)
Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings /
by:
(Language materials, printed)
Advanced topics in system and signal theory = a mathematical approach /
by:
(Language materials, printed)
Algorithmic composition = paradigms of automated music generation /
by:
(Language materials, printed)
Scalable fuzzy algorithms for data management and analysis = methods and design /
by:
(Language materials, printed)
Computational geometry, graphs and applications = 9th international conference, CGGA 2010, Dalian, China, November 3-6, 2010 : revised selected papers /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 37th international workshop, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011 : revised papers /
by:
(Language materials, printed)
Proceedings of the 12th International Conference on Soft Computing for Problem Solving = SocProS 2023.. Volume 1 /
by:
(Language materials, printed)
Gillespie algorithms for stochastic multiagent dynamics in populations and networks /
by:
(Language materials, printed)
Design and analysis of algorithms : = a contemporary perspective /
by:
(Language materials, printed)
Geometry of the phase retrieval problem : = graveyard of algorithms /
by:
(Language materials, printed)
ChatGPT and Bard for business automation = achieving AI-driven growth /
by:
(Language materials, printed)
Derivative-free DIRECT-type global optimization = applications and software /
by:
(Language materials, printed)
Discrete diversity and dispersion maximization = a tutorial on metaheuristic optimization /
by:
(Language materials, printed)
Fourth International Conference on Image Processing and Capsule Networks = ICIPCN 2023 /
by:
(Language materials, printed)
Future data and security engineering = big data, security and privacy, smart city and industry 4.0 applications : 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023 : proceedings /
by:
(Language materials, printed)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2020 = 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings /
by:
(Language materials, printed)
Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings /
by:
(Language materials, printed)
Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Applications of Firefly Algorithm and its Variants = Case Studies and New Developments /
by:
(Language materials, printed)
Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Ein szenarienadaptiver Bewegungsalgorithmus für die Längsbewegung eines vollbeweglichen Fahrsimulators
by:
(Language materials, printed)
Guide to Competitive Programming = Learning and Improving Algorithms Through Contests /
by:
(Language materials, printed)
Time-Dependent Path Scheduling = Algorithmic Minimization of Walking Time at the Moving Assembly Line /
by:
(Language materials, printed)
Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing = 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /
by:
(Language materials, printed)
Large-Scale Scientific Computing = 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Codeless Data Structures and Algorithms = Learn DSA Without Writing a Single Line of Code /
by:
(Language materials, printed)
Combinatorial optimization and applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
by:
(Language materials, printed)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(Language materials, printed)
Web and internet economics = 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence and its applications = 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Advances in artificial intelligence and soft computing = 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in intelligent data analysis XIV = 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015 : proceedings /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2015 = 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015 : proceedings /
by:
(Language materials, printed)
Advances in visual informatics = 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015 : proceedings /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part IV /
by:
(Language materials, printed)
Algorithms and computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Applications and techniques in information security = 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Big data analytics = 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015 : proceedings /
by:
(Language materials, printed)
Clustering high-dimensional data = first International Workshop, CHDD 2012, Naples, Italy, May 15, 2012 : revised selected papers /
by:
(Language materials, printed)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(Language materials, printed)
Computer security - ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Conceptual modeling = 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(Language materials, printed)
Decision and game theory for security = 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings /
by:
(Language materials, printed)
Discovery science = 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Dynamic data-driven environmental systems science = first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Future data and security engineering = second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(Language materials, printed)
Knowledge science, engineering and management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(Language materials, printed)
Multi-disciplinary trends in artificial intelligence = 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015 : proceedings /
by:
(Language materials, printed)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Language materials, printed)
Operational research = IO 2013 - XVI Congress of APDIO, Braganca, Portugal, June 3-5, 2013 /
by:
(Language materials, printed)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Language materials, printed)
Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
by:
(Language materials, printed)
Progress in pattern recognition, image analysis, computer vision, and applications = 20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015 : proceedings /
by:
(Language materials, printed)
Research in attacks,intrusions, and defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Secure IT systems = 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings /
by:
(Language materials, printed)
Similarity-based pattern recognition = third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
by:
(Language materials, printed)
Technology and practice of passwords = International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014 : revised selected papers /
by:
(Language materials, printed)
Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Language materials, printed)
Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(Language materials, printed)
Depth map and 3D imaging applications = algorithms and technologies /
by:
(Language materials, printed)
Genetic algorithms and genetic programming = modern concepts and practical applications /
by:
(Language materials, printed)
Randomized algorithms for analysis and control of uncertain systems = with applications /
by:
(Language materials, printed)
Recent advances in harmonic analysis and applications = in honor of Konstantin Oskolkov /
by:
(Language materials, printed)
Space-filling curves = an introduction with applications in scientific computing /
by:
(Language materials, printed)
New frontier in evolutionary algorithms : = theory and applications /
by:
(Language materials, printed)
WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Approximation and online algorithms = 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers /
by:
(Language materials, printed)
Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013 : proceedings /
by:
(Language materials, printed)
Application of nature based algorithm in natural resource management
by:
(Language materials, printed)
An introduction to quasisymmetric Schur functions = hopf algebras, quasisymmetric functions, and young composition tableaux /
by:
(Language materials, printed)
Facets of combinatorial optimization = Festschrift for Martin Grotschel /
by:
(Language materials, printed)
Nonlinear biomedical signal processing.. Volume 1,. Fuzzy logic, neural networks, and new algorithms
by:
(Language materials, printed)
Nonlinear biomedical signal processing.. Volume 2,. Dynamic analysis and modeling
by:
(Language materials, printed)
Perspectives on projective geometry = a guided tour through real and complex geometry /
by:
(Language materials, printed)
Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings /
by:
(Language materials, printed)
Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings /
by:
(Language materials, printed)
Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers /
by:
(Language materials, printed)
Approximation methods for polynomial optimization = models, algorithms, and applications /
by:
(Language materials, printed)
Structural information and communication complexity = 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012 : revised selected papers /
by:
(Language materials, printed)
Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings /
by:
(Language materials, printed)
Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings /
by:
(Language materials, printed)
Digital geometry algorithms = theoretical foundations and applications to computational imaging /
by:
(Language materials, printed)
Modern accelerator technologies for geographic information science
by:
(Language materials, printed)
The power of algorithms = inspiration and examples in everyday life /
by:
(Language materials, printed)
Fault-tolerant search algorithms = reliable computation with unreliable information /
by:
(Language materials, printed)
Structural information and communication complexity = 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013 : revised selected papers /
by:
(Language materials, printed)
Combinatorial optimization and applications = 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013 : proceedings /
by:
(Language materials, printed)
Parameterized and exact computation = 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013 : revised selected papers /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 39th International Workshop, WG 2013, Lubeck, Germany, June 19-21, 2013 : revised papers /
by:
(Language materials, printed)
Deterministic global optimization = geometric branch-and-bound methods and their applications /
by:
(Language materials, printed)
Quantitative methods in supply chain management = models and algorithms /
by:
(Language materials, printed)
A new target detector based on geometrical perturbation filters for polarimetric synthetic aperture radar (POL-SAR)
by:
(Language materials, printed)
Mechanical design optimization using advanced optimization techniques
by:
(Language materials, printed)
Finitely generated abelian groups and similarity of matrices over a field
by:
(Language materials, printed)
The Cinderella.2 Manual = working with the interactive geometry software /
by:
(Language materials, printed)
Topological methods in data analysis and visualization. = theory, algorithms, and applications /. II
by:
(Language materials, printed)
Resource-aware data fusion algorithms for wireless sensor networks
by:
(Language materials, printed)
Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
by:
(Language materials, printed)
Flux-corrected transport = principles, algorithms, and applications /
by:
(Language materials, printed)
Differentiable optimization and equation solving = a treatise on algorithmic science and the Karmarkar revolution /
by:
(Language materials, printed)
Stochastic approximation and recursive algorithms and applications
by:
(Language materials, printed)
Primality testing in polynomial time = from randomized algorithms to "primes" is in P /
by:
(Language materials, printed)
Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Language materials, printed)
Evolutionary multi-objective optimization in uncertain environments = Issues and Algorithms /
by:
(Language materials, printed)
Random trees = an interplay between combinatorics and probability /
by:
(Language materials, printed)
Geometric algebra = an algebraic system for computer games and animation/
by:
(Language materials, printed)
Protective relaying of power systems using mathematical morphology
by:
(Language materials, printed)
Genetic algorithms and genetic programming : = modern concepts and practical applications /
by:
(Language materials, printed)
Swarm intelligence and bio-inspired computation : = theory and applications /
by:
(Language materials, printed)
Improved signal and image interpolation in biomedical applications = the case of magnetic resonance imaging (MRI) /
by:
(Language materials, printed)
Digital dice = computational solutions to practical probability problems /
by:
(Language materials, printed)
Algorithmic composition = a guide to composing music with Nyquist /
by:
(Language materials, printed)
Separable type representations of matrices and fast algorithms.. Volume 1,. Basics. Completion Problems. Multiplication and Inversion Algorithms
by:
(Language materials, printed)
Separable type representations of matrices and fast algorithms.. Volume 2,. Eigenvalue method
by:
(Language materials, printed)
Decision and game theory in management with intuitionistic fuzzy sets
by:
(Language materials, printed)
Current challenges in stability issues for numerical differential equations = Cetraro, Italy 2011 /
by:
(Language materials, printed)
Applied algorithms = first International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014 : proceedings /
by:
(Language materials, printed)
Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(Language materials, printed)
Computations with modular forms = proceedings of a summer school and conference, Heidelberg, August/September 2011 /
by:
(Language materials, printed)
Symmetric discontinuous Galerkin methods for 1-D waves = Fourier analysis, propagation, observability and applications /
by:
(Language materials, printed)
Stochastic geometry, spatial statistics and random fields = models and algorithms /
by:
(Language materials, printed)
Topological and statistical methods for complex data = tackling large-scale, high-dimensional, and multivariate data spaces /
by:
(Language materials, printed)
Algorithms and discrete applied mathematics = first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Methods and algorithms for molecular docking-based drug design and discovery
by:
(Language materials, printed)
Algorithms and discrete applied mathematics = second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings /
by:
(Language materials, printed)
WALCOM = Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(Language materials, printed)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
Smart card research and advanced applications = 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015 : revised selected papers /
by:
(Language materials, printed)
Experimental algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(Language materials, printed)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Search and optimization by metaheuristics = techniques and algorithms inspired by nature /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(Language materials, printed)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016 : revised selected papers /
by:
(Language materials, printed)
Optimization and applications in control and data sciences = in honor of Boris T. Polyak's 80th Birthday /
by:
(Language materials, printed)
An introduction to online computation = determinism, randomization, advice /
by:
(Language materials, printed)
Decision and game theory for security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings /
by:
(Language materials, printed)
Models, algorithms and technologies for network analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 /
by:
(Language materials, printed)
Structural information and communication complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016 : revised selected papers /
by:
(Language materials, printed)
Discrete and computational geometry and graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Language materials, printed)
Multiple access communications = 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016 : proceedings /
by:
(Language materials, printed)
Machine learning, optimization, and big data = second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers /
by:
(Language materials, printed)
Handbook of research on modern optimization algorithms and applications in engineering and economics
by:
(Language materials, printed)
Handbook of research on artificial intelligence techniques and algorithms
by:
(Language materials, printed)
Optimization of type-2 fuzzy controllers using the bee colony algorithm
by:
(Language materials, printed)
An introduction to algorithmic trading = basic to advanced strategies /
by:
(Language materials, printed)
A journey through discrete mathematics = a tribute to Jiri Matousek /
by:
(Language materials, printed)
Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI /
by:
(Language materials, printed)
Optimization and management in manufacturing engineering = resource collaborative optimization and management through the Internet of things /
by:
(Language materials, printed)
Representations of Lie algebras and partial differential equations
by:
(Language materials, printed)
Models, algorithms, and technologies for network analysis = NET 2016, Nizhny Novgorod, Russia, May 2016 /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers /
by:
(Language materials, printed)
Structural information and communication complexity = 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017 : revised selected papers /
by:
(Language materials, printed)
Continuous nonlinear optimization for engineering applications in GAMS technology
by:
(Language materials, printed)
Guide to competitive programming = learning and improving algorithms through contests /
by:
(Language materials, printed)
Eigenvalue problems = algorithms, software and applications in Petascale computing : EPASA 2015, Tsukuba, Japan, September 2015 /
by:
(Language materials, printed)
Algorithms and programs of dynamic mixture estimation = unified approach to different types of components /
by:
(Language materials, printed)
Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(Language materials, printed)
Good habits for great coding = improving programming skills with examples in Python /
by:
(Language materials, printed)
Structures and algorithms = mathematics and the nature of knowledge /
by:
(Language materials, printed)
Machine scheduling to minimize weighted completion times = the use of the α-point /
by:
(Language materials, printed)
Practical mathematical optimization = basic optimization theory and gradient-based algorithms /
by:
(Language materials, printed)
Wireless algorithms, systems, and applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018 : proceedings /
by:
(Language materials, printed)
Optimization problems in graph theory = in honor of Gregory Z. Gutin's 60th birthday /
by:
(Language materials, printed)
Cohesive subgraph computation over large sparse graphs = algorithms, data structures, and programming techniques /
by:
(Language materials, printed)
Structure-preserving doubling algorithms for nonlinear matrix equations /
by:
(Language materials, printed)
Principles of computational cell biology : = from protein complexes to cellular networks /
by:
(Language materials, printed)
Ensemble learning : = pattern classification using ensemble methods /
by:
(Language materials, printed)
Notes from the International Autumn School on Computational Number Theory
by:
(Language materials, printed)
Fractal dimension for fractal structures = with applications to finance /
by:
(Language materials, printed)
Algorithms for computational biology = 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017 : proceedings /
by:
(Language materials, printed)
Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(Language materials, printed)
Web and wireless geographical information systems = 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017 : proceedings /
by:
(Language materials, printed)
Approximation and optimization = algorithms, complexity and applications /
by:
(Language materials, printed)
Advances on computational intelligence in energy = the applications of nature-inspired metaheuristic algorithms in energy /
by:
(Language materials, printed)
Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings /
by:
(Language materials, printed)
Transactions on large-scale data- and knowledge-centered systems XXXI = special issue on data and security engineering /
by:
(Language materials, printed)
Evolutionary multi-agent systems = from inspirations to applications /
by:
(Language materials, printed)
Approximation and online algorithms = 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Glowworm swarm optimization = theory, algorithms, and applications /
by:
(Language materials, printed)
Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings /
by:
(Language materials, printed)
Error-correction coding and decoding = bounds, codes, decoders, analysis and applications /
by:
(Language materials, printed)
Graceful, harmonious and magic type labelings = relations and techniques /
by:
(Language materials, printed)
Reasoning with probabilistic and deterministic graphical models : = exact algorithms /
by:
(Language materials, printed)
Algorithms and Computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Scale Space and Variational Methods in Computer Vision = 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Big Data Computing and Communications = First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings /
by:
(Language materials, printed)
Integration of AI and OR Techniques in Constraint Programming = 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Information and Computer Security = 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Computer Security -- ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Intelligent Data Engineering and Automated Learning – IDEAL 2015 = 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings /
by:
(Language materials, printed)
Convex Optimization in Normed Spaces = Theory, Methods and Examples /
by:
(Language materials, printed)
Bioinspired Computation in Artificial Systems = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Combinatorial Pattern Matching = 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III /
by:
(Language materials, printed)
BONUS Algorithm for Large Scale Stochastic Nonlinear Programming Problems
by:
(Language materials, printed)
Optimal Interconnection Trees in the Plane = Theory, Algorithms and Applications /
by:
(Language materials, printed)
Energy Minimization Methods in Computer Vision and Pattern Recognition = 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings /
by:
(Language materials, printed)
Distributed Computing and Internet Technology = 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings /
by:
(Language materials, printed)
Human Centered Computing = First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II /
by:
(Language materials, printed)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part III /
by:
(Language materials, printed)
Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part I /
by:
(Language materials, printed)
Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Information Security and Privacy = 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings /
by:
(Language materials, printed)
Operational Research = IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013 /
by:
(Language materials, printed)
Computer Science -- Theory and Applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
by:
(Language materials, printed)
Experimental Algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(Language materials, printed)
Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(Language materials, printed)
Wired/Wireless Internet Communications = 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms, Probability, Networks, and Games = Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
String Processing and Information Retrieval = 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings /
by:
(Language materials, printed)
Similarity-Based Pattern Recognition = Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings /
by:
(Language materials, printed)
Advances in Intelligent Data Analysis XIV = 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings /
by:
(Language materials, printed)
Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Security and Trust Management = 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings /
by:
(Language materials, printed)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(Language materials, printed)
Augmented Environments for Computer-Assisted Interventions = 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings /
by:
(Language materials, printed)
Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Secure IT Systems = 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence and Soft Computing = 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Cryptography and Coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
by:
(Language materials, printed)
Big Data Analytics = 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015, Proceedings /
by:
(Language materials, printed)
Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Patch-Based Techniques in Medical Imaging = First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Coding Theory and Applications = 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014 /
by:
(Language materials, printed)
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data = Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Information Systems Security = 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings /
by:
(Language materials, printed)
Discovery Science = 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV /
by:
(Language materials, printed)
Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V /
by:
(Language materials, printed)
Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
by:
(Language materials, printed)
Information and Communications Security = 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Introduction to datafication = implement datafication using AI and ML algorithms /
by:
(Language materials, printed)
Simultaneous Short-Term Decision-Making in Mining Complexes Integrating Geometallurgy Assisted By Production Data.
by:
(Language materials, printed)
GAN-Based Super-Resolution and Segmentation of Retinal Layers in Optical Coherence Tomography Scans.
by:
(Language materials, printed)
Drone and Satellite Remote Sensing for Shallow Water Bathymetry Mapping and Feature Detection = = שימוש בחישה מרחוק מלויינים ורחפנים למיפוי קרקעית הים וזיהו עצמים בקרבת החוף.
by:
(Language materials, printed)
Advanced Interference Mitigation Techniques for Cellular-Connected Drone Communication.
by:
(Language materials, printed)
Cognitive behavior and human computer interaction based on machine learning algorithms /
by:
(Language materials, printed)
How to design optimization algorithms by applying natural behavioral patterns
by:
(Language materials, printed)
Geometry of the phase retrieval problem = graveyard of algorithms /
by:
(Language materials, printed)
Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Machine Learning, Optimization, and Data Science = 7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(Language materials, printed)
Skew PBW Extensions = Ring and Module-theoretic Properties, Matrix and Gröbner Methods, and Applications /
by:
(Language materials, printed)
User-Driven Applications for Research and Science = Building Programs for Fields with Open Scenarios and Unpredictable User Actions /
by:
(Language materials, printed)
Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Innovative Security Solutions for Information Technology and Communications = 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
by:
(Language materials, printed)
On the Move to Meaningful Internet Systems: OTM 2015 Workshops = Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings /
by:
(Language materials, printed)
Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings /
by:
(Language materials, printed)
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications = 20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings /
by:
(Language materials, printed)
SOFSEM 2015: Theory and Practice of Computer Science = 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2015 = 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI = Selected Papers from DaWaK 2012 /
by:
(Language materials, printed)
Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Research in Computational Molecular Biology = 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings /
by:
(Language materials, printed)
Coordination Models and Languages = 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Multiple Access Communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings /
by:
(Language materials, printed)
Clustering High--Dimensional Data = First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
by:
(Language materials, printed)
Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Machine Learning, Optimization, and Big Data = First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Automated Deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
by:
(Language materials, printed)
Database Systems for Advanced Applications = DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I /
by:
(Language materials, printed)
Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
(Language materials, printed)
Advanced Intelligent Computing Theories and Applications = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Life and Computational Intelligence = First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Future Data and Security Engineering = Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings /
by:
(Language materials, printed)
Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Web Technologies and Applications = APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Decision and Game Theory for Security = 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings /
by:
(Language materials, printed)
Numerical Methods and Applications = 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings /
by:
(Language materials, printed)
Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
by:
(Language materials, printed)
Soft Computing in Data Science = First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings /
by:
(Language materials, printed)
Applications and Techniques in Information Security = 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Stochastic Geometry, Spatial Statistics and Random Fields = Models and Algorithms /
by:
(Language materials, printed)
Topological and Statistical Methods for Complex Data = Tackling Large-Scale, High-Dimensional, and Multivariate Data Spaces /
by:
(Language materials, printed)
Optimization of Stochastic Discrete Systems and Control on Complex Networks = Computational Networks /
by:
(Language materials, printed)
Progress in Cryptology -- INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings /
by:
(Language materials, printed)
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
(Language materials, printed)
Cryptographic Hardware and Embedded Systems -- CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary and Biologically Inspired Music, Sound, Art and Design = 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Biometric Recognition = 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings /
by:
(Language materials, printed)
Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2015 = 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Artificial Computation in Biology and Medicine = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(Language materials, printed)
Current Approaches in Applied Artificial Intelligence = 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Internet and Distributed Computing Systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings /
by:
(Language materials, printed)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings /
by:
(Language materials, printed)
Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Codes, Cryptology, and Information Security = First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV /
by:
(Language materials, printed)
Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
AI 2015: Advances in Artificial Intelligence = 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence and Its Applications = 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Research in Attacks, Intrusions, and Defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII = Special Issue on Database- and Expert-Systems Applications /
by:
(Language materials, printed)
Computer Algebra and Polynomials = Applications of Algebra and Number Theory /
by:
(Language materials, printed)
Advances in Visual Informatics = 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings /
by:
(Language materials, printed)
Computer Security -- ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings /
by:
(Language materials, printed)
Mining Intelligence and Knowledge Exploration = Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Cloud Computing and Security = First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings /
by:
(Language materials, printed)
Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II /
by:
(Language materials, printed)
Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
by:
(Language materials, printed)
Public-Key Cryptography -- PKC 2015 = 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2015 = 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings /
by:
(Language materials, printed)
Information Retrieval Technology = 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Databases Theory and Applications = 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings /
by:
(Language materials, printed)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Conceptual Modeling = 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III /
by:
(Language materials, printed)
Image Analysis and Processing — ICIAP 2015 = 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Advanced Methodologies for Bayesian Networks = Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings /
by:
(Language materials, printed)
Similarity Search and Applications = 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(Language materials, printed)
Lightweight Cryptography for Security and Privacy = Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Dynamic Data-Driven Environmental Systems Science = First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Statistical Learning and Data Sciences = Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings /
by:
(Language materials, printed)
Multi-disciplinary Trends in Artificial Intelligence = 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings /
by:
(Language materials, printed)
Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 /
by:
(Language materials, printed)
Machine Learning and Data Mining in Pattern Recognition = 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings /
by:
(Language materials, printed)
Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings /
by:
(Language materials, printed)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Machine Learning Meets Medical Imaging = First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Principles of Security and Trust = 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Knowledge Science, Engineering and Management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII = Selected Papers from DaWaK 2013 /
by:
(Language materials, printed)
Programming Languages and Systems = 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Technology and Practice of Passwords = International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Energy Informatics = 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings /
by:
(Language materials, printed)
Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA
by:
(Language materials, printed)
Security Standardisation Research = Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings /
by:
(Language materials, printed)
Computational Methods and Clinical Applications for Spine Imaging = 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Principles of Security and Trust = 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
by:
(Language materials, printed)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Geographic Information Science = 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings /
by:
(Language materials, printed)
Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /
by:
(Language materials, printed)
Bio-inspired Computing – Theories and Applications = 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I /
by:
(Language materials, printed)
Advanced Analysis and Learning on Temporal Data = First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary and Biologically Inspired Music, Sound, Art and Design = 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings /
by:
(Language materials, printed)
Patch-Based Techniques in Medical Imaging = Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings /
by:
(Language materials, printed)
Graphical Models for Security = Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Computer Information Systems and Industrial Management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings /
by:
(Language materials, printed)
Mathematical Aspects of Computer and Information Sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Future and Emergent Trends in Language Technology = First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Network Science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings /
by:
(Language materials, printed)
Information Retrieval Technology = 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 – December 2, 2016, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII = Special Issue on Big Data for Complex Urban Systems /
by:
(Language materials, printed)
Distributed Computing and Internet Technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
by:
(Language materials, printed)
Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Big Data Benchmarks, Performance Optimization, and Emerging Hardware = 6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings /
by:
(Language materials, printed)
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries = First International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Digital-Forensics and Watermarking = 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings /
by:
(Language materials, printed)
Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV /
by:
(Language materials, printed)
Knowledge Management and Acquisition for Intelligent Systems = 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings /
by:
(Language materials, printed)
Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Internet and Distributed Computing Systems = 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings /
by:
(Language materials, printed)
Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization /
by:
(Language materials, printed)
Future Data and Security Engineering = Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
by:
(Language materials, printed)
Artificial Life and Computational Intelligence = Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
(Language materials, printed)
Information Systems Security = 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings /
by:
(Language materials, printed)
Research in Attacks, Intrusions, and Defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings /
by:
(Language materials, printed)
Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Web Technologies and Applications = APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings /
by:
(Language materials, printed)
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries = Second International Workshop, BrainLes 2016, with the Challenges on BRATS, ISLES and mTOP 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Decision and Game Theory for Security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Models, Algorithms and Technologies for Network Analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings /
by:
(Language materials, printed)
Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Coordination Models and Languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Computational Methods and Clinical Applications for Spine Imaging = Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings /
by:
(Language materials, printed)
Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V /
by:
(Language materials, printed)
Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments = Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Brain Inspired Cognitive Systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings /
by:
(Language materials, printed)
Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Programmieren für Ingenieure und Naturwissenschaftler = Grundlagen /
by:
(Language materials, printed)
Lightweight Cryptography for Security and Privacy = 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmen von Hammurapi bis Gödel = Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima /
by:
(Language materials, printed)
LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /
by:
(Language materials, printed)
Topics in Cryptology - CT-RSA 2016 = The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings /
by:
(Language materials, printed)
Applications and Techniques in Information Security = 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings /
by:
(Language materials, printed)
Support Vector Machines and Perceptrons = Learning, Optimization, Classification, and Application to Social Networks /
by:
(Language materials, printed)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(Language materials, printed)
Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Web and Internet Economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Machine Translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25–26, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Economics and Computation = An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division /
by:
(Language materials, printed)
Graph Transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
by:
(Language materials, printed)
Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX
by:
(Language materials, printed)
Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
by:
(Language materials, printed)
Trends in Applied Knowledge-Based Systems and Data Science = 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings /
by:
(Language materials, printed)
Swarm Intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI = Special Issue on Data Warehousing and Knowledge Discovery /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(Language materials, printed)
Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings /
by:
(Language materials, printed)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(Language materials, printed)
Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Multi-Agent Systems and Agreement Technologies = 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV = Special Issue on Database- and Expert-Systems Applications /
by:
(Language materials, printed)
Intelligent Data Engineering and Automated Learning – IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings /
by:
(Language materials, printed)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Services Computing = 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings /
by:
(Language materials, printed)
An Introduction to Online Computation = Determinism, Randomization, Advice /
by:
(Language materials, printed)
Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(Language materials, printed)
Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach /
by:
(Language materials, printed)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Data Privacy Management and Security Assurance = 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings /
by:
(Language materials, printed)
Big Data Computing and Communications = Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings /
by:
(Language materials, printed)
Integration of AI and OR Techniques in Constraint Programming = 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Information Security and Cryptology - ICISC 2015 = 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum
by:
(Language materials, printed)
Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature /
by:
(Language materials, printed)
Bio-inspired Computing – Theories and Applications = 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Artificial Intelligence Applications and Innovations = 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings /
by:
(Language materials, printed)
A Polynomial Translation of Mobile Ambients into Safe Petri Nets = Understanding a Calculus of Hierarchical Protection Domains /
by:
(Language materials, printed)
Harmony Search Algorithm = Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) /
by:
(Language materials, printed)
Primzahltests für Einsteiger = Zahlentheorie – Algorithmik – Kryptographie /
by:
(Language materials, printed)
Soft Computing in Data Science = Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings /
by:
(Language materials, printed)
Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Green, Pervasive, and Cloud Computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings /
by:
(Language materials, printed)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Information Security and Cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Discrete and Computational Geometry and Graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Research in Computational Molecular Biology = 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings /
by:
(Language materials, printed)
Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part I /
by:
(Language materials, printed)
Computer Vision and Graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings /
by:
(Language materials, printed)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Computers and Games = 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2016 = 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX = Special Issue on Cloud Computing /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV
by:
(Language materials, printed)
Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings /
by:
(Language materials, printed)
Public-Key Cryptography – PKC 2016 = 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings /
by:
(Language materials, printed)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry /
by:
(Language materials, printed)
Modern X86 assembly language programming = covers X86 64-bit, AVX, AVX2, and AVX-512 /
by:
(Language materials, printed)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Language materials, printed)
String processing and information retrieval = 30th International Symposium, SPIRE 2023, Palermo, Italy, September 26-28, 2023 : proceedings /
by:
(Language materials, printed)
Artificial evolution = 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022 : revised selected papers /
by:
(Language materials, printed)
Graph-based representations in pattern recognition = 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
(Language materials, printed)
Parallel operator splitting algorithms with application to imaging inverse problems
by:
(Language materials, printed)
String Processing and Information Retrieval = 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings /
by:
(Language materials, printed)
Secure IT Systems = 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings /
by:
(Language materials, printed)
Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
by:
(Language materials, printed)
Biometric Recognition = 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings /
by:
(Language materials, printed)
Multiple Access Communications = 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings /
by:
(Language materials, printed)
Information and Communications Security = 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings /
by:
(Language materials, printed)
Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Machine Learning and Data Mining in Pattern Recognition = 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings /
by:
(Language materials, printed)
Public-Key Cryptography – PKC 2016 = 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Database Systems for Advanced Applications = DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings /
by:
(Language materials, printed)
Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Simulation and Synthesis in Medical Imaging = First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings /
by:
(Language materials, printed)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Privacy Technologies and Policy = 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Intelligent Data Analysis XV = 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings /
by:
(Language materials, printed)
Advanced Concepts for Intelligent Vision Systems = 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings /
by:
(Language materials, printed)
Intelligent Computing Methodologies = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Technology and Practice of Passwords = 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings /
by:
(Language materials, printed)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Web-Age Information Management = WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(Language materials, printed)
Privacy Technologies and Policy = Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /
by:
(Language materials, printed)
Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
(Language materials, printed)
Big Data Benchmarking = 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII = Special Issue on Database- and Expert-Systems Applications /
by:
(Language materials, printed)
Data Mining and Big Data = First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings /
by:
(Language materials, printed)
Articulated Motion and Deformable Objects = 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings /
by:
(Language materials, printed)
Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II /
by:
(Language materials, printed)
Information and Communications Security = 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings /
by:
(Language materials, printed)
Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /
by:
(Language materials, printed)
Post-Quantum Cryptography = 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Multi-disciplinary Trends in Artificial Intelligence = 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Image and Signal Processing = 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Security, Privacy, and Anonymity in Computation, Communication, and Storage = 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I /
by:
(Language materials, printed)
SOFSEM 2016: Theory and Practice of Computer Science = 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /
by:
(Language materials, printed)
Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Smart Card Research and Advanced Applications = 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Solving Large Scale Learning Tasks. Challenges and Algorithms = Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday /
by:
(Language materials, printed)
Databases Theory and Applications = 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings /
by:
(Language materials, printed)
Machine Learning, Optimization, and Big Data = Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Discovery Science = 19th International Conference, DS 2016, Bari, Italy, October 19–21, 2016, Proceedings /
by:
(Language materials, printed)
Artificial General Intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings /
by:
(Language materials, printed)
The New Codebreakers = Essays Dedicated to David Kahn on the Occasion of His 85th Birthday /
by:
(Language materials, printed)
Provable Security = 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2015 /
by:
(Language materials, printed)
Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Image and Video Technology – PSIVT 2015 Workshops = RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Economics of Grids, Clouds, Systems, and Services = 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Conformal and Probabilistic Prediction with Applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(Language materials, printed)
Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Cryptology – EUROCRYPT 2016 = 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Machine Learning for Health Informatics = State-of-the-Art and Future Challenges /
by:
(Language materials, printed)
Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(Language materials, printed)
Internet of Vehicles – Technologies and Services = Third International Conference, IOV 2016, Nadi, Fiji, December 7–10, 2016, Proceedings /
by:
(Language materials, printed)
Scalable Uncertainty Management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
(Language materials, printed)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(Language materials, printed)
AI 2016: Advances in Artificial Intelligence = 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings /
by:
(Language materials, printed)
Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings /
by:
(Language materials, printed)
From Animals to Animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings /
by:
(Language materials, printed)
Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings /
by:
(Language materials, printed)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Similarity Search and Applications = 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities = Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings /
by:
(Language materials, printed)
PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Computational Intelligence = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Artificial Intelligence XXXV = 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings /
by:
(Language materials, printed)
Applications of Big Data Analytics = Trends, Issues, and Challenges /
by:
(Language materials, printed)
Identifying Patterns in Financial Markets = New Approach Combining Rules Between PIPs and SAX /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computational Intelligence and Intelligent Systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Advances in Green Energy Systems and Smart Grid = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings /
by:
(Language materials, printed)
Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings /
by:
(Language materials, printed)
Good Habits for Great Coding = Improving Programming Skills with Examples in Python /
by:
(Language materials, printed)
Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Brain Inspired Cognitive Systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings /
by:
(Language materials, printed)
Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Recent Trends and Future Technology in Applied Intelligence = 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings /
by:
(Language materials, printed)
LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings /
by:
(Language materials, printed)
Einführung in die Optimierung = Konzepte, Methoden und Anwendungen /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2017 /
by:
(Language materials, printed)
The Discrete Math Workbook = A Companion Manual for Practical Study /
by:
(Language materials, printed)
AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings /
by:
(Language materials, printed)
Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Life and Intelligent Agents = Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings /
by:
(Language materials, printed)
Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings /
by:
(Language materials, printed)
Theoretical Computer Science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Cohesive Subgraph Computation over Large Sparse Graphs = Algorithms, Data Structures, and Programming Techniques /
by:
(Language materials, printed)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Soft Computing = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Braverman Readings in Machine Learning. Key Ideas from Inception to Current State = International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings /
by:
(Language materials, printed)
Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings /
by:
(Language materials, printed)
Intelligent Computing and Internet of Things = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Proceedings of the 2nd Workshop on Communication Security = Cryptography and Physical Layer Security /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(Language materials, printed)
Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Database and Expert Systems Applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Recent Advances in Intelligent Manufacturing = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings /
by:
(Language materials, printed)
Optimization Problems in Graph Theory = In Honor of Gregory Z. Gutin's 60th Birthday /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I /
by:
(Language materials, printed)
KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings /
by:
(Language materials, printed)
Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Intelligent Computing Methodologies = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Entwurf und Analyse von Algorithmen = Eine Einführung in die Algorithmik mit Java /
by:
(Language materials, printed)
Guide to Graph Algorithms = Sequential, Parallel and Distributed /
by:
(Language materials, printed)
Computational Intelligence and Intelligent Systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Combinatorial Algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers /
by:
(Language materials, printed)
SOFSEM 2018: Theory and Practice of Computer Science = 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations
by:
(Language materials, printed)
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Machine Scheduling to Minimize Weighted Completion Times = The Use of the α-point /
by:
(Language materials, printed)
Practical Mathematical Optimization = Basic Optimization Theory and Gradient-Based Algorithms /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings /
by:
(Language materials, printed)
Fundamentals of Discrete Math for Computer Science = A Problem-Solving Primer /
by:
(Language materials, printed)
Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings /
by:
(Language materials, printed)
Inspired by Nature = Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday /
by:
(Language materials, printed)
Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Computational Intelligence and Its Applications = 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings /
by:
(Language materials, printed)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Applications and Innovations = 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Applications and Innovations = AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings /
by:
(Language materials, printed)
Genetic Programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Fundiert entscheiden = Ein kleines Handbuch für alle Lebenslagen /
by:
(Language materials, printed)
Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings /
by:
(Language materials, printed)
Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computational Intelligence in Music, Sound, Art and Design = 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /
by:
(Language materials, printed)
Membrane Computing = 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /
by:
(Language materials, printed)
Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig /
by:
(Language materials, printed)
Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Automated Reasoning = 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
by:
(Language materials, printed)
Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings /
by:
(Language materials, printed)
Agent-Based Models and Complexity Science in the Age of Geospatial Big Data = Selected Papers from a workshop on Agent-Based Models and Complexity Science (GIScience 2016) /
by:
(Language materials, printed)
Multi-objective optimization in theory and practice II = metaheuristic algorithms /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings /
by:
(Language materials, printed)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(Language materials, printed)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings /
by:
(Language materials, printed)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(Language materials, printed)
Machine Learning, Optimization, and Data Science = 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings /
by:
(Language materials, printed)
Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings /
by:
(Language materials, printed)
Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Intelligence in Music, Sound, Art and Design = 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pattern Recognition and Machine Intelligence = 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Data versus Democracy = How Big Data Algorithms Shape Opinions and Alter the Course of History /
by:
(Language materials, printed)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Soft Computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings /
by:
(Language materials, printed)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Models for the Web Graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings /
by:
(Language materials, printed)
Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Spline and Spline Wavelet Methods with Applications to Signal and Image Processing = Volume III: Selected Topics /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings /
by:
(Language materials, printed)
Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(Language materials, printed)
Iterative Learning Control for Systems with Iteration-Varying Trial Lengths = Synthesis and Analysis /
by:
(Language materials, printed)
Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(Language materials, printed)
KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
(Language materials, printed)
Advanced Informatics for Computing Research = Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
by:
(Language materials, printed)
Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Understand, Manage, and Prevent Algorithmic Bias = A Guide for Business Users and Data Scientists /
by:
(Language materials, printed)
Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming /
by:
(Language materials, printed)
Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Adaptive Resonance Theory in Social Media Data Clustering = Roles, Methodologies, and Applications /
by:
(Language materials, printed)
Sequential and Parallel Algorithms and Data Structures = The Basic Toolbox /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Notes from the International Autumn School on Computational Number Theory
by:
(Language materials, printed)
Algorithms for Sensor Systems = 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings /
by:
(Language materials, printed)
SOFSEM 2019: Theory and Practice of Computer Science = 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings /
by:
(Language materials, printed)
Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Research & Innovation Forum 2019 = Technology, Innovation, Education, and their Social Impact /
by:
(Language materials, printed)
Advances in Conceptual Modeling = ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
Algorithms for Sensor Systems = 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2017 /
by:
(Language materials, printed)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
by:
(Language materials, printed)
Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings /
by:
(Language materials, printed)
Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Fractal Dimension for Fractal Structures = With Applications to Finance /
by:
(Language materials, printed)
Web and Internet Economics = 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
by:
(Language materials, printed)
Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Soft Computing in Data Analytics = Proceedings of International Conference on SCDA 2018 /
by:
(Language materials, printed)
Mathematics and Computation in Music = 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings /
by:
(Language materials, printed)
Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(Language materials, printed)
Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
A Statistical Mechanical Interpretation of Algorithmic Information Theory
by:
(Language materials, printed)
Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
(Language materials, printed)
Computergrafik = Band I des Standardwerks Computergrafik und Bildverarbeitung /
by:
(Language materials, printed)
Advances in Computational Intelligence = 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Computational Intelligence = 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Computational Intelligence and Intelligent Systems = 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Theoretical Computer Science = 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computing and Software Science = State of the Art and Perspectives /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings /
by:
(Language materials, printed)
Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings /
by:
(Language materials, printed)
Predictive Intelligence in Medicine = Second International Workshop, PRIME 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings /
by:
(Language materials, printed)
Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Pro TBB = C++ Parallel Programming with Threading Building Blocks /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings /
by:
(Language materials, printed)
Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings /
by:
(Language materials, printed)
Advances on Computational Intelligence in Energy = The Applications of Nature-Inspired Metaheuristic Algorithms in Energy /
by:
(Language materials, printed)
Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
by:
(Language materials, printed)
Agents and Artificial Intelligence = 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings /
by:
(Language materials, printed)
Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Deep Reinforcement Learning = Frontiers of Artificial Intelligence /
by:
(Language materials, printed)
Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Technological Innovation for Industry and Service Systems = 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings /
by:
(Language materials, printed)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence XXXVI = 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings /
by:
(Language materials, printed)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Approximation and Optimization = Algorithms, Complexity and Applications /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
High-Performance Computing and Big Data Analysis = Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings /
by:
(Language materials, printed)
PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Geo-informatics in Sustainable Ecosystem and Society = 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects