-
Algorithms in bioinformatics : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings
Bioinformatics;Computer algorithms
Frith, Martin;Storm Pedersen, Christian Nørgaard - Springer 2016
-
Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers
Computer logic;Conference papers and proceedings
Lucanu, Dorel - Springer 2016
-
Transactions on petri nets and other models of concurrency XI
Computer multitasking;Petri nets;Conference papers and proceedings
Desel, Jörg;Kleijn, Jetty;Koutny, Maciej - Springer 2016
-
Cellular automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings
Cellular automata;Conference papers and proceedings
Bandini, S;El Yacoubi, Samira;Wąs, Jarosław - Springer 2016
-
Algorithmic game theory : 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, proceedings
Algorithms;Game theory;Conference papers and proceedings
Gairing, Martin;Savani, Rahul - Springer 2016
-
Discrete optimization and operations research : 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
Mathematical optimization;Operations research;Conference papers and proceedings
Beresnev, Vladimir;Khachay, Mikhail Yu;Kochetov, Yury;Nurminski, Evgeni;Pardalos, P. M - Springer 2016
-
Combinatorial optimization : 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised selected papers
Combinatorial optimization;Conference papers and proceedings
Cerulli, Raffaele;Fujishige, Satoru;Mahjoub, A. Ridha - Springer 2016
-
Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Computer science;Conference papers and proceedings
Gerdt, Vladimir P;Koepf, Wolfram;Seiler, Werner M;Vorozhtsov, E. V - Springer 2016
-
Principles and methods of quantum information technologies
Quantum computing
Yamamoto, Yoshihisa;Semba, Kouichi - Springer 2016 1st ed. 2016.
-
Algorithmic learning theory : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings
Computer algorithms;Machine learning;Conference papers and proceedings
Ortner, Ronald;Simon, Hans Ulrich;Zilles, Sandra - Springer 2016
-
Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
Computer science;Conference papers and proceedings
Sampaio, Augusto;Wang, Farn - Springer 2016
-
Hybrid Systems Biology : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Artificial intelligence;Bioinformatics;Computer logic;Computer science;Computer simulation;Data mining;Software engineering;Computational biology;Systems biology;Conference papers and proceedings
Cinquemani, Eugenio;Donzé, Alexandre - Springer 2016
-
Subjective logic : a formalism for reasoning under uncertainty
Artificial intelligence;Computer logic;Computer science;Computer security;Formal methods (Computer science);Logic, Symbolic and mathematical;Logic;Uncertainty (Information theory)
Jøsang, Audun - Springer 2016
-
Decision diagrams for optimization
Artificial intelligence;Combinatorial optimization;Computer science;Computers;Decision making;Management science;Mathematical optimization;Operations research
Bergman, David;Cire, Andre A;Hoeve, Willem-Jan van;Hooker, John - Springer 2016
-
Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Formal languages;Machine theory;Mathematical linguistics;Conference papers and proceedings
Horia Dediu, Adrian;Janoušek, Jan;Martín Vide, Carlos;Truthe, Bianca - Springer 2016
-
Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part II
Evolutionary computation;Conference papers and proceedings
Burelli, Paolo;Squillero, Giovanni - Springer 2016
-
Algorithm engineering : selected results and surveys
Algorithms
Kliemann, Lasse;Sanders, Peter - Springer 2016
-
Algorithms and models for the web graph : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings
Computer algorithms;Data mining;World Wide Web;Conference papers and proceedings
Bonato, Anthony;Chung, Fan R. K;Prałat, Paweł - Springer 2016
-
Structural information and communication complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers
Computer networks;Digital communications;Electronic data processing;Conference papers and proceedings
Suomela, Jukka - Springer 2016
-
Theory and Practice of Natural Computing : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
Algorithms;Artificial intelligence;Computer science;Computers;Information storage and retrieval;Natural computation
Martín-Vide, Carlos;Mizuki, Takaaki;Vega-Rodríguez, Miguel A - Springer 2016