Author books / Книги автора Elena Fersman,Paul Pettersson,Athanasios Karapantelakis » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Elena Fersman,Paul Pettersson,Athanasios Karapantelakis

book Confessions of an AI Brain

Confessions of an AI Brain

epub

Author: Elena Fersman, Paul Pettersson, Athanasios Karapantelakis
Language: English
Year: 2023

00

16.02.2024

0

0

book Confessions of an AI Brain

Confessions of an AI Brain

pdf

Author: Elena Fersman Paul Pettersson Athanasios Karapantelakis
Language: English
Year: 2023

00

16.02.2024

0

0

book Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

pdf

Author: Eduard Paul Enoiu Daniel Sundmark Paul Pettersson (auth.) Hüsnü Yenigün Cemal Yilmaz Andreas Ulrich (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

pdf

Author: Gerd Behrmann Johan Bengtsson Alexandre David Kim G. Larsen Paul Pettersson (auth.) Werner Damm Ernst -Rüdiger Olderog (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

pdf

Author: Eduard Paul Enoiu Daniel Sundmark Paul Pettersson (auth.) Hüsnü Yenigün Cemal Yilmaz Andreas Ulrich (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

pdf

Author: Jagadish Suryadevara Cristina Seceleanu Frédéric Mallet Paul Pettersson (auth.) Robert M. Hierons Mercedes G. Merayo Mario Bravetti (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

pdf

Author: Lothar Thiele (auth.) Paul Pettersson Wang Yi (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

pdf

Author: Gerd Behrmann Johan Bengtsson Alexandre David Kim G. Larsen Paul Pettersson (auth.) Werner Damm Ernst -Rüdiger Olderog (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0