Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN:
Applied algebra and number theory essays in honour of Harald Niederreiter on the occasion of his 70t
Gerhard Larcher ; Friedrich Pillichshammer ; Arne Winterhof ; Chaoping Xing2014 年出版336 页ISBN:1107074002
Lecture Notes in Computer Science 3524 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20052005 年出版410 页ISBN:3540261524
Lecture Notes in Computer Science 4691 Formal Aspects in Socurity and Trust Fourth International Wor
FAST 20062007 年出版286 页ISBN:9783540752264
Lecture Notes in Computer Science 3990 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20062006 年出版300 页ISBN:3540343067
Lecture Notes in Computer Science 3866 Formal Aspects in Socurity and Trust Third International Work
FAST 20062006 年出版259 页ISBN:3540326286
Lecture Notes in Computer Science 3184 Trust and Privacy in Digital Business First International Con
TrustBus 20042004 年出版299 页ISBN:3540229191
Lecture Notes in Computer Science 4510 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20072007 年出版390 页ISBN:9783540723967