Showing 1 - 24 (of 409)
Refine
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaiso, Chile,  September 1-4, 2014. Proceedings - Book

Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach

Format: Book (Paperback / softback)

£39.99

£30.43

Book (Paperback / softback)

Add to Basket
Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings - Book

Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Mohua Banerjee

Format: Book (Paperback / softback)

£39.99

£30.43

Book (Paperback / softback)

Add to Basket
Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, - Book

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I - Book

Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Magnus M. Halldorsson

Format: Book (Paperback / softback)

£89.99

£63.29

Book (Paperback / softback)

Add to Basket
Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings - Book

Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Nikhil Bansal

Format: Book (Paperback / softback)

£89.99

£63.29

Book (Paperback / softback)

Add to Basket
Developments in Language Theory : 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings - Book

Developments in Language Theory : 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings

Srecko Brlek

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Book

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Sujata Ghosh

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - Book

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity

Thomas Zeume

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers - Book

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings - Book

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Patrick Blackburn

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Combinatorial Optimization and Applications : 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings - Book

Combinatorial Optimization and Applications : 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Yingshu Li

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Neural Information Processing : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part I - Book

Neural Information Processing : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part I

Tom Gedeon

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Neural Information Processing : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II - Book

Neural Information Processing : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II

Tom Gedeon

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings - Book

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Sergei Artemov

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I - Book

Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I

Sheng Wen

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings - Book

Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings

Manoj Changat

Format: Book (Paperback / softback)

£64.99

£47.01

Book (Paperback / softback)

Add to Basket
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings - Book

Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings

Alberto Leporati

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Numerical Computations: Theory and Algorithms : Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II - Book

Numerical Computations: Theory and Algorithms : Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II

Yaroslav D. Sergeyev

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Large-Scale Scientific Computing : 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers - Book

Large-Scale Scientific Computing : 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers

Ivan Lirkov

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement - Book

From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement

Alessandra Di Pierro

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers - Book

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Huaikou Miao

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II - Book

Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II

Roman Wyrzykowski

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof - Book

A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof

Petro Lutsyk

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Evolutionary Computation in Combinatorial Optimization : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings - Book

Evolutionary Computation in Combinatorial Optimization : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings

Luis Paquete

Format: Book (Paperback / softback)

£44.99

£34.04

Book (Paperback / softback)

Add to Basket
Showing 1 - 24 (of 409)
Refine