2023

Advanced Boolean techniques : selected papers from the 15th International Workshop on Boolean Problems

International Workshop on Boolean Problems (15th : 2022 : Bremen, Germany)



 

2021

Handbook of satisfiability

Second edition


 

2021

Recent findings in Boolean techniques : selected papers from the 14th International Workshop on Boolean Problems

International Workshop on Boolean Problems (14th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2020

Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems

International Workshop on Boolean Problems (13th : 2018 : Bremen, Germany)

Cham : Springer, [2020]

 

2018

Further improvements in the Boolean domain

Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018

 

2014

Recent Progress in the Boolean Domain

Steinbach, Bernd



 

2014

Logic, Computation, Hierarchies

Brattka, Vasco, editor

Boston : De Gruyter, [2014]

 

2010

Theory and applications of satisfiability testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings

 

2009

Handbook of Satisfiability : Handbook of Satisfiability

Biere, A



 

2009

Handbook of satisfiability

 

2009

Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings

SAT 2009 (2009 : Swansea, Wales)



 

2008

Boolean functions in cryptology and information security

 

2008

Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings

SAT 2008 (2008 : Guangzhou, China)



 

2006

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings

SAT 2006 (2006 : Seattle, Wash.)



 

2005

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

SAT 2004 (2004 : Vancouver, B.C.)



 

2023

Dynamic control and optimization : DCO 2021, Aveiro, Portugal, February 3-5, selected, revised contributions

International Conference on Dynamic Monitoring and Optimization (2021 : Aveiro, Portugal)



 

2022

Algebraic informatics : 9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings

CAI (Conference) (9th : 2022 : Online)

Cham : Springer, [2022]

 

2022

Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (28th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2020

Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings

Diagrams (Conference) (11th : 2020 : Tallinn, Estonia)

Cham, Switzerland : Springer, [2020]

 

2020

Formal methods : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Brazilian Symposium on Formal Methods (23rd : 2020 : Online)



 

2020

Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings

RAMiCS (Conference) (18th : 2020 : Palaiseau, France)



 

2019

Algebraic informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings

CAI (Conference) (8th : 2019 : Niš , Serbia)

Cham, Switzerland : Springer, 2019

 

2019

Exploring the early digital

Cham, Switzerland : Springer, [2019]

 

2019

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

Formal Methods Teaching Workshop and Tutorial (3rd : 2019 : Porto, Portugal)

Cham, Switzerland : Springer, 2019

 

2018

Advances in artificial systems for medicine and education

International Conference of Artificial Intelligence, Medical Engineering, Education (1st : 2017 : Moscow, Russia)



 

2016

Proceedings of the 2015 Chinese Intelligent Systems Conference.

Chinese Intelligent Systems Conference (2015 : Yangzhou, Jiangsu Sheng, China)

Heidelberg : Springer, [2016]

 

2016

Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings

Fuji International Symposium on Functional and Logic Programming (13th : 2016 : Kōchi-shi, Japan)

Switzerland : Springer, 2016

 

2015

Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

CAI (Conference) (6th : 2015 : Stuttgart, Germany)

Cham : Springer, 2015

 

2015

Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers

International Andrei Ershov Memorial Conference (9th : 2014 : Saint Petersburg, Russia)

Berlin, Heidelberg : Springer, 2015

 

2014

Parallel Computing : Accelerating Computational Science and Engineering (CSE)

Bader, M

©2014

 

2014

Decision making and soft computing : proceedings of the 11th International FLINS Conference, Joao Pessoa (Paraiba), Brazil, 17-20 August 2014

International FLINS Conference (11th : 2014 : Joao Pessoa, Brazil)



 

2014

Ring theory and its applications : Ring Theory Session in honor of T.Y. Lam on his 70th birthday, 31st Ohio State-Denison Mathematics Conference, May 25-27, 2012, the Ohio State University, Columbus,

Ring Theory Session (2012 : Columbus, Ohio)

Providence, Rhode Island : American Mathematical Society, [2014]

 

2014

Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings.

International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark)

Heidelberg : Springer, 2014

 

2014

Software engineering research, management and applications

SERA (Conference) (11th : 2013 : Prague, Czech Republic)



 

2014

Artificial intelligence : methodology, systems, and applications : 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings

International Conference on Artificial Intelligence: Methodology, Systems, Applications (16th : 2014 : Varna, Bulgaria)

Cham : Springer, 2014

 

2014

Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks

Asian Symposium on Computer Mathematics (9th : 2009 : Fukuoka, Japan)

Berlin : Springer, 2014

 

2014

Mathematical software -- ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

International Congress of Mathematical Software (4th : 2014 : Seoul, Korea)

Heidelberg : Springer, 2014

 

2013

Computer science--theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings

International Computer Science Symposium in Russia (8th : 2013 : Ekaterinburg, Russia)



 

2013

Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

LORI (Workshop) (4th : 2013 : Hangzhou, China)

Heidelberg : Springer, [2013]

 

2013

Mathematical morphology and its applications to signal and image processing : 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013, proceedings

International Symposium on Mathematical Morphology and its Applications to Image and Signal Processing (11th : 2013 : Uppsala, Sweden)



 

2013

Proceedings of the eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

International Conference on Bio-inspired Computing, Theories and Applications (8th : 2013 : Anhui University of Science and Technology)



 

2013

Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (19th : 2013 : Rome, Italy)



 

2013

Soft Computing Applications : Proceedings of the 5th International Workshop Soft Computing Applications (SOFA)

International Workshop on Soft Computing Applications (5th : 2012 : Szeged, Hungary)

Heidelberg : Springer, [2013]

 

2012

Proceedings of the International Conference on Algebra 2010 : advances in algebraic structures, Gadjah Mada University, Indonesia 7-10 October 2010

International Conference on Algebra (2010 : Gadjah Mada University)

Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2012]

 

2012

Uncertainty modeling in knowledge engineering and decision making : proceedings of the 10th International FLINS Conference, Istanbul, Turkey, 26-29 August 2012

International FLINS Conference (10th : 2012 : Istanbul, Turkey)

Singapore ; Hackensack, N.J. : World Scientific Pub. Co., [2012]

 

2012

Uncertainty modeling in knowledge engineering and decision making : proceedings of the 10th International FLINS Conference, Istanbul, Turkey, 26-29 August 2012

International FLINS Conference (10th : 2012 : Istanbul, Turkey)



 

2012

Advances in computer science and information technology : computer science and information technology : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings.

International Conference on Computer Science and Information Technology (2011- ) (2nd : 2012 : Bangalore, India)



 

2012

Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

WAIFI (Workshop) (4th : 2012 : Bochum, Germany)



 

2012

Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings

Diagrams (Conference) (7th : 2012 : Canterbury, England)



 

2012

How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Conference on Computability in Europe (8th : 2012 : Cambridge, England)