23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
率先評價和評論此書籍！
Mohammad Reza Mousavi, Christian Berger
NT$1,404.00
Marsha Chechik, Jean-François Raskin
NT$1,756.00
Barbara Jobstmann, K. Rustan M. Leino
NT$1,756.00
Axel Legay, Tiziana Margaria
NT$1,756.00
Bernd Finkbeiner, Geguang Pu, Lijun Zhang
NT$1,756.00
Axel Legay, Tiziana Margaria
NT$1,756.00
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
NT$1,756.00
Martin Leucker, Camilo Rueda, Frank D. Valencia
NT$1,756.00
Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi
NT$1,756.00
Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider
NT$1,756.00
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
NT$4,411.00
Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
NT$1,756.00
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
NT$1,756.00
David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi
NT$1,756.00
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
NT$1,756.00
Nadia Creignou, Daniel Le Berre
NT$1,756.00
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
NT$1,756.00
Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor
NT$1,756.00
Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
NT$1,756.00
Anne Remke, Boudewijn R. Haverkort
NT$1,756.00
Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu
NT$1,756.00
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
NT$4,203.00
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
NT$1,756.00
Manuel V Hermenegildo, Pedro Lopez-Garcia
NT$1,756.00
