Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Graph-theoretic concepts in computer science [electronic resource] : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011 : revised papers / Petr Kolman, Jan Kratochvíl (eds.).
| Graph-theoretic concepts in computer science [electronic resource] : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011 : revised papers / Petr Kolman, Jan Kratochvíl (eds.). |
| Creatore | [International Workshop WG (37th : 2011 : Teplá, Czech Republic)] |
| Estensione | 1 online resource (xi, 344 p.) : ill. (some col. |
| Disciplina | 511/.5 |
| Accesso persona |
Kolman, Petr
Kratochvíl, Jan. |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Computer Communication Networks Data structures (Computer science) Computer software Computational complexity Algorithms Geometry Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Data Structures |
| ISBN |
9783642258701 (electronic bk.)
3642258700 (electronic bk.) 9783642258695 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UPENN-9960090133503681 |
[International Workshop WG (37th : 2011 : Teplá, Czech Republic)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.).
| Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.). |
| Creatore | [SAFECOMP 2012 (2012 : Magdeburg, Germany)] |
| Estensione | 1 online resource. |
| Disciplina | 005 |
| Accesso persona |
Ortmeier, Frank
Daniel, Peter, 1950- |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Computer Communication Networks Software engineering Data protection Computer software Systems and Data Security Algorithm Analysis and Problem Complexity Computers and Society Special Purpose and Application-Based Systems |
| ISBN |
9783642336782 (electronic bk.)
3642336787 (electronic bk.) 9783642336775 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
A Lightweight Methodology for Safety Case Assembly / Ewen Denney and Ganesh Pai -- A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production / André Alexandersen Hauge and Ketil Stølen -- Risk Assessment for Airworthiness Security / Silvia Gil Casals, Philippe Owezarski and Gilles Descargues -- A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , / Christoph Läsche, Eckard Böde and Thomas Peikenkamp -- Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA / Manfred Schäfer -- Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment / Christoph Woskowski -- Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, / Viacheslav Izosimov, Urban Ingelsson and Andreas Wallin -- Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile / Jan Krause, Elke Hintze, Stephan Magnus and Christian Diedrich -- Quantification of Priority-OR Gates in Temporal Fault Trees / Ernest Edifor, Martin Walker and Neil Gordon --
Cross-Level Compositional Reliability Analysis for Embedded Systems / Michael Gla€, Heng Yu, Felix Reimann and Jürgen Teich -- IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data / Tobias Hoppe, Sven Kuhlmann, Stefan Kiltz and Jana Dittmann -- Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation / Hans-Hermann Bock, Jens Braband, Birgit Milius and Hendrik Schäbe -- Towards Secure Fieldbus Communication / Felix Wieczorek, Christoph Krau€, Frank Schiller and Claudia Eckert -- Extracting EFSMs of Web Applications for Formal Requirements Specification / Andrey Zakonov and Anatoly Shalyto -- An Ontological Approach to Systematization of SW-FMEA / Irene Bicchierai, Giacomo Bucci, Carlo Nocentini and Enrico Vicario -- Online Black-Box Failure Prediction for Mission Critical Distributed Systems / Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta and Marco Rizzuto -- On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions / Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson and Roger Johansson -- Formal Development and Assessment of a Reconfigurable On-board Satellite System / Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala and Laura Nummila -- Impact of Soft Errors in a Jet Engine Controller / Olof Hannius and Johan Karlsson -- Which Automata for Which Safety Assessment Step of Satellite FDIR? / Ludovic Pintard, Christel Seguin and Jean-Paul Blanquart -- A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context / Carl Bergenhem, Rolf Johansson and Henrik Lönn -- Reviewing Software Models in Compliance with ISO 26262 / Ingo Stürmer, Elke Salecker and Hartmut Pohlheim -- Software Architecture of a Safety-Related Actuator in Traffic Management Systems / Thomas Novak and Christoph Stoegerer -- Approximate Reliability Algebra for Architecture Optimization / Philipp Helle, Michael Masin and Lev Greenberg -- On the Formal Verification of Systems of Synchronous Software Components / Henning Günther, Stefan Milius and Oliver Möller -- A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky -- Determining Potential Errors in Tool Chains: Strategies to Reach Tool Confidence According to ISO 26262 / Martin Wildmoser, Jan Philipps and Oscar Slotosch -- Safety-Focused Deployment Optimization in Open Integrated Architectures / Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp and Peter Liggesmeyer -- Qualifying Software Tools, a Systems Approach / Fredrik Asplund, Jad El-khoury and Martin Törngren -- Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems / Rosana T. Vaccare Braga, Onofre Trindade Junior, Kalinka Regina Castelo Branco, Luciano De Oliveira Neris and Jaejoon Lee -- Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings / Mark-Alexander Sujan and Massimo Felici -- A STAMP Analysis on the China-Yongwen Railway Accident / Tian Song, Deming Zhong and Hang Zhong -- Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study / Rikard Land, Mikael Åkerholm and Jan Carlson. |
| Record Nr. | UPENN-9960099773503681 |
|
[SAFECOMP 2012 (2012 : Magdeburg, Germany)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Runtime verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
| Runtime verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.). |
| Creatore | [RV (Conference) (4th : 2013 : Rennes, France)] |
| Estensione | 1 online resource (xvii, 426 pages) |
| Disciplina | 005.1/4 |
| Accesso persona |
Legay, Axel, editor of compilation
Bensalem, Saddek, editor of compilation |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Software engineering Computer software Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN |
9783642407871 (electronic bk.)
3642407870 (electronic bk.) 3642407862 (print) 9783642407864 (print) 9783642407864 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UPENN-9960998233503681 |
|
[RV (Conference) (4th : 2013 : Rennes, France)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Discovery science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Tapio Elomaa, Jaakko Hollmén, Heikki Mannila (eds.).
| Discovery science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Tapio Elomaa, Jaakko Hollmén, Heikki Mannila (eds.). |
| Creatore | [International Conference on Discovery Science (14th : 2011 : Espoo, Finland)] |
| Estensione | 1 online resource (xiii, 379 p.) : ill. (some col. |
| Disciplina | 501 |
| Accesso persona |
Elomaa, Tapio, 1963-
Hollmén, Jaakko Mannila, Heikki |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Computer software Database management Data mining Information storage and retrieval systems Artificial intelligence Artificial Intelligence (incl. Robotics) Information Storage and Retrieval Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Algorithm Analysis and Problem Complexity |
| ISBN |
9783642244773 (electronic bk.)
3642244777 (electronic bk.) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UPENN-9960086613503681 |
|
[International Conference on Discovery Science (14th : 2011 : Espoo, Finland)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C. P. de Souto, Maricel G. Kann (eds.).
| Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C. P. de Souto, Maricel G. Kann (eds.). |
| Creatore | [Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande (Mato Grosso do Sul), Brazil)] |
| Estensione | 1 online resource (xii, 204 p.) : ill |
| Disciplina | 570.285 |
| Accesso persona |
Souto, Marcilio C. P. de.
Kann, Maricel G. |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Computer software Database management Artificial intelligence Optical pattern recognition Bioinformatics Computation by Abstract Devices Algorithm Analysis and Problem Complexity Computational Biology/Bioinformatics |
| ISBN |
9783642319273 (electronic bk.)
3642319270 (electronic bk.) 9783642319266 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Transposition Diameter and Lonely Permutations / Luís Felipe I. Cunha, Luis Antonio B. Kowada, Rodrigo de A. Hausen and Celina M. H. de Figueiredo -- Extending the Algebraic Formalism for Genome Rearrangements to Include Linear Chromosomes / Pedro Feijao and Joao Meidanis -- On the Approximation Ratio of Algorithms for Sorting by Transpositions without Using Cycle Graphs / Gustavo Rodrigues Galvão and Zanoni Dias -- A Comparison of Three Heuristic Methods for Solving the Parsing Problem for Tandem Repeats / A. A. Matroud, C. P. Tuffley, D. Bryant and M. D. Hendy -- RNA Folding Algorithms with G-Quadruplexes / Ronny Lorenz, Stephan H. Bernhart, Fabian Externbrink, Jing Qin and Christian Höner zu Siederdissen, et al. -- Molecular Dynamics for Simulating the Protein Folding Process Using the 3D AB Off-Lattice Model / César Manuel Vargas Benítez and Heitor Silvério Lopes -- A Bioconductor Based Workflow for Z-DNA Region Detection and Biological Inference / Halian Vilela, Tainá Raiol, Andrea Queiroz Maranhão, Maria Emília Walter and Marcelo M. Brígido -- A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase / Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and Sérgio V. A. Campos -- RFMirTarget: A Random Forest Classifier for Human miRNA Target Gene Prediction / Mariana R. Mendoza, Guilherme C. da Fonseca, Guilherme L. de Morais, Ronnie Alves and Ana L. C. Bazzan, et al. --
Prediction of Transcription Factor Binding Sites by Integrating DNase Digestion and Histone Modification / Eduardo G. Gusmão, Christoph Dieterich and Ivan G. Costa -- Evaluating Correlation Coefficients for Clustering Gene Expression Profiles of Cancer / Pablo A. Jaskowiak, Ricardo J. G. B. Campello and Ivan G. Costa -- Associating Genotype Sequence Properties to Haplotype Inference Errors / Rogério S. Rosa, Rafael H. S. Santos and Katia S. Guimarães -- Design and Implementation of ProteinWorldDB / Sérgio Lifschitz, Carlos Juliano M. Viana, Cristian Tristão, Marcos Catanho and Wim M. Degrave, et al. -- A Comparative Analysis of Public Ligand Databases Based on Molecular Descriptors / Ana T. Winck, Christian V. Quevedo, Karina S. Machado, Osmar Norberto de Souza and Duncan D. Ruiz -- Phylogenetic Distance Computation Using CUDA / Wellington S. Martins, Thiago F. Rangel, Divino C. S. Lucas, Elias B. Ferreira and Edson N. Caceres -- Exploring Molecular Evolution Reconstruction Using a Parallel Cloud Based Scientific Workflow / Kary A. C. S. Ocaña, Daniel de Oliveira, Felipe Horta, Jonas Dias and Eduardo Ogasawara, et al. -- How Bioinformatics Enables Livestock Applied Sciences in the Genomic Era / José Fernando Garcia, Adriana Santana do Carmo, Yuri Tani Utsunomiya, Haroldo Henrique de Rezende Neves and Roberto Carvalheiro, et al. |
| Record Nr. | UPENN-9960097933503681 |
|
[Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande (Mato Grosso do Sul), Brazil)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Selected areas in cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised selected papers / Ali Miri, Serge Vaudenay (eds.).
| Selected areas in cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised selected papers / Ali Miri, Serge Vaudenay (eds.). |
| Creatore | [SAC (Conference) (18th : 2011 : Toronto, Ont.)] |
| Estensione | 1 online resource (xiii, 430 p.) |
| Disciplina | 005.8/2 |
| Accesso persona |
Miri, Ali.
Vaudenay, Serge |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer Communication Networks
Data protection Data encryption (Computer science) Computer software Systems and Data Security Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN |
9783642284960 (electronic bk.)
3642284965 (electronic bk.) 3642284957 9783642284953 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Boomerang Distinguishers on MD4-Family: First Practical Results on Full 5-Pass HAVAL -- Improved Analysis of ECHO-256 -- Provable Chosen-Target-Forced-Midfix Preimage Resistance -- On CCA-Secure Somewhat Homomorphic Encryption -- Efficient Schemes for Anonymous Yet Authorized and Bounded Use of Cloud Resources -- Group Law Computations on Jacobians of Hyperelliptic Curves -- Cryptographic Analysis of All 4 x 4-Bit S-Boxes -- The Cryptographic Power of Random Selection -- Proof of Empirical RC4 Biases and New Key Correlations -- Combined Differential and Linear Cryptanalysis of Reduced-Round PRINTcipher -- Practical Attack on the Full MMB Block Cipher -- Conditional Differential Cryptanalysis of Trivium and KATAN -- Some Instant- and Practical-Time Related-Key Attacks on KTANTAN32/48/64 -- Analysis of the Initial and Modified Versions of the Candidate 3GPP Integrity Algorithm 128-EIA3 -- New Insights on Impossible Differential Cryptanalysis -- A Unified Framework for Small Secret Exponent Attack on RSA -- Very Compact Hardware Implementations of the Blockcipher CLEFIA -- Another Look at Tightness -- Duplexing the Sponge: Single-Pass Authenticated Encryption and Other Applications -- Blockcipher-Based Double-Length Hash Functions for Pseudorandom Oracles -- ASC-1: An Authenticated Encryption Stream Cipher -- On Various Families of Twisted Jacobi Quartics -- Improved Three-Way Split Formulas for Binary Polynomial Multiplication -- Sublinear Scalar Multiplication on Hyperelliptic Koblitz Curves -- Faster Hashing to \mathbb G2G2. |
| Record Nr. | UPENN-9960092453503681 |
|
[SAC (Conference) (18th : 2011 : Toronto, Ont.)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
| Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe |
| Creatore | [TPNC (Conference) (1st : 2012 : Tarragona, Spain)] |
| Estensione | 1 online resource. |
| Disciplina | 004/.3 |
| Accesso persona |
Horia Dediu, Adrian
Martín Vide, Carlos Truthe, Bianca |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Computer science
Computer Communication Networks Software engineering Computer software Artificial intelligence Algorithm Analysis and Problem Complexity Computation by Abstract Devices Information Systems Applications (incl. Internet) |
| ISBN |
9783642338601 (electronic bk.)
3642338607 (electronic bk.) 9783642338595 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial / Christian Blum -- Theory and Applications of DNA Codeword Design / Max H. Garzon -- Scalable Neuroevolution for Reinforcement Learning / Faustino Gomez -- Differential Evolution Algorithm: Recent Advances / Ponnuthurai Nagaratnam Suganthan -- The Fragility of Quantum Information? / Barbara M. Terhal -- Computational Intelligence in Astronomy - A Win-Win Situation / Peter Tiňo and Somak Raychaudhury -- A Multi-objective Approach to Solve the Location Areas Problem / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez and Juan A. Gómez-Pulido -- Nature-Inspired Algorithms Applied to an Efficient and Self-adaptive Resources Selection Model for Grid Applications / María Botón-Fernández, Francisco Prieto Castrillo and Miguel A. Vega-Rodríguez -- Attacks on Fixed Apparatus Quantum Key Distribution Schemes / Michel Boyer, Ran Gelles and Tal Mor -- Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks / Salimur Choudhury, Kai Salomaa and Selim G. Akl --
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words / Michelangelo Cianciulli, Rocco Zaccagnino and Rosalba Zizza -- On the Security of Interferometric Quantum Key Distribution / Ran Gelles and Tal Mor -- Generating DNA Code Words Using Forbidding and Enforcing Systems / Daniela Genova and Kalpana Mahalingam -- Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure / Mauricio Guevara-Souza and Edgar E. Vallejo -- Neural Networks Solving Free Final Time Optimal Control Problem / Tibor Kmet and Maria Kmetova -- Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Tissue P Systems with Cell Separation: Upper Bound by PSPACE / Petr Sosík and Luděk Cienciala -- Maze Exploration with Molecular-Scale Walkers / Darko Stefanovic. |
| Record Nr. | UPENN-9960101163503681 |
|
[TPNC (Conference) (1st : 2012 : Tarragona, Spain)]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Pennsylvania | |
Graph Theory and Algorithms [electronic resource] : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings / by N. Saito, T. Nishizeki
| Graph Theory and Algorithms [electronic resource] : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings / by N. Saito, T. Nishizeki |
| Creatore | [Saito, N.] |
| Accesso persona | Nishizeki, T. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity |
| ISBN | 9783540107040 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7353867 |
|
[Saito, N.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Mathematical Foundations of Computer Science 1981 [electronic resource] : 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings / by J. Gruska, M. Chytil
| Mathematical Foundations of Computer Science 1981 [electronic resource] : 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings / by J. Gruska, M. Chytil |
| Creatore | [Gruska, J.] |
| Accesso persona | Chytil, M. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity |
| ISBN | 9783540108566 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7353877 |
|
[Gruska, J.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Algorithms in Modern Mathematics and Computer Science [electronic resource] : Proceedings, Urgench, Uzbek SSR September 16-22, 1979 / by A. P. Ershov, D. E. Knuth
| Algorithms in Modern Mathematics and Computer Science [electronic resource] : Proceedings, Urgench, Uzbek SSR September 16-22, 1979 / by A. P. Ershov, D. E. Knuth |
| Creatore | [Ershov, A. P.] |
| Accesso persona | Knuth, D. E. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity |
| ISBN | 9783540111573 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7353883 |
|
[Ershov, A. P.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
