Search


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 531-540 of 4843 (Search time: 0.0 seconds).
Item hits:
PreviewIssue DateTitleContributor(s)
9783030022235.pdf.jpg2018Similarity Search and ApplicationsMarchand-Maillet, Stephane. ;; Silva, Yasin N. ;; Cheevez, Edgar. ;
9783319758442.pdf.jpg2018World of ComputingO'Regan, Gerard. ;
9783319941431.pdf.jpg2018Theory and Applications of Satisfiability Testing ee SAT 2018Beyersdorff, Olaf. ;; Wintersteiger, Christoph M. ;
9783319905969.pdf.jpg2018Information Management and Big DataLossio-Ventura, Juan Antonio. ;; Alatrista-Salas, Hugo. ;
9781498766098.pdf.jpg2018R programming and its applications in financial mathematicsOhsaki, Shuichi. ;; Ruppert-Felsot, Jori. ;; Yoshikawa, Daisuke. ;
9783030011581.pdf.jpg2018Social InformaticsStaab, Steffen. ; (orcid)0000-0002-0780-4154 ; http://orcid.org/0000-0002-0780-4154. ;; Koltsova, Olessia. ; (orcid)0000-0002-2669-3154 ; http://orcid.org/0000-0002-2669-3154. ;; Ignatov, Dmitry I. ; (orcid)0000-0002-6584-8534 ; http://orcid.org/0000-0002
9783319105741.pdf.jpg2018Handbook of Model CheckingClarke, Edmund M. ;; Henzinger, Thomas A. ;; Veith, Helmut. ;; Bloem, Roderick. ;
9783319994253.pdf.jpg2018Entertainment Computing ee ICEC 2018Clua, Esteban. ; (orcid)0000-0001-5650-1718 ; http://orcid.org/0000-0001-5650-1718. ;; Roque, Licinio. ; (orcid)0000-0002-1911-2788 ; http://orcid.org/0000-0002-1911-2788. ;; Lugmayr, Artur. ; (orcid)0000-0001-6994-4470 ; http://orcid.org/0000-0001-6994-4
9783319916415.pdf.jpg2018Bioinspired Optimization Methods and Their ApplicationsKoroeeec, Peter. ;; Melab, Nouredine. ;; Talbi, El-Ghazali. ;
9783319999050.pdf.jpg2018Rules and ReasoningBenzmeller, Christoph. ;; Ricca, Francesco. ;; Parent, Xavier. ;; Roman, Dumitru. ;

Discover & Search