-
Exploring Services Science – 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
Borangiu, Theodor ; Drăgoicea, Monica ; Nóvoa, Henriqueta 2016 Springer International Publishing
-
Beginning django CMS
George, Nigel 2015 Apress
-
How secure is AI-generated code: a large-scale comparison of large language models
Tihanyi, Norbert ; Bisztray, Tamas ; Ferrag, Mohamed Amine ; Jain, Ridhi ; Cordeiro, Lucas C.
-
Explainable automated debugging via large language model-driven scientific debugging
Kang, Sungmin ; Chen, Bei ; Yoo, Shin ; Lou, Jian-Guang
-
Program Arcade Games – With Python and Pygame
2016 Apress
-
Selenium WebDriver Recipes in C#
2015 Apress
-
Transactions on Petri Nets and Other Models of Concurrency X
Koutny, Maciej ; Desel, Jörg ; Haddad, Serge 2015 Springer Berlin Heidelberg
-
The Design of Requirements Modelling Languages – How to Make Formalisms for Problem Solving in Requirements Engineering
Jureta, Ivan 2015 Springer International Publishing
-
Algebraic Informatics – 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Maletti, Andreas 2015 Springer International Publishing
-
Behavior Modeling -- Foundations and Applications – International Workshops, BM-FA 2009-2014, Revised Selected Papers
Roubtsova, Ella ; McNeile, Ashley ; Kindler, Ekkart ; Gerth, Christian 2015 Springer International Publishing
-
Intelligent Software Methodologies, Tools and Techniques – 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers
Fujita, Hamido ; Selamat, Ali 2015 Springer International Publishing
-
From Requirements to Java in a Snap – Model-Driven Requirements Engineering in Practice
Śmiałek, Michał ; Nowakowski, Wiktor 2015 Springer International Publishing
-
Automatic construction of generic Hausa language stop words list using term frequency-inverse document frequency
Bashir, Abubakar Salisu ; Bichi, Abdulkadir Abubakar ; Adamu, Alhassan
-
Transactions on Petri Nets and Other Models of Concurrency IX
Koutny, Maciej ; Haddad, Serge ; Yakovlev, Alex 2014 Springer International Publishing
-
Secure and Trustworthy Service Composition – The Aniketos Approach
2014 Springer International Publishing
-
Declarative Programming and Knowledge Management – Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Hanus, Michael ; Rocha, Ricardo 2014 Springer International Publishing
-
On the move to meaningful internet systems – proceedings
Meersman, Robert ; Panetto, Hervé ; Dillon, Tharam ; Missikoff, Michele ; Liu, Lin ; Pastor, Oscar ; Cuzzocrea, Alfredo ; Sellis, Timos 2014 Springer
-
Formal Methods and Software Engineering – 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
2014 Springer International Publishing
-
Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
Margaria, Tiziana ; Steffen, Bernhard Springer
-
Web Information Systems Engineering – WISE 2014 – 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II
2014 Springer International Publishing