海量图书期刊资源,随时随地畅享阅读乐趣
Lecture Notes in Computer Science 2023 Digital Document:Systems and PrinciplesPeter King · Springer-Verlag · 2004
[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming ||Milano, Michela · 2012
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9036 ||Focardi, Riccardo; Myers, Andrew · 2015
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10204 ||Maffei, Matteo; Ryan, Mark · 2017
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 7796 ||Basin, David; Mitchell, John C. · 2013
[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 ||Nadathur, Gopalan · 1999
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9635 ||Piessens, Frank; Viganò, Luca · 2016
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursionMoggi, Eugenio; Rosolini, Giuseppe · 1997
Constraint relaxation may be perfectUgo Montanari; Francesca Rossi · 1991
PrefaceUgo Montanari; Francesca Rossi · 1997
Constraint Solving and Programming: What Next?Ugo Montanari; Francesca Rossi · 1997
Contextual netsUgo Montanari, Francesca Rossi · 1995
Soft concurrent constraint programmingBistarelli, Stefano; Montanari, Ugo; Rossi, Francesca · ACM Transactions on Computational Logic · 2006
An interactive semantics of logic programmingBruni, Roberto; Montanari, Ugo; Rossi, Francesca · Theory and Practice of Logic Programming · 2001
Semiring-based constraint satisfaction and optimizationBistarelli, Stefano; Montanari, Ugo; Rossi, Francesca · Journal of the ACM · 1997
An abstract machine for concurrent modular systems: CHARMAndrea Corradini; Ugo Montanari; Francesca Rossi · 1994