Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 43 (Search time: 0.0 seconds).
Item hits:
PreviewIssue DateTitleContributor(s)
9783319780542.pdf.jpg2018Parallel Processing and Applied MathematicsWyrzykowski, Roman. ; editor. ;; Dongarra, Jack. ; editor. ;; Deelman, Ewa. ; editor. ;; Karczewski, Konrad. ; editor. ;
9783319943695.pdf.jpg2018Internet of Things ee ICIOT 2018Georgakopoulos, Dimitrios. ;; Zhang, Liang-Jie
9783319941431.pdf.jpg2018Theory and Applications of Satisfiability Testing ee SAT 2018Beyersdorff, Olaf. ;; Wintersteiger, Christoph M. ;
9783319105741.pdf.jpg2018Handbook of Model CheckingClarke, Edmund M. ;; Henzinger, Thomas A. ;; Veith, Helmut. ;; Bloem, Roderick. ;
9783319916415.pdf.jpg2018Bioinspired Optimization Methods and Their ApplicationsKoroeeec, Peter. ;; Melab, Nouredine. ;; Talbi, El-Ghazali. ;
9783319943756.pdf.jpg2018Services Computing ee SCC 2018Ferreira, Joeo Eduardo. ;; Spanoudakis, George. ;; Ma, Yutao. ;; Zhang, Liang-Jie
9783319955810.pdf.jpg2018Formal MethodsHavelund, Klaus. ;; Peleska, Jan. ;; Roscoe, Bill. ;; de Vink, Erik. ;
9783319899602.pdf.jpg2018Tools and Algorithms for the Construction and Analysis of SystemsBeyer, Dirk. ;; Huisman, Marieke. ;
9783319929934.pdf.jpg2018Tests and ProofsDubois, Catherine. ;; Wolff, Burkhart. ;
9783319929965.pdf.jpg2018Modelling Foundations and ApplicationsPierantonio, Alfonso. ;; Trujillo, Salvador. ;

Discover & Search