登入選單
Google圖書搜尋
出版社 : Università di Milano. Dipartimento di Scienze dell'Informazione總數: gridview
OBJSA nets, definitions
作者
Eugenio Battiston
出版1990
ISBN
OCLC:632861256
Rapporto interno
ISBN
OCLC:729838947
About infinite traces
作者
Paola Bonizzoni / Giancarlo Mauri / Giovanni Pighizzini
出版1990
ISBN
OCLC:632859335
A Question Answering Systems for ENProver
作者
R. Virga
出版1991
ISBN
OCLC:897941337
A Constructive Logic Approach to Database Theory
作者
Pierangelo Miglioli / Ugo Moscato / Mario Ornaghi
出版1991
ISBN
OCLC:897937745
On automata on infinite trees
作者
Paola Bonizzoni / Giancarlo Mauri
出版1990
ISBN
OCLC:632859033
The category of weak pretopologies
作者
Silvio Valentini / Paolo Virgili
出版1991
ISBN
OCLC:633245325
About asynchronous cellular automata
作者
Giovanni Pighizzini
出版1990
ISBN
OCLC:632860690
Generalized Boolean hierarchies and Boolean hierar...
出版1990
ISBN
OCLC:632860077
OBJSA Nets: OBJ and Petri Nets for Specifying Conc...
作者
E. Battiston / F. De Cindio / G. Mauri
出版1990
ISBN
OCLC:897669180
Extending Security Models for Frame Based Systems ...
作者
S. Castano / Giancarlo Martella / P. Samarati
出版1991
ISBN
OCLC:897937252
Universal combination of equational unification al...
作者
Emanuele Ciapessoni / Giancarlo Mauri
出版1990
ISBN
OCLC:632858811
KBLab 1.7
作者
A. Paccanaro
出版1992
ISBN
OCLC:897937593
Una specifica del sistema ascensore con le reti OB...
作者
E. Battiston
出版1990
ISBN
OCLC:897668954
Formal Methods for Software Development
出版1992
ISBN
OCLC:797643788
Concurrent systems as local state transformation a...
作者
Lucia Pomello / Carla Simone
出版1990
ISBN
OCLC:257831024
Automata and neuralworks
出版1991
ISBN
OCLC:633246616
Equational grammars
作者
Andrea Tettamanzi
出版1991
ISBN
OCLC:633245572
Flowshop e TSP
作者
Giancarlo Mauri / Francesco Gardin / Maria Pia Pensini
出版1990
ISBN
OCLC:632858454
Strong separation of the polynomial hierarchy with...
作者
Danilo Bruschi
出版1990
ISBN
OCLC:632859536
Realtà artificiale, una silenziosa rivoluzione cog...
作者
Giovanni Degli Antoni
出版1991
ISBN
OCLC:633244781
Ambienti interattivi per la didattica
作者
Giovanni Degli Antoni
出版1991
ISBN
OCLC:633247353
Lezioni di meccanica del coordinamento
作者
Anathole Holt
出版1991
ISBN
OCLC:633245127
Some error estimates for approximate shape identif...
作者
Giovanni Crosta
出版1990
ISBN
OCLC:632857822
A Functorial Assessment of Bisimulations
作者
Rocco De Nicola / Anna Labella
出版1992
ISBN
OCLC:955079376
Venticinque anni di informatica
作者
Pierpaolo Degano
出版1996
ISBN
OCLC:879020671
Rapporto di ricerca
ISBN
OCLC:955080130
Evolution Equations and Materials with Memory
出版Sapienza Università Editrice, 2011
ISBN
9788895814513 / 8895814517
主題
Architecture
Terra Antartica Reports
出版2003
ISBN
UCSD:31822032683245
主題
Antarctica
QUADERNI DEL DIPARTIMENTO DI SCIENZE POLITICHE VOL...
出版EDUCatt - Ente per il diritto allo studio universitario dell'Università Cattolica, 2012-01-01
ISBN
9788883119750 / 8883119754
主題
Political Science