Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathmatical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with...
Enregistré dans:
Auteurs principaux : | , , , , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš. |
Édition : | 1st ed. 2012. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 |
Collection : | Programming and Software Engineering ; 7119 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Sujets : | |
Documents associés : | Autre format:
Mathematical and Engineering Methods in Computer Science Autre format: Mathematical and Engineering Methods in Computer Science |
LEADER | 04054clm a2200745 4500 | ||
---|---|---|---|
001 | PPN159086264 | ||
003 | http://www.sudoc.fr/159086264 | ||
005 | 20241001154900.0 | ||
010 | |a 978-3-642-25929-6 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-25929-6 |2 DOI |
035 | |a (OCoLC)807330984 | ||
035 | |a Springer978-3-642-25929-6 | ||
035 | |a Springer-11645-978-3-642-25929-6 | ||
100 | |a 20120309d2012 u |0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Mathematical and Engineering Methods in Computer Science |e 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers |f edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš. | |
205 | |a 1st ed. 2012. | ||
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg |d 2012 | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7119 | |
230 | |a Données textuelles | ||
330 | |a This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathmatical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science | ||
337 | |a Nécessite un lecteur de fichier PDF | ||
371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7119 | |
452 | | | |t Mathematical and Engineering Methods in Computer Science |b Texte imprimé |y 9783642259289 | |
452 | | | |t Mathematical and Engineering Methods in Computer Science |b Texte imprimé |y 9783642259302 | |
606 | |3 PPN027673529 |a Génie logiciel |2 rameau | ||
606 | |3 PPN027234886 |a Informatique |2 rameau | ||
606 | |3 PPN027282171 |a Algorithmes |2 rameau | ||
606 | |3 PPN027244105 |a Réseaux d'ordinateurs |2 rameau | ||
610 | 1 | |a Computer Science | |
610 | 2 | |a Algorithm Analysis and Problem Complexity | |
610 | 2 | |a Management of Computing and Information Systems | |
610 | 2 | |a Logics and Meanings of Programs | |
610 | 2 | |a Computer Communication Networks | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Algorithms | |
610 | 2 | |a IT Operations | |
610 | 2 | |a Computer Science Logic and Foundations of Programming | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
615 | |a Computer Science |n 11645 |2 Springer | ||
676 | |a 004.6 |v 23 | ||
676 | |a 004 | ||
680 | |a TK5105.5-5105.9 | ||
701 | 1 | |a Kotásek |b Zdeněk |4 651 | |
701 | 1 | |a Bouda |b Jan |4 651 | |
701 | 1 | |a Cerná |b Ivana |4 651 | |
701 | 1 | |a Sekanina |b Lukas |4 651 | |
701 | 1 | |a Vojnar |b Tomas |4 651 | |
701 | 1 | |a Antoš |b David |4 651 | |
801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
856 | 4 | |5 441099901:830849807 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-25929-6 | |
915 | |5 441099901:830849807 |b SPRING13-00094 | ||
930 | |5 441099901:830849807 |b 441099901 |j g | ||
991 | |5 441099901:830849807 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:09 | ||
997 | |a NUM |b SPRING13-00094 |d NUMpivo |e EM |s d | ||
998 | |a 977924 |