Showing 201 - 210 results of 2,925 for search '"Computer Science."', čas poizvedbe: 0.04s Refine Results
  1. 201

    Automated validation & verification of UML/OCL models using satisfiability solvers od Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Izdano 2018
    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
    Electronic Resource

    Automated validation & verification of UML/OCL models using satisfiability solvers
  2. 202

    FluSHELL a tool for thermal modelling and simulation of windings for large shell-type power transformers od Campelo, Hugo

    Izdano 2018
    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
    Electronic Resource

    FluSHELL a tool for thermal modelling and simulation of windings for large shell-type power transformers
  3. 203

    Human language technologies for under-resourced African languages design, challenges, and prospects

    Izdano 2018
    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
    Electronic Resource

    Human language technologies for under-resourced African languages design, challenges, and prospects
  4. 204

    Service orientation in holonic and multi-agent manufacturing proceedings of SOHOMA 2017

    Izdano 2018
    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
    Electronic Resource

    Service orientation in holonic and multi-agent manufacturing proceedings of SOHOMA 2017
  5. 205

    Computer science and engineering theory and applications

    Izdano 2018
    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
    Electronic Resource

    Computer science and engineering theory and applications
  6. 206

    New classification method based on modular neural networks with the LVQ algorithm and type-2 fuzzy logic od Amezcua, Jonathan, Melin, Patricia 1962-, Castillo, Oscar 1959-

    Izdano 2018
    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
    Electronic Resource

    New classification method based on modular neural networks with the LVQ algorithm and type-2 fuzzy logic
  7. 207

    Breaking down barriers usability, accessibility and inclusive design

    Izdano 2018
    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
    Electronic Resource

    Breaking down barriers usability, accessibility and inclusive design
  8. 208

    Symbolic parallelization of nested loop programs od Tanase, Alexandru-Petru, Hannig, Frank, Teich, Jeurgen

    Izdano 2018
    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
    Electronic Resource

    Symbolic parallelization of nested loop programs
  9. 209

    Fundamentals of electromigration-aware integrated circuit design od Lienig, Jens, Thiele, Matthias

    Izdano 2018
    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
    Electronic Resource

    Fundamentals of electromigration-aware integrated circuit design
  10. 210

    Computational science and technology 4th ICCST 2017, Kuala Lumpur, Malaysia, 29-30 November, 2017

    Izdano 2018
    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
    Electronic Resource

    Computational science and technology 4th ICCST 2017, Kuala Lumpur, Malaysia, 29-30 November, 2017

Iskalna orodja: