Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 36 (Search time: 0.0 seconds).
Item hits:
PreviewIssue DateTitleContributor(s)
9783319943695.pdf.jpg2018Internet of Things ee ICIOT 2018Georgakopoulos, Dimitrios. ;; Zhang, Liang-Jie
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
9783319899602.pdf.jpg2018Tools and Algorithms for the Construction and Analysis of SystemsBeyer, Dirk. ;; Huisman, Marieke. ;
9781484228081.pdf.jpg2017Pro Spring 5Cosmina, Iuliana. ;; Harrop, Rob. ;; Schaefer, Chris. ;; Ho, Clarence. ;
9781484230411.pdf.jpg2018Pro JavaFX 9Vos, Johan. ;; Chin, Stephen. ;; Gao, Weiqi. ;; Weaver, James. ;; Iverson, Dean. ;
9783319893662.pdf.jpg2018Foundations of Software Science and Computation StructuresBaier, Christel. ;; Dal Lago, Ugo. ;
9783319924311.pdf.jpg2018Reliable Software Technologies ee Ada-Europe 2018Casimiro, Antenio. ;; Ferreira, Pedro M. ;
9783319965611.pdf.jpg2018Machine Learning for Dynamic Software Analysis: Potentials and LimitsBennaceur, Amel. ;; Hehnle, Reiner. ;; Meinke, Karl. ;

Discover & Search