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.
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 | |
