登入選單
Google圖書搜尋
Fundamentals of Software Engineering
作者
Carlo Ghezzi / Mehdi Jazayeri / Dino Mandrioli
出版Pearson, 2003
ISBN
UCSD:31822033253576
主題
Software
Theoretical Foundations of Computer Science
作者
Dino Mandrioli / Carlo Ghezzi
出版1987
ISBN
0471859184 / 9780471859185
主題
Computer science
Modeling Time in Computing
作者
Carlo A. Furia / Dino Mandrioli / Angelo Morzenti / Matteo Rossi
出版Springer Science & Business Media, 2012-10-19
ISBN
9783642323317 / 3642323316
主題
Computers
Mathematical Logic for Computer Science
作者
Paola Spoletini / Dino Mandrioli
出版Società Editrice Esculapio, 2020-07-01
ISBN
9788835861812 / 8835861810
主題
Mathematics
Mathematical Logic for Computer Science
作者
Dino Mandrioli / Paola Spoletini
出版Società Editrice Esculapio, 2010-02-01
ISBN
9788874883738 / 8874883730
主題
Mathematics
DRAGOON, an Object Oriented Notation for Reusable ...
作者
M. Calovini / C. Ghezzi / Dino Mandrioli
出版1989
ISBN
OCLC:897681034
A General Way to Put Time in Petri Nets
作者
C. Ghezzi / Dino Mandrioli / S. Morasca
出版1988
ISBN
OCLC:897682864
The Art and Craft of Computing
作者
Stefano Ceri / Dino Mandrioli / Licia Sbattella
出版Addison Wesley Publishing Company, 1998
ISBN
UOM:39015039908150
主題
Computers
A Model Parametric Real-time Logic
作者
A. Morzenti / Dino Mandrioli / C. Ghezzi
出版1990
ISBN
OCLC:897675534
Petri Nets and Commutative Grammars
作者
S. Crespi Reghizzi / Dino Mandrioli
出版1974
ISBN
OCLC:897762296
QRT FIFO Automata
作者
A. Cherubini / C. Citrini / Dino Mandrioli
出版1987
ISBN
OCLC:897699863
Petri Nets as a Support to Symbolic Execution of C...
作者
Dino Mandrioli / Mauro Pezze
出版1987
ISBN
OCLC:931070719
Formal Data Flow Diagrams
作者
A. Fuggetta / C. Ghezzi / Dino Mandrioli
出版1988
ISBN
OCLC:897705335
On Electicism in Specifications: a Case Study Cent...
作者
C. Ghezzi / Dino Mandrioli
出版1987
ISBN
OCLC:897699853
Generative Programming
作者
Carlo Ghezzi / Mehdi Jazayeri / Dino Mandrioli
出版2003
ISBN
OCLC:799161782
Esercizi di Informatica Teorica
作者
Dino Mandrioli / Luigi Lavazza / Angelo Morzenti / P. San Pietro / Paola Spoletini
出版Società Editrice Esculapio, 2020-03-01
ISBN
9788835394617 / 8835394619
主題
Computers
Formal Verification of Realtime Systems in ASTRAL
作者
Alberto Coen-Porisini / Richard A. Kemmerer / Dino Mandrioli
出版1992
ISBN
OCLC:30429881
主題
Real-time data processing
软件工程基础
作者
Ghezzi, Carlo·盖齐 / Jazayeridi, Mehdi·扎查耶瑞 / Mandrioli, Dino·曼德瑞利
出版2003
ISBN
7302072027 / 9787302072027
主題
Software engineering
Informatica teorica
作者
Dino Mandrioli / Paola Spoletini
出版2011
ISBN
8825173652 / 9788825173659
主題
Computers
Modeling Time in Computing
作者
Carlo A. Furia / Dino Mandrioli / Angelo Morzenti / Matteo Rossi
出版Springer Science & Business Media, 2012-10-19
ISBN
9783642323317 / 3642323316
主題
Computers
Mathematical Logic for Computer Science
作者
Paola Spoletini / Dino Mandrioli
出版Società Editrice Esculapio, 2020-07-01
ISBN
9788835861812 / 8835861810
主題
Mathematics
Ingegneria del software
作者
Carlo Ghezzi / Mehdi Jazayeri / Dino Mandrioli
出版Pearson Italia S.p.a., 2004
ISBN
8871922042 / 9788871922041
主題
Computers
Informatica teorica
作者
Carlo Ghezzi / Dino Mandrioli
出版1989
ISBN
8825172419 / 9788825172416
主題
Computers
Informatica: istituzioni
作者
Stefano Ceri / Dino Mandrioli / Licia Sbattella
出版McGraw-Hill Education, 1994
ISBN
8838607036 / 9788838607035
主題
Computers
Elementi di informatica
作者
Dino Mandrioli
出版McGraw-Hill Education, 1988
ISBN
8838606366 / 9788838606366
主題
Computers
Informatica: arte e mestiere
作者
Dino Mandrioli
出版McGraw-Hill Education, 2008
ISBN
8838664293 / 9788838664298
主題
Computers
Studi sul delitto civile
作者
Dino Mandrioli
出版1918
ISBN
OCLC:651336994
The Art and Craft of Computing
作者
Stefano Ceri / Dino Mandrioli / Licia Sbattella
出版Addison Wesley Publishing Company, 1998
ISBN
UOM:39015047114221
主題
Computers
La Nozione della colpa nelle cosidette attività le...
作者
Dino Mandrioli
ISBN
OCLC:800663798
Fondamenti di informatica
作者
Flavio De Paoli / Dino Mandrioli
出版McGraw-Hill Education, 1995
ISBN
8838607206 / 9788838607202
主題
Computers