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.
Computability complexity logic / E. Börger
| Computability complexity logic / E. Börger |
| Autore | BÖRGER, Egon |
| Pubbl/distr/stampa | Amsterdam [etc.] : Noth-Holland, 1989 |
| Descrizione fisica | XX, 592 p. : ill. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Algoritmi
Complessità computazionale |
| ISBN | 0-444-87406-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000235600203316 |
BÖRGER, Egon
|
||
| Amsterdam [etc.] : Noth-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability, complexity, logic / de Borger
| Computability, complexity, logic / de Borger |
| Autore | Borger, E. |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1989 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001139480403321 |
|
Borger, E.
|
||
| Amsterdam [etc.] : North-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computability, complexity, logic / E. Börger
| Computability, complexity, logic / E. Börger |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1989 |
| Descrizione fisica | xx, 592 p. ; 23 cm. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 128 |
| Soggetto topico |
Computable functions
Computational complexity Mathematical logic Symbolic logic |
| ISBN | 0444874062 |
| Classificazione |
AMS 03D
AMS 03D05 AMS 03D15 AMS 68Q QA9.59.B6713 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773079707536 |
|
Borger, Egon
|
||
| Amsterdam : North-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computabilità complessità logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Borger
| Computabilità complessità logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Borger |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1989 |
| Descrizione fisica | 369 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Testi e manuali della scienza contemporanea, Serie di informatica |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 88-339-5434-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001091730403321 |
|
Borger, Egon
|
||
| Torino : Bollati Boringhieri, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computabilità, complessità, logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Börger
| Computabilità, complessità, logica : introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità / Egon Börger |
| Autore | Börger, Egon |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, 1989- |
| Descrizione fisica | v. ; 24 cm |
| Disciplina | 511.8 |
| Collana | Testi e manuali della scienza contemporanea. Serie di informatica |
| Soggetto non controllato | Calcolo numerico |
| ISBN | 88-339-5434-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | v. 1: Teoria della computazione |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018898 |
|
Börger, Egon
|
||
| Torino : Bollati Boringhieri, 1989- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
| Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter |
| Autore | Borger, Egon |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Oberschelp, Walter
Richter, Michael M. Schinzel, Brigitta Thomas, Wolfgang |
| Soggetto topico | Recursion theory |
| ISBN | 354013901X |
| Classificazione |
AMS 03D
AMS 03F AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773229707536 |
|
Borger, Egon
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding
| Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 456 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Altri autori (Persone) |
Hasenjaeger, G.author
Rodding, D. |
| Soggetto topico |
Computational complexity - Congresses
Decision making - Congresses Machine theory - Congresses |
| ISBN | 3540133313 |
| Classificazione |
AMS 03D05
AMS 62C AMS 68-06 AMS 90A05 QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001094149707536 |
|
Borger, Egon
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Modeling Companion for Software Practitioners / / by Egon Börger, Alexander Raschke
| Modeling Companion for Software Practitioners / / by Egon Börger, Alexander Raschke |
| Autore | Börger Egon |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (362 pages) |
| Disciplina | 005.3 |
| Soggetto topico |
Software engineering
Logic, Symbolic and mathematical Management information systems Industrial management Software Engineering Mathematical Logic and Formal Languages Business Process Management |
| ISBN | 3-662-56641-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. |
| Record Nr. | UNINA-9910299298703321 |
|
Börger Egon
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rigorous methods for software construction and analysis : essays dedicated to Egon Borger on the occasion of his 60th birthday / / Jean-Raymond Abrial, Uwe Glasser (eds.)
| Rigorous methods for software construction and analysis : essays dedicated to Egon Borger on the occasion of his 60th birthday / / Jean-Raymond Abrial, Uwe Glasser (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVI, 235 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
AbrialJean-Raymond
GlasserUwe <1959-> BorgerE <1946-> (Egon) |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Formal methods (Computer science)
System design |
| ISBN |
1-280-38548-0
9786613563408 3-642-11447-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec# -- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development -- Ten Reasons to Metamodel ASMs -- An ASM-Characterization of a Class of Distributed Algorithms -- Using Abstract State Machines for the Design of Multi-level Transaction Schedulers -- Validating and Animating Higher-Order Recursive Functions in B -- A Systematic Verification Approach for Mondex Electronic Purses Using ASMs -- Management of UML Clusters -- A Step towards Merging xUML and CSP B -- CoreASM Plug-In Architecture -- JASMine: Accessing Java Code from CoreASM -- A Modular Verification Methodology for C# Delegates -- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages -- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. |
| Record Nr. | UNINA-9910483842803321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
| The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich |
| Autore | Börger, Egon |
| Pubbl/distr/stampa | Berlin, : Springer, 1997 |
| Descrizione fisica | XII, 482 p : ill ; 24 cm. |
| Altri autori (Persone) |
Grädel, Erich
Gurevich, Yuri |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN |
03-87570-73-X
978-35-405-7073-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053137 |
|
Börger, Egon
|
||
| Berlin, : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
