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.
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).
Estensione 1 online resource (vi, 448 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Banieqbal, B. (Behnam), 1960-
Barringer, Howard, 1951-
Pnueli, Amir, 1941-2009
Accesso convegno Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
ISBN 9783540468110
3540468110
0387518037
9780387518039
3540518037
9783540518037
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7984284
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Stochastic automata: stability, nondeterminism, and prediction / Ernst-Erich Doberkat
Stochastic automata: stability, nondeterminism, and prediction / Ernst-Erich Doberkat
Creatore [Doberkat, Ernst-Erich]
Estensione 1 online resource (vii, 135 pages)
Disciplina 519.2
ISBN 9783540387220
3540387226
3540108351
9783540108351
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7966602
[Doberkat, Ernst-Erich]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Symposium on the Theory of Numerical Analysis : held in Dundee/Scotland, September 15-23, 1970 / edited by John Ll. Morris
Symposium on the Theory of Numerical Analysis : held in Dundee/Scotland, September 15-23, 1970 / edited by John Ll. Morris
Creatore [Symposium on the Theory of Numerical Analysis (1970 : Dundee, Scotland)]
Estensione 1 online resource (vi, 152 pages).
Disciplina 510.8
Accesso persona Morris, John Ll.
ISBN 9783540365389
3540365389
9783540054221
3540054227
9780387054223
0387054227
Classificazione 54.10
SI 850
19a
31.76
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7969348
[Symposium on the Theory of Numerical Analysis (1970 : Dundee, Scotland)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Algorithms and Data Structures : Third Workshop, WADS '93 Montréal, Canada, August 11-13, 1993 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides
Algorithms and Data Structures : Third Workshop, WADS '93 Montréal, Canada, August 11-13, 1993 Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides
Creatore [WADS '93 (1993 : Montréal, Québec)]
Estensione 1 online resource : v.: digital.
Disciplina 005.7/3
Accesso persona Dehne, F. (Frank), 1960-
Sack, Jörg-Rüdiger
Santoro, Nicola
Whitesides, Sue.
ISBN 9783540479185
354047918X
9783540571551
3540571558
0387571558
9780387571553
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7984655
[WADS '93 (1993 : Montréal, Québec)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Transactions on computational science X : special issue on security in computing, Part I / Marina L. Gavrilova, C.J. Kenneth Tan, Edward David Moreno (eds.).
Transactions on computational science X : special issue on security in computing, Part I / Marina L. Gavrilova, C.J. Kenneth Tan, Edward David Moreno (eds.).
Estensione 1 online resource (xviii, 366 pages) : illustrations.
Disciplina 005.8
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Moreno, Edward David
ISBN 9783642174995
364217499X
3642174981
9783642174988
Classificazione 54.62
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7961317
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Interacting code motion transformations : their impact and their complexity / Oliver Rüthing
Interacting code motion transformations : their impact and their complexity / Oliver Rüthing
Creatore [Rüthing, Oliver]
Estensione 1 online resource (xii, 225 pages) : illustrations.
Disciplina 005.4/53
ISBN 9783540492092
3540492097
3540655107
9783540655107
Classificazione 54.10
54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7964237
[Rüthing, Oliver]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Cellular automata : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings / Stefania Bandini, Bastien Chopard, Marco Tomassini (eds.).
Cellular automata : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings / Stefania Bandini, Bastien Chopard, Marco Tomassini (eds.).
Creatore [International Conference on Cellular Automata for Research and Industry (5th : 2002 : Geneva, Switzerland)]
Estensione 1 online resource (xi, 367 pages) : illustrations.
Disciplina 511.3
Accesso persona Bandini, S. (Stefania), 1956-
Chopard, Bastien, 1959-
Tomassini, Marco, 1949-
ISBN 9783540458302
3540458301
3540443045
9783540443049
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7964804
[International Conference on Cellular Automata for Research and Industry (5th : 2002 : Geneva, Switzerland)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / edited by K.R. Parker, G.A. Rose
Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / edited by K.R. Parker, G.A. Rose
Creatore [IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th : 1991 : Sydney, N.S.W.)]
Estensione 1 online resource (xv, 574 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Parker, K. R. (Ken R.)
Rose, G. A. (Gordon A.)
Genere/Forma Conference papers and proceedings
ISBN 9781483293332
1483293335
0444894020
9780444894021
Classificazione 54.10
DAT 252f
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7731114
[IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th : 1991 : Sydney, N.S.W.)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Energy minimization methods in computer vision and pattern recognition : international workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997: proceedings / Marcello Pelillo, Edwin R. Hancock, eds.
Energy minimization methods in computer vision and pattern recognition : international workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997: proceedings / Marcello Pelillo, Edwin R. Hancock, eds.
Creatore [EMMCVPR'97 (1997 : Venice, Italy)]
Estensione 1 online resource (xii, 548 pages) : illustrations.
Disciplina 006.4/2
Accesso persona Pelillo, Marcello
Hancock, Edwin R.
ISBN 9783540690429
3540690425
3540629092
9783540629092
Classificazione 54.74
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7970956
[EMMCVPR'97 (1997 : Venice, Italy)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Structured programming [electronic resource] / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare
Structured programming [electronic resource] / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare
Creatore [Dahl, Ole-Johan, 1931-]
Estensione 1 online resource (viii, 220 p.) : ill.
Disciplina 001.6/42
Accesso persona Dijkstra, Edsger W., author.
Hoare, C. A. R. (Charles Antony Richard), 1934-author
ISBN 0122005503 (print)
9780122005503 (print)
Classificazione 54.10
54.50
ST 230
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-5422261
[Dahl, Ole-Johan, 1931-]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium