Title: Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms, Author: Jose A. Lozano
Title: Practical Graph Structures in SQL Server and Azure SQL: Enabling Deeper Insights Using Highly Connected Data, Author: Louis Davidson
Title: Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, Author: Roderic Guigo
Title: Computer Algebra in Scientific Computing: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, Author: Vladimir P. Gerdt
Title: Concepts, Design, and Performance Analysis of a Parallel Prolog Machine, Author: Joachim Beer
Title: Think Perl 6: How to Think Like a Computer Scientist, Author: Laurent Rosenfeld
Title: Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers, Author: Ivan Dimov
Title: Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, Author: Herman Geuvers
Title: The Way of Z: Practical Programming with Formal Methods, Author: Jonathan Jacky
Title: Structural Information and Communication Complexity: 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings, Author: Merav Parter
Title: Modern App Development with Dart and Flutter 2: A Comprehensive Introduction to Flutter, Author: Dieter Meiller
Title: Specification and Transformation of Programs: A Formal Approach to Software Development, Author: Helmut A. Partsch
Title: Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings, Author: Didier Buchs
Title: Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings, Author: Miroslaw Kutylowski
Title: Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings, Author: Liesbeth De Mol
Title: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings, Author: Otmane Ait Mohamed
Title: Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings, Author: Matthias Blume
Title: Distributed Algorithms: 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings, Author: Sam Toueg
Title: Basic Data Structures and Program Statements, Author: Xingni Zhou
Title: A Guide to Graph Colouring: Algorithms and Applications, Author: R.M.R. Lewis

Pagination Links