Resultados da pesquisa - "Computer software."

Proceedings of the 2015 Federated Conference on Software Development and Object Technologies

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Embedded software verification and debugging

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Formal verification of Simulink/Stateflow diagrams a deductive approach Por Zhan, Naijun, Wang, Shuling, Zhao, Hengjun

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Software engineering challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Handbook of hardware/software codesign

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Uplifting software development practices in the Philippines a framework for improvement Por Perdiguerra, Juper C.

Big data analytics with applications in insider threat detection Por Parveen, Pallabi

Agent and multi-agent systems technology and applications : 10th KES International Conference, KES-AMSTA 2016 Puerto de la Cruz, Tenerife, Spain, June 2016 proceedings

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Exploring the strategy space of negotiating agents a framework for bidding, learning and accepting in automated negotiation Por Baarslag, Tim

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Spatial point patterns methodology and applications with R Por Baddeley, Adrian, author