التقنية والكمبيوتر

Applications of Declarative Programming and Knowledge Management : 19th International Conference,INAP 2011, and 25th Workshop on Logic Programming, W

Modeling Decisions for Artificial Intelligence : 10th International Conference,MDAI 2013, Barcelona, Spain, November 20-22, 2013, Proceedings

Cryptography and Coding : 14th IMA International Conference,IMACC 2013, Oxford, UK, December 17-19, 2013, Proceedings

Algorithms for Sensor Systems : 9th International Symposium on Algorithms and Experiments for Sensor Systems,Wireless Networks and Distributed Roboti

Foundations of Health Information Engineering and Systems : Third International Symposium,FHIES 2013, Macau, China, August 21-23, 2013. Revised Selec

Verified Software: Theorie,Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Pape

Transactions on Computational Science XXII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII

Testing Software and Systems : 26th IFIP WG 6.1 International Conference,ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Service-Oriented and Cloud Computing : Third European Conference,ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV

Transactions on Large-Scale Data- and Knowledge-Centered Systems XV : Selected Papers from ADBIS 2013 Satellite Events