-
Algorithms and Complexity : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
Algorithms;Computer science;Data structures (Computer science)
Fotakis, Dimitris;Pagourtzis, Aris;Paschos, Vangelis Th - Springer 2017
-
Cellular automata and discrete complex systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular automata;Computer science;Conference papers and proceedings
Dennunzio, Alberto;Formenti, Enrico;Manzoni, Luca;Porreca, Antonio E - Springer 2017
-
Digital logic for computing
Computer logic
Seiffertt, John - Springer 2017
-
Frontiers in algorithmics : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
Computer algorithms;Conference papers and proceedings
Rosamond, Frances;Xiao, Mingyu - Springer 2017
-
Implementation and application of automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Machine theory;Robotics;Conference papers and proceedings
Carayol, Arnaud;Nicaud, Cyril - Springer 2017
-
Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Artificial intelligence;Computer input-output equipment;Computer networks;Computer science;Computer storage devices;Logic design;Software engineering
Phillips, Iain;Rahaman, Hafizur - Springer 2017
-
Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Language and logic;Logic, Symbolic and mathematical;Conference papers and proceedings
Kennedy, Juliette;Queiroz, Ruy J. G. B. de - Springer 2017
-
Developments in language theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Formal languages;Conference papers and proceedings
Charlier, Émilie;Leroy, Julien;Rigo, Michel - Springer 2017
-
Algorithms and data structures : 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31-August 2, 2017, Proceedings
Computer algorithms;Data structures (Computer science);Conference papers and proceedings
Ellen, Faith;Kolokolova, Antonina;Sack, J.-R - Springer 2017
-
Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings
Computer algorithms;Computer software;Conference papers and proceedings
Gaspers, Serge;Walsh, Toby - Springer 2017
-
Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Computer science;Logic, Symbolic and mathematical;Conference papers and proceedings
Dixon, Clare;Finger, Marcelo - Springer 2017
-
Algorithmic game theory : 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Algorithms;Game theory;Conference papers and proceedings
Bilò, Vittorio;Flammini, Michele - Springer 2017
-
Algorithms and models for the web graph : 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15?16, 2017, Revised selected papers
Computer algorithms;Data mining;World Wide Web;Conference papers and proceedings
Bonato, Anthony;Chung Graham, Fan;Prałat, Paweł - Springer 2017
-
Game theory for networks : 7th International EAI Conference, GameNets 2017 Knoxville, TN, USA, May 9, 2017, Proceedings
Computer networks;Game theory;Conference papers and proceedings
Chen, Xu;Duan, Lingjie;Elazouzi, Rachid;Li, Husheng;Materassi, Donatello;Sanjab, Anibal - Springer 2017
-
Transactions on petri nets and other models of concurrency XII
Petri nets
Kleijn, Jetty;Koutny, Maciej;Penczek, Wojciech - Springer 2017
-
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Algorithms;Computer logic;Computer science;Computer simulation;Logic, Symbolic and mathematical;Programming languages (Electronic computers);Software engineering;Conference papers and proceedings
Abate, Alessandro;Geeraerts, Gilles - Springer International Publishing 2017
-
Game theory and applications : 3rd Joint China-Dutch Workshop and 7th China Meeting, GTA 2016, Fuzhou, China, November 20-23, 2016, Revised selected papers
Game theory;Conference papers and proceedings
Li, Deng-Feng;Uetz, Marc;Xu, Gen-Jiu;Yang, Xiao-Guang - Springer 2017
-
Simulation Algorithms for Computational Systems Biology
Algorithms;Bioinformatics;Computer science;Systems biology
Marchetti, Luca;Priami, Corrado;Thanh, Vo Hong - Springer 2017
-
Geometric science of information : third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings
Computer science;Geometry;Information science;Conference papers and proceedings
Barbaresco, Frédéric;Nielsen, Frank - Springer 2017
-
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
Algorithms;Computer networks;Computer science;Data structures (Computer science);Numerical analysis;Software engineering;Combinatorial optimization;Conference papers and proceedings
Du, Hongwei;Gao, Xiaofeng;Han, Meng - Imprint: Springer 2017