top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading, Mass. : Addison-Wesley, c1969
Descrizione fisica vii, 242 p. : ill. ; 24 cm.
Disciplina 001.535
Altri autori (Persone) Ullman, Jeffrey D.
Collana Addison-Wesley series in computer science and information processing
Soggetto topico Automata theory
Formal languages
Machine theory
Programming
Classificazione AMS 68N05
AMS 68Q45
AMS 68Q68
AMS 68T25
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000901569707536
Hopcroft, John E.  
Reading, Mass. : Addison-Wesley, c1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Frontiers in algorithmics : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / / Xiaotie Deng, John E. Hopcroft, Jinyun Xue (eds.)
Frontiers in algorithmics : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / / Xiaotie Deng, John E. Hopcroft, Jinyun Xue (eds.)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin ; ; New York, : Springer, 2009
Descrizione fisica 1 online resource (XIV, 372 p.)
Disciplina 005.1
Altri autori (Persone) DengXiaotie
HopcroftJohn E. <1939->
XueJinyun
Collana Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Soggetto topico Algorithms
Computer algorithms
ISBN 1-280-38299-6
9786613560902
3-642-02270-7
Classificazione DAT 530f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto FAW 2009 -- Study on Parallel Computing -- Communication Complexity and Its Applications -- Algorithmic Problems in Computer and Network Power Management -- Shortest Path and Maximum Flow Problems in Networks with Additive Losses and Gains -- Edge Search Number of Cographs in Linear Time -- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems -- Improved Algorithms for Detecting Negative Cost Cycles in Undirected Graphs -- Covering-Based Routing Algorithms for Cyclic Content-Based P/S System -- On the ?-Sensitivity of Nash Equilibria in PageRank-Based Network Reputation Games -- Cop-Robber Guarding Game with Cycle Robber Region -- Covered Interest Arbitrage in Exchange Rate Forecasting Markets -- CFI Construction and Balanced Graphs -- Minimizing the Weighted Directed Hausdorff Distance between Colored Point Sets under Translations and Rigid Motions -- Space–Query-Time Tradeoff for Computing the Visibility Polygon -- Square and Rectangle Covering with Outliers -- Processing an Offline Insertion-Query Sequence with Applications -- Bounds on the Geometric Mean of Arc Lengths for Bounded-Degree Planar Graphs -- On Minimizing One Dimension of Some Two-Dimensional Geometric Representations of Plane Graphs -- On Modulo Linked Graphs -- Pathwidth is NP-Hard for Weighted Trees -- A Max-Margin Learning Algorithm with Additional Features -- DDoS Attack Detection Algorithm Using IP Address Features -- Learning with Sequential Minimal Transductive Support Vector Machine -- Junction Tree Factored Particle Inference Algorithm for Multi-Agent Dynamic Influence Diagrams -- An Efficient Fixed-Parameter Enumeration Algorithm for Weighted Edge Dominating Set -- Heuristics for Mobile Object Tracking Problem in Wireless Sensor Networks -- Efficient Algorithms for the Closest String and Distinguishing String Selection Problems -- The BDD-Based Dynamic A* Algorithm for Real-Time Replanning -- Approximating Scheduling Machines with Capacity Constraints -- Approximating the Spanning k-Tree Forest Problem -- Toward an Automatic Approach to Greedy Algorithms -- A Novel Approximate Algorithm for Admission Control -- On the Structure of Consistent Partitions of Substring Set of a Word -- A Bit-Parallel Exact String Matching Algorithm for Small Alphabet -- An Improved Database Classification Algorithm for Multi-database Mining -- Six-Card Secure AND and Four-Card Secure XOR.
Record Nr. UNINA-9910483641603321
Berlin ; ; New York, : Springer, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Autore Hopcroft, John E.
Edizione [3. ed]
Pubbl/distr/stampa Edinburg Gate : Pearson Education Limited, 2014
Descrizione fisica II, 488 p. ; 28 cm
Disciplina 511.3
Altri autori (Persone) Motwani, Rajeev
Ullman, Jeffrey D.
Soggetto non controllato Teoria degli automi
ISBN 0321455363
978-1-292-03905-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910316358103321
Hopcroft, John E.  
Edinburg Gate : Pearson Education Limited, 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Autore Hopcroft, John E.
Edizione [2nd ed.]
Pubbl/distr/stampa Boston : Addison-Wesley, c2001
Descrizione fisica xiv, 521 p. : ill. ; 25 cm
Disciplina 511.3
Altri autori (Persone) Motwani, Rajeev
Ullman, Jeffrey D. <1942- >
Soggetto non controllato Teoria delle macchine
Linguaggi formali
Teorema di completezza
ISBN 0-201-44124-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001480240403321
Hopcroft, John E.  
Boston : Addison-Wesley, c2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
Autore Hopcroft, John E.
Edizione [2nd ed]
Pubbl/distr/stampa Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 2001
Descrizione fisica XIV, 521 p. : ill. ; 25 cm
Disciplina 511.3
Soggetto non controllato Linguaggi formali
Teoria delle macchine
ISBN 0-201-44124-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000178930203316
Hopcroft, John E.  
Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 2001
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / John E. HOPCROFT, Jeffrey D. ULLMAN
Introduction to automata theory, languages and computation / John E. HOPCROFT, Jeffrey D. ULLMAN
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading (Mass.) : Addison-Wesley, c1979
Descrizione fisica x, 418 p. ; 24 cm
Disciplina 629.8
Collana Addison-Wesley series in computer science
Soggetto non controllato Controlli automatici
ISBN 0-201-02988-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001444250403321
Hopcroft, John E.  
Reading (Mass.) : Addison-Wesley, c1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / by HOPCROFT J. and ULLMA N J.D.
Introduction to automata theory, languages and computation / by HOPCROFT J. and ULLMA N J.D.
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading [MA] [etc.] : Addison-Wesley, 1979
Soggetto non controllato Teoria degli automi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001295860403321
Hopcroft, John E.  
Reading [MA] [etc.] : Addison-Wesley, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading [etc. ] : Addison-Wesley, c1979
Disciplina 510.78
Soggetto non controllato Cibernetica
Teoria dei giochi
Teoria degli automi
Intelligenza artificiale
ISBN 0-201-02988-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001361080403321
Hopcroft, John E.  
Reading [etc. ] : Addison-Wesley, c1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman
Autore Hopcroft, John E.
Pubbl/distr/stampa Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 1979
Descrizione fisica X, 418 p. : ill. ; 25 cm
Disciplina 511.3
Collana Addison-Wesley series in computer science
Soggetto non controllato Linguaggi formali
Teoria delle macchine
ISBN 0-201-02988-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000100260203316
Hopcroft, John E.  
Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 1979
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Introduction to automata theory, languages, and computation / / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Introduction to automata theory, languages, and computation / / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
Autore Hopcroft John E. <1939->
Edizione [Third, Pearson new international edition.]
Pubbl/distr/stampa Harlow, England : , : Pearson, , [2014]
Descrizione fisica 1 online resource (ii, 488 pages) : illustrations
Disciplina 511.3
Collana Always learning
Soggetto topico Machine theory
ISBN 1-292-05616-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automata : the methods and the madness -- Finite automata -- Regular expressions and languages -- Properties of regular languages -- Context-free grammars and languages -- Pushdown automata -- Properties of context-free languages -- Introduction to turing machines -- Undecidability -- Intractable problems.
Record Nr. UNINA-9910154805903321
Hopcroft John E. <1939->  
Harlow, England : , : Pearson, , [2014]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui