000 02657nam a22004095i 4500
001 320915
003 MX-SnUAN
005 20160429161440.0
007 cr nn 008mamaa
008 160111s2014 gw | s |||| 0|eng d
020 _a9783319148960
_9978-3-319-14896-0
035 _avtls000419886
039 9 _y201601110921
_zstaff
050 4 _aQA76.758
245 1 0 _aMathematical and engineering methods in computer science :
_b9th international doctoral workshop, memics 2014, tel?, czech republic, october 17--19, 2014, revised selected papers /
_cedited by Petr Hlin?ný, Zden?k Dvo?ák, Ji?í Jaroš, Jan Kofro?, Jan Ko?enek, Petr Matula, Karel Pala.
264 1 _aCham :
_bSpringer International Publishing :
_bSpringer,
_c2014.
300 _axi, 159 páginas :
_b50 ilustraciones
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8934
500 _aSpringer eBooks
505 0 _aAn Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic -- Today’s Challenges for Embedded ASR -- Automating Software Analysis at Large Scale -- 3D Model-Based Segmentation of 3D Biomedical Images -- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions Synthesis on Intel Xeon Phi Coprocessor -- Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition -- Mapping Problems to Skills Combining Expert Opinion and Student Data -- Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes -- Context-Switch-Directed Verification in DIVINE -- A New Concept in Advice Complexity of Job Shop Scheduling.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aHlin?ný, Petr,
_eeditor.
_9338311
700 1 _aDvo?ák, Zden?k,
_eeditor.
_9365776
700 1 _aJaroš, Ji?í,
_eeditor.
_9365777
700 1 _aKofro?, Jan,
_eeditor.
_9365778
700 1 _aKo?enek, Jan,
_eeditor.
_9365779
700 1 _aMatula, Petr,
_eeditor.
_9365780
700 1 _aPala, Karel,
_eeditor.
_9331284
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783319148953
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-14896-0
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c320915
_d320915