Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 62 (Search time: 0.0 seconds).
Item hits:
PreviewIssue DateTitleContributor(s)
9783030014605.pdf.jpg2018Symposium on Real-Time and Hybrid SystemsJones, Cliff. ;; Wang, Ji. ;; Zhan, Naijun. ;
9783319986470.pdf.jpg2018Business Process ManagementWeske, Mathias. ;; Montali, Marco. ; (orcid)0000-0002-8021-3430 ; http://orcid.org/0000-0002-8021-3430. ;; Weber, Ingo. ; (orcid)0000-0002-4833-5921 ; http://orcid.org/0000-0002-4833-5921. ;; vom Brocke, Jan. ;
9783030008390.pdf.jpg2018Computer and Information SciencesCzach?rski, Tadeusz. ; (orcid)0000-0001-7158-0258 ; http://orcid.org/0000-0001-7158-0258. ;; Gelenbe, Erol. ; (orcid)0000-0001-9688-2201 ; http://orcid.org/0000-0001-9688-2201. ;; Grochla, Krzysztof. ; (orcid)0000-0001-6221-4790 ; http://orcid.org/0000-00
9783319941431.pdf.jpg2018Theory and Applications of Satisfiability Testing ?? SAT 2018Beyersdorff, Olaf. ;; Wintersteiger, Christoph M. ;
9783319994253.pdf.jpg2018Entertainment Computing ?? 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 ApplicationsKoro??ec, Peter. ;; Melab, Nouredine. ;; Talbi, El-Ghazali. ;
9783319943756.pdf.jpg2018Services Computing ?? SCC 2018Ferreira, Jo?o Eduardo. ;; Spanoudakis, George. ;; Ma, Yutao. ;; Zhang, Liang-Jie
9783030025076.pdf.jpg2018Theoretical Aspects of Computing ?? ICTAC 2018Fischer, Bernd. ; (orcid)0000-0002-1815-218X ; http://orcid.org/0000-0002-1815-218X. ;; Uustalu, Tarmo. ; (orcid)0000-0002-1297-0579 ; http://orcid.org/0000-0002-1297-0579. ;
9783319955810.pdf.jpg2018Formal MethodsHavelund, Klaus. ;; Peleska, Jan. ;; Roscoe, Bill. ;; de Vink, Erik. ;
9783319924342.pdf.jpg2018Unconventional Computation and Natural ComputationStepney, Susan. ;; Verlan, Sergey. ;