Volk benjamin (36 résultats)

- Couverture souple
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-UnisThriftBooks-Dallas
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 5,90
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 15,31
EUR 14,64 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Brand New. 188 pages. 9.00x6.00x0.43 inches. In Stock.

Langue : allemand
- Couverture souple
Vendeur : medimops, Berlin, Allemagnemedimops
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 5,50
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponibles
Etat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Langue : allemand
- Couverture souple
Vendeur : medimops, Berlin, Allemagnemedimops
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 5,81
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Etat : as new. Wie neu/Like new.

- Couverture souple
Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 39,30
EUR 4,41 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
paperback. Etat : Very Good.
Autres images- Couverture souple
Vendeur : Bookbot, Prague, Rébublique tchèqueBookbot
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Moyen
EUR 3,80
EUR 20,99 expéditionExpédition depuis Rébublique tchèque vers Etats-UnisQuantité disponible : 1 disponible
Softcover. Etat : Fair. Aus einer Bibliothek ausgesondert/ Stempel; Leichte Gebrauchsspuren; Leichte Verschmutzung / Farbtonveränderung. Wertschätzung ist ein menschliches Grundbedürfnis und in beruflicher Hinsicht ein Indikator für erfolgreiche Zusammenarbeit. Dieser TaschenGuide erklärt, warum wertschätzende Kommunikation vor allem in unserer von Selbstorganisation, Beschleunigung und Unsicherheit geprägten Arbeitswelt 4.0 so wichtig ist und bietet zahlreiche Tipps und leicht umsetzbare Impulse.- Wie man zu einem Arbeitsklima beiträgt, das von gegenseitiger Anerkennung und Würdigung geprägt ist- Wie eine wertschätzende Arbeitskultur aufgebaut wird- Reflexionswerkzeuge, um selbst eine wertschätzende Haltung zu kultivieren- Wie berufliche Standardsituationen durch kleine Veränderungen wertschätzender und damit fruchtbarer gestaltet werden können.…

- Couverture souple
Vendeur : ZBK Books, Carlstadt, NJ, Etats-UnisZBK Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 46,92
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : good. Fast & Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy.

- Couverture souple
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 47,21
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 2 disponibles
Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

- Couverture souple
Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 44,03
EUR 3,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

- Couverture souple
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 9,95
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Neuware -Wertschätzung ist ein menschliches Grundbedürfnis und in beruflicher Hinsicht ein Indikator für erfolgreiche Zusammenarbeit. Dieser TaschenGuide erklärt, warum wertschätzende Kommunikation vor allem in unserer von Selbstorganisation, Beschleunigung und Unsicherheit geprägten Arbeitswelt 4.0 so wichtig ist und bietet zahlreiche Tipps und leicht umsetzbare Impulse.Inhalte:Wie man zu einem Arbeitsklima beiträgt, das von gegenseitiger Anerkennung und Würdigung geprägt istWie eine wertschätzende Arbeitskultur aufgebaut wirdReflexionswerkzeuge, um selbst eine wertschätzende Haltung zu kultivierenWie berufliche Standardsituationen durch kleine Veränderungen wertschätzender und damit fruchtbarer gestaltet werden können 125 pp. Deutsch.…

- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 9,95
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Taschenbuch. Etat : Neu. Neuware - Wertschätzung ist ein menschliches Grundbedürfnis und in beruflicher Hinsicht ein Indikator für erfolgreiche Zusammenarbeit. Dieser TaschenGuide erklärt, warum wertschätzende Kommunikation vor allem in unserer von Selbstorganisation, Beschleunigung und Unsicherheit geprägten Arbeitswelt 4.0 so wichtig ist und bietet zahlreiche Tipps und leicht umsetzbare Impulse.Inhalte:Wie man zu einem Arbeitsklima beiträgt, das von gegenseitiger Anerkennung und Würdigung geprägt istWie eine wertschätzende Arbeitskultur aufgebaut wirdReflexionswerkzeuge, um selbst eine wertschätzende Haltung zu kultivierenWie berufliche Standardsituationen durch kleine Veränderungen wertschätzender und damit fruchtbarer gestaltet werden können.…

- Couverture souple
Vendeur : SZ Global, Toronto, ON, CanadaSZ Global
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 61,00
EUR 32,85 expéditionExpédition depuis Canada vers Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : Collectible-Good.

- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 87,90
EUR 13,22 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.

- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 87,90
EUR 13,22 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.

- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 94,70
EUR 13,22 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.

- Couverture souple
Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 113,71
EUR 3,52 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponibles
Etat : New.

- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 90,07
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. …

- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 95,69
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. …

- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 68,35
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Principles of Verification: Cycling the Probabilistic Landscape | Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III | Nils Jansen (u. a.) | Taschenbuch | xv | Englisch | 2024 | Springer | EAN 9783031757778 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 72,85
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Principles of Verification: Cycling the Probabilistic Landscape | Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II | Nils Jansen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2024 | Springer | EAN 9783031757747 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 77,35
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Principles of Verification: Cycling the Probabilistic Landscape | Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I | Nils Jansen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2024 | Springer | EAN 9783031757822 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

- Couverture rigide
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 9,95
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Buch. Etat : Neu. Wertschätzung im Job | Impulse für bessere Kommunikation und Zusammenarbeit | Benjamin Volk | Buch | 125 S. | Deutsch | 2022 | Haufe | EAN 9783648166727 | Verantwortliche Person für die EU: Haufe-Lexware GmbH & Co. KG, Munzinger Str. 9, 79111 Freiburg, info[at]haufe[dot]de | Anbieter: preigu.…

- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 62,23
EUR 6,80 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.

- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 66,23
EUR 6,80 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.

- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 70,24
EUR 6,80 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.

Langue : anglais
Edité par Springer, Berlin, Springer Nature Switzerland, Springer, 2024
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 74,89
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. 503 pp. Englisch.…

- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 80,24
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. 412 pp. Englisch.…

- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 85,59
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume. 468 pp. Englisch.…

- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 70,33
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

- Couverture souple
- impression à la demande
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 84,45
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.…