Joost-Pieter Katoen (eds.): Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

Foundations of probabilistic programming

Foundations of probabilistic programming

Cambridge University Press

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe (eds.)

সাল:

2021

ভাষা:

english

ফাইল:

PDF, 4.32 MB

0 / 5.0

english, 2021

2

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 4.28 MB

0 / 0

english, 2007

3

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

সাল:

2005

ভাষা:

english

ফাইল:

PDF, 5.87 MB

0 / 0

english, 2005

4

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

সাল:

2004

ভাষা:

english

ফাইল:

PDF, 5.22 MB

0 / 0

english, 2004

5

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 5.82 MB

0 / 0

english, 2011

6

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 3.81 MB

0 / 5.0

english, 2011

7

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

সাল:

2005

ভাষা:

english

ফাইল:

PDF, 5.92 MB

0 / 0

english, 2005

8

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

সাল:

2002

ভাষা:

english

ফাইল:

PDF, 3.37 MB

0 / 0

english, 2002

9

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 3.58 MB

0 / 0

english, 1999

10

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

সাল:

2001

ভাষা:

english

ফাইল:

PDF, 3.80 MB

5.0 / 5.0

english, 2001

11

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

সাল:

2002

ভাষা:

english

ফাইল:

PDF, 4.75 MB

0 / 0

english, 2002

12

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 4.66 MB

0 / 0

english, 2012

13

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 3.65 MB

0 / 0

english, 2011

14

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

সাল:

2001

ভাষা:

english

ফাইল:

PDF, 6.08 MB

5.0 / 3.0

english, 2001

15

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 3.64 MB

0 / 0

english, 2011

16

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 7.77 MB

0 / 0

english, 2012

17

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

সাল:

2011

ভাষা:

english

ফাইল:

PDF, 6.16 MB

0 / 0

english, 2011