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.
Mathematical logic for computer science / Mordechai Ben-Ari
Mathematical logic for computer science / Mordechai Ben-Ari
Creatore [Ben-Ari, M., 1948-]
Edizione [Third edition.]
Estensione 1 online resource (xv, 346 pages) : illustrations
Disciplina 511.3
Genere/Forma Electronic books
ISBN 9781447141280
1447141288
Classificazione 31.10
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Propositional logic: formulas, models, tableaux -- Propositional logic: deductive systems -- Propositional logic: resolution --Propositional logic: binary decision diagrams -- Propositional logic: SAT solvers -- First-order logic: formulas, models, tableaux -- First-order logic: deductive systems -- First-order logic: terms and normal forms -- First-order logic: resolution-- First-order logic: logic programming -- First-order logic: undecidability and model theory -- Temporal logic: formulas, models, tableaux -- Temporal logic: a deductive system -- Verification of sequential programs -- Verification of concurrent programs.
Record Nr. DUKE-005618583
[Ben-Ari, M., 1948-]  
Materiale a stampa
Lo trovi qui: Duke University
Production engineering and management under fuzziness / Cengiz Kahraman and Mesut Yavuz (eds.).
Production engineering and management under fuzziness / Cengiz Kahraman and Mesut Yavuz (eds.).
Estensione 1 online resource (xii, 563 p.) : ill. (some col.)
Disciplina 658.5036
Accesso persona Kahraman, Cengiz
Yavuz, Mesut
Genere/Forma Electronic books
ISBN 9783642120510
3642120512
9783642120527
Classificazione 650
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004884912
Materiale a stampa
Lo trovi qui: Duke University
Combinatorial and algorithmic aspects of networking : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004 : revised selected papers / Alejandro López-Ortiz, Angèle Hamel (eds.).
Combinatorial and algorithmic aspects of networking : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004 : revised selected papers / Alejandro López-Ortiz, Angèle Hamel (eds.).
Creatore [Workshop on Combinatorial and Algorithmic Aspects of Networking (1st : 2004 : Banff, Alta.)]
Estensione 1 online resource (viii, 204 p.) : ill.
Disciplina 004.6
Accesso persona López-Ortiz, Alejandro
Hamel, Angèle
Genere/Forma Electronic books
ISBN 3540278737
9783540278733
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004448521
[Workshop on Combinatorial and Algorithmic Aspects of Networking (1st : 2004 : Banff, Alta.)]  
Materiale a stampa
Lo trovi qui: Duke University
A short introduction to quantum information and quantum computation / Michel Le Bellac ; translated by Patricia de Forcrand-Millard
A short introduction to quantum information and quantum computation / Michel Le Bellac ; translated by Patricia de Forcrand-Millard
Creatore [Le Bellac, Michel]
Estensione 1 online resource (x, 167 p.) : ill.
Disciplina 004.1
Genere/Forma Electronic books
ISBN 0521860563
Classificazione 54.51
33.23
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-008591090
[Le Bellac, Michel]  
Materiale a stampa
Lo trovi qui: Duke University
Application and Theory of Petri Nets 1996 [electronic resource] : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings / edited by Jonathan Billington, Wolfgang Reisig
Application and Theory of Petri Nets 1996 [electronic resource] : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings / edited by Jonathan Billington, Wolfgang Reisig
Estensione 1 online resource : v.: digital.
Disciplina 004.0151
Accesso persona Billington, Jonathan
Reisig, Wolfgang, 1950-
Genere/Forma Congressen (vorm)
Conference proceedings
Electronic books
ISBN 9783540685050
3540685057
3540613633
9783540613633
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004390245
Materiale a stampa
Lo trovi qui: New York University
Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised selected papers / Mirco Tribastone, Stephen Gilmore (eds.).
Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised selected papers / Mirco Tribastone, Stephen Gilmore (eds.).
Creatore [EPEW (Workshop) (9th : 2012 : Munich, Germany)]
Estensione 1 online resource.
Disciplina 004.2/4
Accesso persona Tribastone, Mirco
Gilmore, Stephen, 1962-
Accesso convegno UK Performance Engineering Workshop (28th : 2012 : Edinburgh, Scotland)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer system performance
Software engineering
Computer simulation
System Performance and Evaluation
Simulation and Modeling
ISBN 9783642367816
364236781X
3642367801
9783642367809
Classificazione 54.33
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto EPEW Keynote -- Trading Power Consumption against Performance by Reserving Blocks of Servers / Isi Mitrani -- EPEW Regular Papers -- Operational Semantics for Product-Form Solution / Maria Grazia Vigliotti -- Moment Closures for Performance Models with Highly Non-linear Rates / Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley -- Scale-Freeness of SPA Models with Weighted Immediate Actions / Johann Schuster, Markus Siegle -- Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems / Qais Noorshams, Samuel Kounev, Ralf Reussner -- Tradeoff between Accuracy and Efficiency in the Time-Parallel Simulation of Monotone Systems / J.M. Fourneau, F. Quessette -- Compositional Approximate Markov Chain Aggregation for PEPA Models / Dimitrios Milios, Stephen Gilmore -- A Path Connection Availability Model for MANETs with Random Waypoint Mobility / Osama Younes, Nigel Thomas -- UKPEW Keynote -- Formal Performance Modelling: From Protocols to People / Nigel Thomas, Michael Harrison, Yishi Zhao, Xiao Chen -- UKPEW Regular Papers -- SRN Models for Analysis of Multihop Wireless Ad Hoc Networks / Osama Younes, Nigel Thomas -- Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation / Alireza Pourranjbar, Jane Hillston, Luca Bortolussi -- PCTMC Models of Wireless Sensor Network Protocols / Marcel C. Guenther, Jeremy T. Bradley -- A Novel Approach to Energy Efficient Content Distribution with BitTorrent / Matthew Forshaw, Nigel Thomas -- Performance Modelling of Magnetohydrodynamics Codes / R.F. Bird, S.A. Wright, D.A. Beckingsale, S.A. Jarvis -- Optimisation of Patch Distribution Strategies for AMR Applications / D.A. Beckingsale, O.F.J. Perks, W.P. Gaudin, J.A. Herdman, S.A. Jarvis -- Energy Consumption in the Office / Anton Stefanek, Uli Harder, Jeremy T. Bradley -- On the (Page) Ranking of Professional Tennis Players / Nicholas Dingle, William Knottenbelt, Demetris Spanias -- UKPEW Poster -- Towards a Volunteer Cloud Architecture / Abdulelah Alwabel, Robert Walters, Gary Wills.
Record Nr. NYU-004390467
[EPEW (Workshop) (9th : 2012 : Munich, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
The reasoned schemer / Daniel P. Friedman, William E. Byrd, Oleg Kiselyov ; drawings by Duane Bibby
The reasoned schemer / Daniel P. Friedman, William E. Byrd, Oleg Kiselyov ; drawings by Duane Bibby
Creatore [Friedman, Daniel P.]
Estensione 1 online resource (x, 169 pages) : illustrations
Disciplina 005.13/3
Accesso persona Byrd, William E.
Kiselyov, Oleg
Genere/Forma Electronic books
Soggetto non controllato COMPUTER SCIENCE/Programming Languages
ISBN 0262256177
9780262256179
0262562146
9780262562140
Classificazione 54.10
DAT 368f
ST 250 L34
ST 250
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Playthings -- 2. Teaching old toys new tricks -- 3. Seeing old friends in new ways -- 4. Members only -- 5. Double your fun -- 6. The fun never ends ... -- 7. A bit too much -- 8. Just a bit more -- 9. Under the hood -- 10. Thin ice -- Connecting the wires -- Welcome to the club.
Record Nr. NYU-006915289
[Friedman, Daniel P.]  
Materiale a stampa
Lo trovi qui: New York University
From logic to logic programming / Kees Doets
From logic to logic programming / Kees Doets
Creatore [Doets, Kees]
Estensione 1 online resource (xii, 214 pages) : illustrations.
Disciplina 005.1
Genere/Forma Electronic books
Soggetto non controllato COMPUTER SCIENCE/Artificial Intelligence
ISBN 0262288478
9780262288477
0262041421
9780262041423
Classificazione 31.10
54.10
CC 2600
DAT 540f
DAT 706f
ST 230
ST 245
*68N17
54.51
68-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Preliminaries. 1.1. Mathematical Induction. 1.2. Trees. 1.3. Multisets. 1.4. Ordinals and Cardinals -- 2. Propositional Logic. 2.1. Syntax. 2.2. Semantics. 2.3. Conjunctive Normal Form. 2.4. Resolution -- 3. First-order Logic. 3.1. Introduction. 3.2. Syntax. 3.3. Semantics. 3.4. Quantifier-free Sentences. 3.5. Universal Sentences. 3.6. Prenex and Skolem Forms. 3.7. Resolution: The Unrestricted Version. 3.8. Unification. 3.9. Resolution -- 4. Program-definability. 4.1. Programs. 4.2. The Least Herbrand Model. 4.3. Fixed Points. 4.4. Hierarchies. 4.5. Definability. 4.6. Representing Domains as Herbrand Universes -- 5. Linear Resolution. 5.1. Preliminaries. 5.2. Unrestricted Linear Resolution. 5.3. Ground Completeness. 5.4. Linear Resolution. 5.5. SLD-Resolution -- 6. Infinite Derivations. 6.1. Negative Information. 6.2. Non-standard Algebras. 6.3. Resolution over Non-standard Algebras. 6.4. Realization Trees. 6.5. The Interplay of SLD-trees and Realization Trees -- 7. Computability. 7.1. Preliminaries.
7.2. Computability of Recursive Functions. 7.3. Complexity of T[subscript p][actual symbol not reproducible] -- 8. Negation. 8.1. Introduction. 8.2. Negation Implemented: SLDNF. 8.3. 3-Valued Models. 8.4. 3-Valued Consequence Operator. 8.5. Soundness. 8.6. Saturation. 8.7. Completeness for SLDNF.
Record Nr. NYU-006915307
[Doets, Kees]  
Materiale a stampa
Lo trovi qui: New York University
Journal on data semantics XII / Stefano Spaccapietra (Ed.).
Journal on data semantics XII / Stefano Spaccapietra (Ed.).
Estensione 1 online resource.
Disciplina 005.131
Accesso persona Spaccapietra, S.
Genere/Forma Electronic books
ISBN 9783642006852
364200685X
3642006841
9783642006845
Classificazione 54.10
54.53
54.64
TP311. 131
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SECCO : On building semantic links in peer-to-peer networks / Giuseppe Pirro, Massimo Ruffolo, and Domenico Talia -- Towards a scalable query rewriting algorithm in presence of value constraints / H. Jaudoin, F. Flouvat, J.-M. Petit, and F. Toumani -- Combining a logical and a numerical method for data reconciliation / Fatiha Sais, Nathalie Pernelle, and Marie-Christine Rousset -- Tightly coupled probabilistic description logic programs for the semantic web / Andrea Cali [and others] -- Intensional first-order logic for P2P database systems / Zoran Majkic -- Multi-faceted visualisation of worklists / Ross Brown and Hye-young Paik.
Record Nr. NYU-004355404
Materiale a stampa
Lo trovi qui: New York University
Applied algebra, algebraic algorithms, and error-correcting codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings / L. Huguet, A. Poli (eds.).
Applied algebra, algebraic algorithms, and error-correcting codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings / L. Huguet, A. Poli (eds.).
Creatore [AAECC-5 (1987 : Menorca, Spain)]
Estensione 1 online resource (417 pages) : illustrations.
Disciplina 005.7/2
Accesso persona Huguet, L. (Llorenç), 1953-
Poli, Alain, 1939-
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540461500
3540461507
0387510826
9780387510828
3540510826
9783540510826
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004356237
[AAECC-5 (1987 : Menorca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University