Volk benjamin (36 résultats)

Affiner la recherche

  • Livres (36)

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Independently published, 2018

    1983335525 / 9781983335525

    • Couverture souple

    Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-UnisThriftBooks-Dallas

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 5,90

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

  • Langue : anglais

    Edité par Independently published, 2018

    1983335525 / 9781983335525

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 15,31

    EUR 14,64 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Paperback. Etat : Brand New. 188 pages. 9.00x6.00x0.43 inches. In Stock.

  • Langue : allemand

    3648166727 / 9783648166727

    • Couverture souple

    Vendeur : medimops, Berlin, Allemagnemedimops

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 5,50

    EUR 10,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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

    3648166727 / 9783648166727

    • Couverture souple

    Vendeur : medimops, Berlin, Allemagnemedimops

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 5,81

    EUR 10,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponibles

    Etat : as new. Wie neu/Like new.

  • Langue : anglais

    Edité par Springer, 2024

    3031757777 / 9783031757778

    • Couverture souple

    Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Occasion - Assez bon

    EUR 39,30

    EUR 4,41 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    paperback. Etat : Very Good.

  • Autres images

    Langue : allemand

    Edité par Haufe Lexware GmbH, 2022

    3648166727 / 9783648166727

    • Couverture souple

    Vendeur : Bookbot, Prague, Rébublique tchèqueBookbot

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Moyen

    EUR 3,80

    EUR 20,99 expédition 
    Expédition depuis Rébublique tchèque vers Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Lippincott, 1986

    0397507399 / 9780397507399

    • Couverture souple

    Vendeur : ZBK Books, Carlstadt, NJ, Etats-UnisZBK Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 46,92

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité 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.

  • Langue : anglais

    Edité par Lippincott, 1986

    0397507399 / 9780397507399

    • Couverture souple

    Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 47,21

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Lippincott, 1986

    0397507399 / 9780397507399

    • Couverture souple

    Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 44,03

    EUR 3,31 expédition 
    Expédition nationale : Etats-Unis

    Quantité 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.

  • Langue : allemand

    Edité par Haufe Lexware Gmbh Sep 2022, 2022

    3648166727 / 9783648166727

    • Couverture souple

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 9,95

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : allemand

    Edité par Haufe Lexware Gmbh Sep 2022, 2022

    3648166727 / 9783648166727

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 9,95

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Philadelphia : Lippincott, c1991., 1991

    0397510055 / 9780397510054

    • Couverture souple

    Vendeur : SZ Global, Toronto, ON, CanadaSZ Global

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Satisfaisant

    EUR 61,00

    EUR 32,85 expédition 
    Expédition depuis Canada vers Etats-Unis

    Quantité disponible : 1 disponible

    Paperback. Etat : Collectible-Good.

  • Langue : anglais

    Edité par Springer, 2024

    3031757777 / 9783031757778

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 87,90

    EUR 13,22 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Springer, 2024

    3031757742 / 9783031757747

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 87,90

    EUR 13,22 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Springer, 2024

    3031757823 / 9783031757822

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 94,70

    EUR 13,22 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Springer, 2024

    3031757777 / 9783031757778

    • Couverture souple

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 113,71

    EUR 3,52 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Springer, 2024

    3031757742 / 9783031757747

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 90,07

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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. …

  • Langue : anglais

    Edité par Springer, 2024

    3031757823 / 9783031757822

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 95,69

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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. …

  • Langue : anglais

    Edité par Springer, 2024

    3031757777 / 9783031757778

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 68,35

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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

    Langue : anglais

    Edité par Springer, 2024

    3031757742 / 9783031757747

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 72,85

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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

    Langue : anglais

    Edité par Springer, 2024

    3031757823 / 9783031757822

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 77,35

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : allemand

    Edité par Haufe, 2022

    3648166727 / 9783648166727

    • Couverture rigide

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 9,95

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Springer, 2024

    3031757777 / 9783031757778

    • Couverture souple
    • impression à la demande

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 62,23

    EUR 6,80 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new. Questo è un articolo print on demand.

  • Langue : anglais

    Edité par Springer, 2024

    3031757742 / 9783031757747

    • Couverture souple
    • impression à la demande

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 66,23

    EUR 6,80 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new. Questo è un articolo print on demand.

  • Langue : anglais

    Edité par Springer, 2024

    3031757823 / 9783031757822

    • Couverture souple
    • impression à la demande

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 70,24

    EUR 6,80 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new. Questo è un articolo print on demand.

  • Langue : anglais

    Edité par Springer, Berlin, Springer Nature Switzerland, Springer, 2024

    3031757777 / 9783031757778

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 74,89

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Springer, Springer Nov 2024, 2024

    3031757742 / 9783031757747

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 80,24

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Springer, Springer Nov 2024, 2024

    3031757823 / 9783031757822

    • Couverture souple
    • impression à la demande

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 85,59

    EUR 23,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…

  • Langue : anglais

    Edité par Springer Verlag GmbH, 2024

    3031757742 / 9783031757747

    • Couverture souple
    • impression à la demande

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 70,33

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

  • Langue : anglais

    Edité par Palgrave Macmillan, 2024

    3031757777 / 9783031757778

    • Couverture souple
    • impression à la demande

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 84,45

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité 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.…