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.
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn, eds.
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn, eds.
Creatore [Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland)]
Estensione 1 online resource (ix, 541 pages) : illustrations.
Accesso persona Pacholski, Leszek
Tiuryn, Jerzy
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540494041
3540494049
3540600175
9783540600176
0387600175
9780387600178
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Subtyping with Singleton Types / David Aspinall -- A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects / Viviana Bono and Luigi Liquori -- The Girard Translation Extended with Recursion / Torben Brauner -- Decidability of Higher-Order Subtyping with Intersection Types / Adriana B. Compagnoni -- A [lambda]-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure / Hugo Herbelin -- Usability: Formalising (un)definedness in Typed Lambda Calculus / Jan Kuper -- Lambda Representation of Operations Between Different Term Algebras / Marek Zaionc -- Semi-Unification and Generalizations of a Particularly Simple Form / Matthias Baaz and Gernot Salzer -- A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models / Nick Benton -- Cut Free Formalization of Logic with Finitely Many Variables. Part I / Lev Gordeev -- How to Lie without Being (easily) Convicted and the Lengths of Proofs in Propositional Calculus / Pavel Pudlak and Samuel R. Buss.
Record Nr. UCHICAGO-11075142
[Workshop on Computer Science Logic (8th : 1994 : Kazimierz Dolny, Poland)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Approximation and online algorithms : second international workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004 : revised selected papers / Giuseppe Persiano, Roberto Solis-Oba (eds.).
Approximation and online algorithms : second international workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004 : revised selected papers / Giuseppe Persiano, Roberto Solis-Oba (eds.).
Creatore [WAOA 2004 (2004 : Bergen, Norway)]
Estensione 1 online resource (viii, 294 pages) : illustrations.
Accesso persona Persiano, Giuseppe
Solis-Oba, Roberto
Genere/Forma Electronic books
Conference papers and proceedings
Kongress
ISBN 9783540318330
354031833X
354024574X
9783540245742
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Online Packet Switching -- Approximation Algorithms for Mixed Fractional Packing and Covering Problems -- Regular Papers -- Minimum Sum Multicoloring on the Edges of Planar Graphs and Partial k-Trees -- Online Bin Packing with Resource Augmentation -- A PTAS for Delay Minimization in Establishing Wireless Conference Calls -- This Side Up! -- Approximation Algorithm for Directed Multicuts -- Improved Bounds for Sum Multicoloring and Scheduling Dependent Jobs with Minsum Criteria -- Approximation Algorithms for Spreading Points -- More Powerful and Simpler Cost-Sharing Methods -- Approximation Schemes for Deal Splitting and Covering Integer Programs with Multiplicity Constraints -- Priority Algorithms for Graph Optimization Problems -- Pricing Network Edges to Cross a River -- Submodular Integer Cover and Its Application to Production Planning -- Stochastic Online Scheduling on Parallel Machines -- A -Approximation Algorithm for Biconnecting a Graph with a Given Hamiltonian Path -- Order-Preserving Transformations and Greedy-Like Algorithms -- Off-line Admission Control for Advance Reservations in Star Networks -- Joint Base Station Scheduling -- Universal Bufferless Routing -- Strong Colorings of Hypergraphs -- Deterministic Monotone Algorithms for Scheduling on Related Machines -- Better Bounds for Minimizing SONET ADMs.
Record Nr. UCHICAGO-11068262
[WAOA 2004 (2004 : Bergen, Norway)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Structural information and communication complexity : 12th international colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings / Andrzej Pelc, Michel Raynal (eds.).
Structural information and communication complexity : 12th international colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings / Andrzej Pelc, Michel Raynal (eds.).
Creatore [Colloquium on Structural Information and Communication Complexity (12th : 2005 : Le Mont-Saint-Michel, France)]
Estensione 1 online resource (x, 322 pages) : illustrations.
Accesso persona Pelc, Andrzej
Raynal, M. (Michel)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540320739
3540320733
3540260528
9783540260523
Classificazione 54.10
TP393-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On designing truthful mechanisms for online scheduling / Vincenzo Auletta -- On private computation in incomplete networks / Amos Beimel -- Traffic grooming on the path Jean-Claude Bermond, Laurent Braud, David Coudert -- Range augmentation problems in static ad-hoc wireless networks / Davide Bilò, Guido Proietti -- On the approximability of the L(h; k)-labelling problem on bipartite graphs / Tiziana Calamoneri, Paola Vocca -- A tight bound for online coloring of disk graphs / Ioannis Caragiannis -- Divide and conquer is almost optimal for the bounded-hop MST problem on random Euclidean instances / Andrea E.F. Clementi, Miriam Di Ianni, Angelo Monti -- Distributed exploration of an unknown graph / Shantanu Das, Paola Flocchini, Amiya Nayak -- Two absolute bounds for distributed bit complexity / Yefim Dinitz, Noam Solomon -- Finding short right-hand-on-the-wall walks in graphs / Stefan Dobrev, Jesper Jansson, Kunihiko Sadakane -- Space lower bounds for graph exploration via reduced automata / Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum -- Communications in unknown networks: preserving the secret of topology / Markus Hinkelmann, Andreas Jakoby -- An improved algorithm for adaptive condition-based consensus / Taisuke Izumi, Toshimitsu Masuzawa -- Biangular circle formation by asynchronous mobile robots / Branislav Katreniak -- Hardness and approximation results for black hole search in arbitrary graphs / Ralf Klasing, Euripides Markou, Tomasz Radzik -- On semi-perfect 1-factorizations / Rastislav Královic, Richard Královic -- Free-riders in Steiner tree cost-sharing games / Paolo Penna, Carmine Ventre -- On the feasibility of gathering by autonomous mobile robots / Giuseppe Prencipe -- Majority and unanimity in synchronous networks with ubiquitous dynamic faults / Nicola Santoro, Peter Widmayer -- Minimizing the number of ADMs in SONET rings with maximum throughput / Mordechai Shalom, Shmuel Zaks -- Optimal gossiping in square meshes in all-port mode and with short packets / Rui Wang, Francis C.M. Lau -- Geometric routing without geometry / Mirjam Wattenhofer, Roger Wattenhofer, Peter Widmayer.
Record Nr. UCHICAGO-11068274
[Colloquium on Structural Information and Communication Complexity (12th : 2005 : Le Mont-Saint-Michel, France)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / Chandra Chekuri [and others] (eds.).
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / Chandra Chekuri [and others] (eds.).
Creatore [International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (8th : 2005 : Berkeley, Calif.)]
Estensione 1 online resource (xi, 493 pages) : illustrations.
Accesso persona Chekuri, Chandra
Accesso convegno International Workshop on Randomization and Computation (9th : 2005 : Berkeley, Calif.)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540318743
3540318747
3540282394
9783540282396
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11068505
[International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (8th : 2005 : Berkeley, Calif.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Experimental methods for the analysis of optimization algorithms [electronic resource] / Thomas Bartz-Beielstein ... [et al.], editors
Experimental methods for the analysis of optimization algorithms [electronic resource] / Thomas Bartz-Beielstein ... [et al.], editors
Estensione xxii, 457 p. : ill. ; 24 cm.
Disciplina 519.6
Accesso persona Bartz-Beielstein, Thomas
ISBN 3642025382 (electronic bk.)
9783642025389 (electronic bk.)
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-4860432
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Modular algorithms in symbolic summation and symbolic integration / Jürgen Gerhard
Modular algorithms in symbolic summation and symbolic integration / Jürgen Gerhard
Creatore [Gerhard, Jürgen, 1967-]
Estensione 1 online resource (xvi, 224 pages) : illustrations.
Disciplina 005.1
ISBN 3540240616
9783540240617
3540301372
9783540301370
Classificazione 54.10
54.71
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7943005
[Gerhard, Jürgen, 1967-]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings / Jürgen Dix [and others] (eds.).
Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings / Jürgen Dix [and others] (eds.).
Estensione 1 online resource (xiv, 255 pages) : illustrations.
Disciplina 006.3
Accesso persona Dix, J. (Jürgen), 1961-
ISBN 9783642168673
3642168671
9783642149771
3642149774
9783642027338
3642027334
9783642149764
3642149766
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7960759
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.).
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.).
Estensione 1 online resource (xii, 514 pages) : illustrations.
Disciplina 004
Accesso persona Brauer, Wilfried
Freksa, C.
Jantzen, Matthias, 1948-
Valk, R. (Rüdiger)
ISBN 9783540696407
3540696407
354063746X
9783540637462
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7964266
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).
Creatore [CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.)]
Estensione 1 online resource (xi, 312 pages) : illustrations.
Disciplina 004
Accesso persona Ibarra, Oscar H.
Dang, Zhe, 1967-
ISBN 1417564776
9781417564774
9783540450894
3540450890
3540405615
9783540405610
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7965887
[CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
CAAP '81 [elektronische middelen] : trees in algebra and programming, 6th Colloquium, Genoa, March 5-7, 1981, proceedings / ed. by E. Astesiano and C. Böhm
CAAP '81 [elektronische middelen] : trees in algebra and programming, 6th Colloquium, Genoa, March 5-7, 1981, proceedings / ed. by E. Astesiano and C. Böhm
Estensione 1 online resource (VI, 364 p.)
Disciplina 005.1
Accesso persona Astesiano, E. (Egidio), 1939-
Böhm, C. (Corrado), 1923-
Accesso convegno Colloquium on Trees in Algebra and Programming, CAAP (6 : 1981 : Genoa)
ISBN 3540108289
9783540108283
9783540387169
3540387161
Classificazione 54.10
31.12
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7966603
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium