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.
Proceedings of the Workshop on Physics and Computation [electronic resource]. October 2-4, 1992, Dallas, Texas / Workshop on Physics and Computation ; sponsored by Dallas Chapter IEEE Computer Society and Texas Instruments, Inc.
Proceedings of the Workshop on Physics and Computation [electronic resource]. October 2-4, 1992, Dallas, Texas / Workshop on Physics and Computation ; sponsored by Dallas Chapter IEEE Computer Society and Texas Instruments, Inc.
Creatore [Workshop on Physics and Computation (1992 : Dallas, Tex.)]
Estensione x, 333 p. : ill.
Accesso ente IEEE Xplore (Online service)
IEEE Computer Society.Dallas Chapter
Texas Instruments Incorporated
ISBN 0818634200
9780818634208
Classificazione 54.10
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9945814783503681
[Workshop on Physics and Computation (1992 : Dallas, Tex.)]  
Risorse elettroniche
Lo trovi qui: University of Pennsylvania
Typed lambda calculi and applications [electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / Luke Ong (ed.).
Typed lambda calculi and applications [electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / Luke Ong (ed.).
Creatore [International Conference on Typed Lambda Calculi and Applications (10th : 2011 : Novi Sad, Serbia)]
Estensione 1 online resource (xii, 244 p.) : ill
Disciplina 511.3/5
Accesso persona Ong, Luke
Genere/Forma Electronic books
ISBN 9783642216916 (electronic bk.)
3642216919 (electronic bk.)
3642216900
9783642216909
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960085783503681
[International Conference on Typed Lambda Calculi and Applications (10th : 2011 : Novi Sad, Serbia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings / edited by Andrew D. Gordon
Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings / edited by Andrew D. Gordon
Creatore [Gordon, Andrew D.]
Estensione 1 online resource (xii, 441 pages also available online.).
Disciplina 005.1015113
ISBN 9783540008972
3540008977
9783540365761
3540365761
Classificazione 54.50
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-8011071
[Gordon, Andrew D.]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
An ontological and epistemological perspective of fuzzy set theory / I. Burhan Türkş̜en
An ontological and epistemological perspective of fuzzy set theory / I. Burhan Türkş̜en
Creatore [Turksen, I. Burhan, 1937-]
Edizione [1st ed.]
Estensione xxvii, 514 p. : ill. ; 25 cm.
Disciplina 511.3223
ISBN 0444518916 (hbk.)
Classificazione 31.10
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-3810226
[Turksen, I. Burhan, 1937-]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Advances in Petri Nets, 1993 / Grzegorz Rozenberg (ed.).
Advances in Petri Nets, 1993 / Grzegorz Rozenberg (ed.).
Estensione 1 online resource (457 pages) : illustrations.
Disciplina 511.35
Accesso persona Rozenberg, Grzegorz
Accesso convegno International Conference on Applications and Theory of Petri Nets (12th : 1993 : Gjern, Denmark)
ISBN 9783540476313
3540476318
9783540566892
0387566899
9780387566894
3540566899
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7970311
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Specification and compositional verification of real-time systems / J. Hooman
Specification and compositional verification of real-time systems / J. Hooman
Creatore [Hooman, J. (Jozef), 1955-]
Estensione 1 online resource (viii, 235 pages).
Disciplina 004/.33
ISBN 9783540466024
3540466029
0387549471
9780387549477
3540549471
9783540549475
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7970583
[Hooman, J. (Jozef), 1955-]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Fundamentals of computation theory : 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik (ed.).
Fundamentals of computation theory : 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik (ed.).
Creatore [FCT '93 (1993 : Szeged, Hungary)]
Estensione 1 online resource (ix, 471 pages) : illustrations.
Disciplina 004
Accesso persona Ésik, Zoltán, 1951-
ISBN 9783540479239
3540479236
3540571639
9783540571636
9780387571638
0387571639
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7971230
[FCT '93 (1993 : Szeged, Hungary)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Complementary definitions of programming language semantics / James E. Donahue
Complementary definitions of programming language semantics / James E. Donahue
Creatore [Donahue, James E. (James Edward), 1947-]
Estensione 1 online resource (172 pages).
Disciplina 001.6/424
ISBN 9783540381600
3540381600
038707628X
9780387076287
354007628X
9783540076285
Classificazione 54.10
QH 500
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7972750
[Donahue, James E. (James Edward), 1947-]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings / Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.).
Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings / Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.).
Creatore [Conference on Integer Programming and Combinatorial Optimization (6th : 1998 : Houston, Tex.)]
Estensione 1 online resource (ix, 435 pages) : illustrations.
Disciplina 519.7/7
Accesso persona Bixby, Robert E.
Boyd, E. Andrew
Ríos-Mercado, Roger Z.
ISBN 9783540693468
3540693467
354064590X
9783540645900
Classificazione 54.10
27
MAT 913f
SS 1998
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7982034
[Conference on Integer Programming and Combinatorial Optimization (6th : 1998 : Houston, Tex.)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Frontiers in algorithmics : 4th international workshop, FAW 2010, Wuhan, China, August 11-13, 2010. proceedings / Der-Tasi Lee, Danny Z. Chen, Shi Ying (Eds.).
Frontiers in algorithmics : 4th international workshop, FAW 2010, Wuhan, China, August 11-13, 2010. proceedings / Der-Tasi Lee, Danny Z. Chen, Shi Ying (Eds.).
Creatore [FAW (Workshop) (4th : 2010 : Wuhan, China)]
Estensione 1 online resource (xi, 338 pages) : illustrations (some color).
Disciplina 006.3/1
Accesso persona Lee, Der-Tsai
Chen, Danny Z.
Ying, Shi.
Genere/Forma Congresses
ISBN 3642145523
9783642145520
3642145531
9783642145537
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7960015
[FAW (Workshop) (4th : 2010 : Wuhan, China)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium