Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Probability and Statistics in Computer Science » Page 29 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Probability and Statistics in Computer Science » Page 29

book Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

pdf

Author: Étienne André Giuseppe Pellegrino (auth.) Víctor Braberman Laurent Fribourg (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

pdf

Author: Étienne André Giuseppe Pellegrino (auth.) Víctor Braberman Laurent Fribourg (eds.)
Language: English
Year: 2013

00

27.01.2024

1

0

book Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

pdf

Author: Gilles Barthe (auth.) Kaustubh Joshi Markus Siegle Mariëlle Stoelinga Pedro R. D’Argenio (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

pdf

Author: Lorenzo Alvisi Edmund L. Wong (auth.) Pedro R. D’Argenio Hernán Melgratti (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Mathematik fur Informatik und BioInformatik

Mathematik fur Informatik und BioInformatik

pdf

Author: Professor Dr. Manfred Wolff Professor Dr. Peter Hauck Professor Dr. Wolfgang Küchlin (auth.)
Language: German
Year: 2004

00

27.01.2024

0

0

book Intelligent Data Analysis: An Introduction

Intelligent Data Analysis: An Introduction

pdf

Author: David J. Hand (auth.) Michael Berthold David J. Hand (eds.)
Language: English
Year: 2003

00

27.01.2024

1

0

book Einfuhrung in die Analysis dynamischer Systeme

Einfuhrung in die Analysis dynamischer Systeme

pdf

Author: Manfred Denker (auth.)
Language: German
Year: 2005

00

27.01.2024

0

0

book Statistical Methods for Spoken Dialogue Management

Statistical Methods for Spoken Dialogue Management

pdf

Author: Blaise Thomson (auth.)
Language: English
Year: 2013

00

27.01.2024

2

0

book Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

pdf

Author: Krzysztof R. Apt Sunil Simon (auth.) Maria Serna (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0

book Probabilistic Logics and Probabilistic Networks

Probabilistic Logics and Probabilistic Networks

pdf

Author: Rolf Haenni Jan-Willem Romeijn Gregory Wheeler Jon Williamson (auth.)
Language: English
Year: 2011

00

27.01.2024

3

0