2024

Computational data and social networks : 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings

CSoNet (Conference) (12th : 2023 : Hanoi, Vietnam)

Singapore : Springer, 2024

 

2024

WALCOM : algorithms and computation : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

WALCOM (Workshop) (18th : 2024 : Kanazawa-shi, Japan)

Singapore : Springer, 2024

 

2024

Advances in computing : 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised selected papers

Computing Colombian Conference (17th : 2023 : Medellin, Colombia)

Cham : Springer, [2024]

 

2024

Combinatorial optimization and applications : 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings.

COCOA (Conference) (17th : 2023 : Honolulu, Hawaii)

Cham, Switzerland : Springer, [2024]

 

2023

Generative deep learning : teaching machines to paint, write, compose, and play

Foster, David (Business consultant), author.
Second edition
Sebastopol, CA : O'Reilly Media, Incorporated, 2023

 

2023

AI 2022 : advanced in artificial intelligence : 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022

Australasian Joint Conference on Artificial Intelligence (35th : 2022 : Perth, W.A.)

Cham : Springer, 2023

 

2023

Advances in intelligent data analysis XXI : 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

International Symposium on Intelligent Data Analysis (21st : 2023 : Louvain-la-Neuve, Belgium)

Cham : Springer, 2023

 

2023

Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday

Cham : Springer, [2023]

 

2023

Big data and security : 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings

International Conference on Big Data and Security (4th : 2022 : Xiamen, Xiamen Shi, China)



 

2023

Basic mathematical programming theory

Giorgi, Giorgio



 

2023

Evolutionary multi-criterion optimization : 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, proceedings

EMO (Conference) (12th : 2023 : Leiden, Netherlands)

Cham : Springer, [2023]

 

2023

Neural information processing : 29th International Conference, ICONIP 2022, virtual event, November 22-26, 2022, proceedings.

ICONIP (Conference) (29th : 2022 : Online)

Cham : Springer, [2023]

 

2023

Integration of constraint programming, artificial intelligence, and operations research : 20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023, Proceedings

CPAIOR (Conference : 2014- ) (20th : 2023 : Nice, France)

Cham, Switzerland : Springer, 2023

 

2023

Neuro symbolic reasoning and learning

Shakarian, Paulo, author

Cham : Springer, 2023

 

2023

Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

JELIA (Conference) (18th : 2023 : Dresden, Germany)

Cham, Switzerland : Springer, [2023]

 

2023

Mathematical optimization theory and operations research : recent trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised selected papers

MOTOR (Conference) (22nd : 2023 : Ekaterinburg, Russia)

Cham, Switzerland : Springer, [2023]

 

2023

Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal)

Cham, Switzerland : Springer, 2023

 

2023

Programming languages : principles and paradigms

Gabbrielli, Maurizio, author.
Second edition
Cham : Springer, 2023

 

2023

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

TACAS (Conference) (29th : 2023 : Paris, France)

Cham : Springer, [2023]

 

2023

AIxIA 2023 -- Advances in Artificial Intelligence : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Associazione italiana per l'intelligenza artificiale. Congress (22nd : 2023 : Rome, Italy)

Cham : Springer, 2023

 

2023

Computer safety, reliability, and security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

2023

Computational logistics : 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings

ICCL (Conference) (14th : 2023 : Berlin, Germany)

Cham : Springer, 2023

 

2023

Programming languages and systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

APLAS (Symposium) (21st : 2023 : Taipei, Taiwan)



 

2022

Evolutionary computation with intelligent systems : a multidisciplinary approach to society 5.0

First edition
Boca Raton, FL : CRC Press, 2022

 

2022

Algorithmic aspects in information and management : 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022, Proceedings

International Conference on Algorithmic Aspects in Information and Management (16th : 2022 : Online)

Cham, Switzerland : Springer, 2022

 

2022

Applied computer sciences in engineering : 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 - December 2, 2022, proceedings

Workshop on Engineering Applications (9th : 2022 : Bogotá, Colombia : Online)

Cham : Springer, [2022]

 

2022

Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisC

COORDINATION (Conference) (24th : 2022 : Lucca, Italy)



 

2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings.

CAV (Conference) (34th : 2022 : Haifa, Israel)

Cham : Springer, 2022

 

2022

Functional and logic programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

International Symposium on Functional and Logic Programming (16th : 2022 : Kyoto, Japan)



 

2022

Integration of constraint programming, artificial intelligence, and operations research : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

CPAIOR (Conference : 2014- ) (19th : 2022 : Los Angeles, Calif ; Online)

Cham, Switzerland : Springer, 2022

 

2022

Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings

Workshop on Logic, Language, Information and Computation (28th : 2022 : Iaşi, Romania)

Cham : Springer, 2022

 

2022

Multigrammatical framework for knowledge-based digital economy

Sheremet, I. A., 1956- author.

Cham, Switzerland : Springer, 2022

 

2022

Parallel problem solving from nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, proceedings.

International Conference on Parallel Problem Solving from Nature (17th : 2022 : Dortmund, Germany)

Cham : Springer, [2022]

 

2022

Parallel problem solving from nature - PPSN XVII : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, proceedings.

International Conference on Parallel Problem Solving from Nature (17th : 2022 : Dortmund, Germany)

Cham : Springer, [2022]

 

2022

Music representation and transformation in software : structure and algorithms in Python

Pazel, Donald P. author

Cham, Switzerland : Springer, 2022

 

2022

Scheduling : theory, algorithms, and systems

Pinedo, Michael.
Sixth edition


 

2021

Complexity of infinite-domain constraint satisfaction

Bodirsky, Manuel, 1976- author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2021

 

2021

Classic Computer Science Problems in Java

Kopec, David, author
1st edition
Manning Publications, 2021

 

2021

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.

CAV (Conference) (33rd : 2021 : Online)

Cham : Springer, [2021]

 

2021

Data management technologies and applications : 9th International Conference, DATA 2020, Virtual Event, July 7-9, 2020, Revised Selected Papers

DATA (Conference) (9th : 2020 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Constraint handling in metaheuristics and applications

Singapore : Springer, [2021]

 

2021

Computational logistics : 12th international conference, ICCL 2021, Enschede, the Netherlands, September 27-29, 2021 : proceedings

ICCL (Conference) (12th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Evolutionary multi-criterion optimization : 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021, proceedings

EMO (Conference) (11th : 2011 : Shenzhen, China)

Cham, Switzerland : Springer, [2021]

 

2021

Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings

FroCoS (Symposium) (13th : 2021 : Birmingham, England)

Cham : Springer, [2021]

 

2021

Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers

WFLP (Workshop) (28th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Harvey J. Greenberg : a legacy bridging operations research and computing

Cham, Switzerland : Springer, [2021]

 

2021

Logics in artificial intelligence : 17th European Conference, JELIA 2021, Virtual event, May 17-20, 2021, Proceedings

JELIA (Conference) (17th : 2021 : Online)



 

2021

Integration of constraint programming, artificial intelligence, and operations research : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (18th : 2021 : Vienna, Austria ; Online)

Cham, Switzerland : Springer, 2021

 

2021

Introduction to continuous optimization

Polyak, Roman A., author

Cham, Switzerland : Springer, [2021]

 

2021

Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers

International Conference on Software Engineering and Formal Methods (18th : 2020 : Online)

Cham, Switzerland : Springer, [2021]