Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 16 (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. ;
9783319893662.pdf.jpg2018Foundations of Software Science and Computation StructuresBaier, Christel. ;; Dal Lago, Ugo. ;
9783319965611.pdf.jpg2018Machine Learning for Dynamic Software Analysis: Potentials and LimitsBennaceur, Amel. ;; Hehnle, Reiner. ;; Meinke, Karl. ;
9783319727264.pdf.jpg2018Technology TrendsBotto-Tobar, Miguel. ;; Esparza-Cruz, Nelly. ;; Leen-Acurio, Joffre. ;; Crespo-Torres, Narcisa. ;; Beltreen-Mora, Marola. ;
9783319933719.pdf.jpg2018Social, Cultural, and Behavioral ModelingThomson, Robert. ;; Dancy, Christopher. ;; Hyder, Ayaz. ;; Bisgin, Halil. ;
9783319937090.pdf.jpg2018Intelligent Transport Systems ee From Research and Development to the Market UptakeKoveeeeikovee, Tatiana. ;; Buzna, euboee. ;; Pourhashem, Ghadir. ;; Lugano, Giuseppe. ;; Cornet, Yannick. ;; Lugano, Nathalie. ;

Discover & Search