Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S

Communication and Software Systems2007 年出版470 页ISBN：

THE INTERNATIONAL CRIMINAL COURT AND THE CRIME OF AGGRESSION

MAURO POLITI AND GIUSEPPE NESI2004 年出版193 页ISBN：

Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica

2005 年出版413 页ISBN：3540249362

Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv

1985 年出版573 页ISBN：3540152164

Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal

2006 年出版620 页ISBN：3540372156

THE STUDY OF VIOLENT CRIME ITS CORRELATES AND CONCERNS

SCOTT MIRE AND CLIFF ROBERSON2011 年出版228 页ISBN：1439807477

Lecture Notes in Computer Science 4528 Nature Inspired Problem-Solving Methods in Knowledge Engineer

IWINAC 20072007 年出版650 页ISBN：9783540730545

Lecture Notes in Computer Science 4679 Energy Minimization Methods in Computer Vision and Pattern Re

EMMCVPR 20072007 年出版494 页ISBN：9783540741954

Lecture Notes in Computer Science 4485 Scale Space and Variational Methods in Computer Vision First

SSVM 20072007 年出版931 页ISBN：9783540728221

Lecture Notes in Computer Science 3757 Energy Minimization Methods in Computer Vision and Pattern Re

EMMCVPR 20052005 年出版666 页ISBN：3540302875