Formal Methods: Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Handbook of Optimization in the Railway Industry

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Advances in Computing

15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22–26, 2021, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

NEO 2015

Results of the Numerical and Evolutionary Optimization Workshop NEO 2015 held at September 23-25 2015 in Tijuana, Mexico

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Pro Java 7 NIO.2

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Data Mining in Large Sets of Complex Data

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Thyroid Cancer

A Comprehensive Guide to Clinical Management

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Connectomics in NeuroImaging

First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Algorithmic Number Theory

First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Nature of Computation and Communication

Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016. Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem