Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Kobo ger bokälskare chansen att läsa mer.
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke Jr.
566,56 kr
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
580,13 kr
Var den första att betygsätta och recensera den här boken!
Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
580,13 kr
Sébastien Destercke, Thierry Denoeux
580,13 kr
Reinhard Klette, Guan-Ling Lee, Ching-Hsien Hsu, Sheng-Lung Peng
580,13 kr
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
580,13 kr
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
580,13 kr
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
580,13 kr
Cláudia Nalon, Renate A. Schmidt
754,20 kr
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
580,13 kr
Bruce W. Watson, Derrick G. Kourie
1 044,32 kr
Antonio Fernández Anta, Tomasz Jurdzinski, Miguel A. Mosteiro, Yanyong Zhang
580,13 kr
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
580,13 kr
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
580,13 kr
Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman, Leopoldo Bertossi
1 044,32 kr
Elvira Albert, Ivan Lanese
580,13 kr
Axel Legay, Tiziana Margaria
580,13 kr
Federico Rossi, Stefano Piotto, Simona Concilio
580,13 kr
Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
464,08 kr
Randy Goebel, Andreas Holzinger, Massimo Ferri, Vasile Palade
580,13 kr
Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond
580,13 kr
Martin Leucker, Camilo Rueda, Frank D. Valencia
580,13 kr
