Parallel Processing and Applied Mathematics, Part II
Roman Wyrzykowski
Paperback
Not Available
Intelligent Computing Technology
DeShuang Huang
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindler?v Mlýn, Czech Republic, January 26-31, 2013, P
Peter van Emde Boas
Logic-Based Program Synthesis and Transformation
Elvira Albert
Moreno Falaschi
Manuel V Hermenegildo
Fred Mesnard
Maurizio Gabbrielli
Computer Aided Verification
Natasha Sharygina
Rupak Majumdar
Hana Chockler
Isil Dillig
Shuvendu K Lahiri
Alexandra Silva
Reconfigurable Computing: Architectures, Tools, and Applications
Diana Goehringer
Automata, Languages, and Programming
Javier Esparza
Rewriting and Typed Lambda Calculi
Gilles Dowek
Formal Grammar
Glyn Morrill
Quantitative Evaluation of Systems
Gethin Norman
Javier Campos
Nathalie Bertrand
David Parker
Static Analysis
Markus MüllerOlm
Neural Information Processing
Chu Kiong Loo
Sabri Arik
Akira Hirose
Derong Liu
Tom Gedeon
Teddy Mantoro
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Pa
Florin Pop
Language and Automata Theory and Applications
AdrianHoria Dediu
Carlos MartínVide
Alberto Leporati
Solving Software Challenges for Exascale
Stefano Markidis
Evolutionary Multi-Criterion Optimization
Heike Trautmann
Kalyanmoy Deb
Hisao Ishibuchi
Arithmetic of Finite Fields
Çetin Kaya Koç
Jean Claude Bajard
Architecture of Computing Systems – ARCS 2015
Luís Miguel Pinho Pinho
Applied Reconfigurable Computing
Kentaro Sano
Stephan Wong
Christian Hochberger
Evolutionary Computation in Combinatorial Optimization
Gabriela Ochoa
Luís Paquete
Applications of Evolutionary Computation
Antonio M Mora
Giovanni Squillero
Paul Kaufmann
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, Apri
Alexander Egyed
High Performance Computing for Computational Science -- VECPAR 2014
Michel Daydé
Cellular Automata and Discrete Complex Systems
Jarkko Kari
Teijiro Isokawa
Matthew Cook
Languages and Compilers for Parallel Computing
James Brodman
Xipeng Shen
Mary Hall
Barbara Chapman
Logic, Language, and Computation
Martin Aher
Artificial Computation in Biology and Medicine
José Manuel Ferrández Vicente
Frontiers in Algorithmics
Jianxin Wang
Daming Zhu
Jianer Chen
Yijia Chen
Minming Li
Evolving Computability
Arnold Beckmann
Bioinspired Computation in Artificial Systems
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings
Evripidis Bampis
Advances in Swarm and Computational Intelligence
Ying Tan
Computer Vision Systems
Lazaros Nalpantidis
Computer Science -- Theory and Applications
Lev D Beklemishev
Logic, Language, Information, and Computation
Valeria de Paiva
Juliette Kennedy
Rosalie Iemhoff
Graph Transformation
Francesco ParisiPresicce
Rachid Echahed
Fabio Gadducci
Developments in Language Theory
Igor Potapov
Sreko Brlek
Nataša Jonoska
Computational Social Networks
My T Thai
Hien T Nguyen
Computational Science and Its Applications -- ICCSA 2015
Osvaldo Gervasi
DNA Computing and Molecular Programming
Andrew Phillips
Yannick Rondelez
Robert Brijder
Chris Thachuk
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan
Alessandro Abate
David N Jansen
Fundamentals of Computation Theory
Adrian Kosowski
Algebraic Informatics
Andreas Maletti
Curves and Surfaces
JeanDaniel Boissonnat
Logic, Rewriting, and Concurrency
Narciso MartíOliet
Model Checking Software
Bernd Fischer
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Roland Meyer
Computational Logistics
Francesco Corman
Tolga Bektas
Eduardo LallaRuiz
Algorithms - ESA 2015
Nikhil Bansal
Advances in Neural Networks – ISNN 2015
Xiaolin Hu
Open and Big Data Management and Innovation
Marijn Janssen
Logic, Rationality, and Interaction
Wiebe van der Hoek
Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, Septem
Andrej Brodnik
Relational and Algebraic Methods in Computer Science
Wolfram Kahl
Peter Höfner
Uli Fahrenberg
Programming Languages with Applications to Biology and Security
Chiara Bodei
Algorithms and Models for the Web Graph
David F Gleich
Combinatorial Optimization and Applications
Zaixin Lu
Spatial Information Theory
Sara Irina Fabrikant
Semantics, Logics, and Calculi
Christian W Probst
Advances in Computer Games
Aske Plaat
Tristan Cazenave
Algorithms and Architectures for Parallel Processing
Guojin Wang
Shadi Ibrahim
Sheng Wen
Models of Strategic Reasoning
Johan van Benthem
Quantum Interaction
Harald Atmanspacher
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, D
Algorithms and Discrete Applied Mathematics
Sathish Govindarajan
Manoj Changat
Combinatorial Algorithms
Zsuzsanna Lipták
WALCOM: Algorithms and Computation
Mohammad Kaykobad
SheungHung Poon
M Sohel Rahman
Petra Mutzel
Algorithmic Aspects of Cloud Computing
Ioannis Karydis
Yann Disser
Ivona Brandic
Gianlorenzo DAngelo
Evolutionary and Biologically Inspired Music, Sound, Art and Design
Colin Johnson
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The N
Perdita Stevens
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Nethe
Peter Thiemann
Genetic Programming
Malcolm I Heywood
Ting Hu
Architecture of Computing Systems -- ARCS 2016
Frank Hannig
Scientific Computing, Computer Arithmetic, and Validated Numerics
Marco Nehmeier
Green, Pervasive, and Cloud Computing
Xinyi Huang
Shijian Li
Integration of AI and OR Techniques in Constraint Programming
ClaudeGuy Quimper
Domenico Salvagnin
The Semantic Web. Latest Advances and New Domains
Harald Sack
Hybrid Metaheuristics
Maria J Blesa
Integer Programming and Combinatorial Optimization
Quentin Louveaux
Friedrich Eisenbrand
Andrea Lodi
Computer Science – Theory and Applications
Alexander S Kulikov
Pascal Weil
Rahul Santhanam
High Performance Computing
Julian M Kunkel
Michèle Weiland
Bradford L Chamberlain
Advances in Swarm Intelligence
Blended Learning: Aligning Theory with Practices
Simon KS Cheung
Advances in Neural Networks – ISNN 2016
Long Cheng
Algorithmic Aspects in Information and Management
Riccardo Dondi
Implementation and Application of Automata
YoSub Han
Sebastian Maneth
Computational Science and Its Applications - ICCSA 2016
High Performance Computing and Applications
Jiang Xie
Computing and Combinatorics
Thang N Dinh
Yixin Cao
Donghyun Kim
Wireless Algorithms, Systems, and Applications
Qing Yang
Dongxiao Yu
Zhe Liu
Graph-Theoretic Concepts in Computer Science
Ernst W Mayr
Hans L Bodlaender
Ignasi Sau
ukasz Kowalik
Interactive Theorem Proving
Jasmin Christian Blanchette
Social Media: The Good, the Bad, and the Ugly
Yogesh K Dwivedi
Parallel Problem Solving from Nature – PPSN XIV
Julia Handl
Computer Algebra in Scientific Computing
Matthew England
François Boulier
Discrete Optimization and Operations Research
Yury Kochetov
Combinatorial Optimization
Raffaele Cerulli
Mourad Baïou
Reachability Problems
Kim Guldstrand Larsen
Emmanuel Filiot
Sylvain Schmitz
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part
Tiziana Margaria
Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Borzoo Bonakdarpour
Algorithm Engineering
Lasse Kliemann
Discrete and Computational Geometry and Graphs
Jin Akiyama
Swarm Intelligence Based Optimization
Patrick Siarry
Swarm, Evolutionary, and Memetic Computing
Bijaya Ketan Panigrahi
Computability and Complexity
Adam Day
Graph Drawing and Network Visualization
Yifan Hu
Computers and Games
Brain-Inspired Computing
Katrin Amunts
Approximation and Online Algorithms
Klaus Jansen
Jochen Koenemann
SOFSEM 2017: Theory and Practice of Computer Science
Bernhard Steffen
Membrane Computing
Thomas Hinze
Rudolf Freund
Numerical Software Verification
Sergiy Bogomolov
Majid Zamani
Small Dynamic Complexity Classes
Thomas Zeume
High-Performance Scientific Computing
Edoardo Di Napoli
Architecture of Computing Systems - ARCS 2017
Jens Knoop
Numerical Analysis and Its Applications
Ivan Dimov
Structured Object-Oriented Formal Language and Method
Zhenhua Duan
Unveiling Dynamics and Complexity
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 20
Euro-Par 2016: Parallel Processing Workshops
Frédéric Desprez
Descriptional Complexity of Formal Systems
Giovanni Pighizzini
Galina Jirásková
Computational Science and Its Applications – ICCSA 2017
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Pap
Narayan Desai
Models, Algorithms, Logics and Tools
Luca Aceto
Electronic Participation
Peter Parycek
Euro-Par 2017: Parallel Processing
Francisco F Rivera
Software Engineering and Formal Methods
Alessandro Cimatti
Frank de Boer
Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui
Theoretical Computer Science and Discrete Mathematics
S Arumugam
Coding Theory and Applications
Ángela I Barbero
Theoretical Aspects of Computing – ICTAC 2017
Dang Van Hung
Network and Parallel Computing
Xuanhua Shi
Xiaoxin Tang
Xin He
Topics in Theoretical Computer Science
Mohammad Mousavi
Luís S Barbosa
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22,
Artificial Neural Networks and Machine Learning – ICANN 2017
Alessandra Lintas
Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 20
Valentina Dagien
Queueing Theory and Network Applications
Wuyi Yue
Tuan PhungDuc
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein
Computer Aided Systems Theory – EUROCAST 2017
Roberto MorenoDíaz
Graph Transformation, Specifications, and Nets
Reiko Heckel
Euro-Par 2017: Parallel Processing Workshops
Dora B Heras
Architecture of Computing Systems – ARCS 2018
Mladen Berekovic
LATIN 2018: Theoretical Informatics
Michael A Bender
Artificial Evolution
Evelyne Lutton
Lhassane Idoumghar
Supercomputing Frontiers
Rio Yokota
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Gr
Alessandra Russo
Adventures Between Lower Bounds and Higher Altitudes
HansJoachim Böckenhauer
Enjoying Natural Computing
Carmen Graciani
Trends in Functional Programming
David Van Horn
Micha Paka
Aleksander Byrski
Viktória Zsók
High Performance Computing for Computational Science – VECPAR 2018
Hermes Senger
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Re
Reiner Hähnle
Algorithms and Complexity
Pinar Heggernes
Computational Science – ICCS 2019
João M F Rodrigues
Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale
Combinatorics on Words
Robert Merca
Thierry Lecroq
Advanced Parallel Processing Technologies
PenChung Yew
Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning
Igor V Tetko
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, Par
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Procee
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 II
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Mário S Alvim
Unifying Theories of Programming
Pedro Ribeiro
From Software Engineering to Formal Methods and Tools, and Back
Maurice H ter Beek
Information Retrieval
Qi Zhang
Zhicheng Dou
Computing and Software Science
String Processing and Information Retrieval
Nieves R Brisaboa
Christina Boucher
Formal Methods Teaching
Brijesh Dongol
João F Ferreira
Theoretical Aspects of Computing – ICTAC 2019
Robert Mark Hierons
Learning and Intelligent Optimization
Nikolaos F Matsatsinis
Numerical Computations: Theory and Algorithms
Yaroslav D Sergeyev
Mathematical Aspects of Computer and Information Sciences
Daniel Slamanig
Variable Neighborhood Search
Rachid Benmansour
Artificial Intelligence in Music, Sound, Art and Design
Juan Romero
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, Apr
Peter Müller
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, D
Jean GoubaultLarrecq
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
Heike Wehrheim
A Pipelined Multi-Core Machine with Operating System Support
Petro Lutsyk and 2 more
Euro-Par 2019: Parallel Processing Workshops
Ulrich Schwardmann
Application and Theory of Petri Nets and Concurrency
Ryszard Janicki
Theory and Applications of Satisfiability Testing – SAT 2020
Luca Pulina
Mathematical Software – ICMS 2020
Anna Maria Bigatti
Architecture of Computing Systems – ARCS 2020
André Brinkmann
Parallel Problem Solving from Nature – PPSN XVI
Thomas Bäck
Computational Science and Its Applications – ICCSA 2020
Embedded Computer Systems: Architectures, Modeling, and Simulation
Alex Orailoglu
Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Oct
Logic, Language, and Security
Vivek Nigam
Dynamic Data Driven Applications Systems
Frederica Darema
Optimization and Applications
Nicholas N Olenev
Stabilization, Safety, and Security of Distributed Systems
Stéphane Devismes
Colette Johnen
Advances in Neural Networks – ISNN 2020
Min Han
Dynamic Logic. New Trends and Applications
Manuel A Martins
SOFSEM 2021: Theory and Practice of Computer Science 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021,
Tomáš Bureš
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City,
Esther Guerra
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20
Jan Friso Groote
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, L
Stefan Kiefer
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Lux
Nobuko Yoshida
Rigorous State-Based Methods
Alexander Raschke
Connecting with Computability
Liesbeth De Mol
Architecture of Computing Systems
Algorithms and Data Structures
Anna Lubiw
Computational Science and Its Applications – ICCSA 2021
Artificial Neural Networks and Machine Learning – ICANN 2021
Igor Farkas
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proce
Discrete and Computational Geometry, Graphs, and Games
Frontiers of Algorithmics
Jing Chen
Parallel and Distributed Computing, Applications and Technologies
Hong Shen
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
