Bernhard Beckert | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 11 tuotetta
Haluatko tarkentaa hakukriteerejä?

ELECTRONIC VOTING - 4TH INTERNATIONAL JOINT CONFERENCE, E-VOTE-ID 2019, BREGENZ, AUSTRIA, OCTOBER 1–4, 2019, PROCEEDINGS

Robert Krimmer; Melanie Volkamer; Veronique Cortier; Bernhard Beckert; Ralf Küsters; Uwe Serdült; David Duenas-Cid
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

57,30 €

VERIFICATION OF OBJECT-ORIENTED SOFTWARE. THE KEY APPROACH - FOREWORD BY K. RUSTAN M. LEINO

Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

97,90 €

TESTS AND PROOFS - SECOND INTERNATIONAL CONFERENCE, TAP 2008, PRATO, ITALY, APRIL 9-11, 2008, PROCEEDINGS

Bernhard Beckert; Reiner Hähnle
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS - INTERNATIONAL CONFERENCE, TABLEAUX 2005, KOBLENZ, GERMANY, SEPT

Bernhard Beckert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

49,60 €

FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE - INTERNATIONAL CONFERENCE, FOVEOOS 2010, PARIS, FRANCE, JUNE 28-30, 2010, REVIS

Bernhard Beckert; Claude Marché
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE - INTERNATIONAL CONFERENCE, FOVEOO 2011, TURIN, ITALY, OCTOBER 5-7, 2011, REVISE

Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

45,80 €

FORMAL METHODS FOR COMPONENTS AND OBJECTS - 10TH INTERNATIONAL SYMPOSIUM, FMCO 2011, TURIN, ITALY, OCTOBER 3-5, 2011, REVISED SE

Bernhard Beckert; Ferruccio Damiani; Frank S. de Boer; Marcello M. Bonsangue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

49,60 €

DEDUCTIVE SOFTWARE VERIFICATION – THE KEY BOOK - FROM THEORY TO PRACTICE

Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

117,20 €

ELECTRONIC VOTING - 5TH INTERNATIONAL JOINT CONFERENCE, E-VOTE-ID 2020, BREGENZ, AUSTRIA, OCTOBER 6–9, 2020, PROCEEDINGS

Robert Krimmer; Melanie Volkamer; Bernhard Beckert; Ralf Küsters; Oksana Kulyk; David Duenas-Cid; Mihkel Solvak
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

DEDUCTIVE SOFTWARE VERIFICATION: FUTURE PERSPECTIVES - REFLECTIONS ON THE OCCASION OF 20 YEARS OF KEY

Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Mattias Ulbrich
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

THE LOGIC OF SOFTWARE. A TASTING MENU OF FORMAL METHODS : ESSAYS DEDICATED TO REINER HÄHNLE ON THE OCCASION OF HIS 60TH BIRTHDAY

Wolfgang Ahrendt (ed.); Bernhard Beckert (ed.); Richard Bubel (ed.); Einar Broch Johnsen (ed.)
Springer (2022)
Pehmeäkantinen kirja

97,90 €

Hae lisää...

Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid

57,30 €

Springer Nature Switzerland AG
Sivumäärä: 233 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2019
Julkaisuvuosi: 2019, 02.09.2019 (lisätietoa)
Kieli: Englanti
Tuotesarja: Security and Cryptology

This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019. The 13 revised full papers presented were carefully reviewed and selected from 45 submissions. The conference was organized in tracks on security, usability and technical issues, administrative, legal, political and social issues, elections and practical experiences, posters and e-voting system demo.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. Tilaa tuote jouluksi viimeistään 13.11.2024

Myymäläsaatavuus