本文に飛ぶ

年 〜
年

検索結果 19 件

Algebra and coalgebra in computer science : second international conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings. : CALCO-tools workshop : Aug 2007, Bergen, Norway. (Lecture Notes in Computer Science ; 4624)

Algebra and coalgebra in computer science : second international conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings. : CALCO-tools workshop : Aug 2007, Bergen, Norway. (Lecture Notes in Computer Science ; 4624)
紙図書
Springerc2007.<M17-07-2340>
国立国会図書館
  • 著者標目Mossakowski, Till. Montanari, U. (Ugo) Haveraaen, Magne. CALC...

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)
紙図書
Springerc2009.<M17-10-1908>
国立国会図書館
  • 著者標目... Andrea, 1960- Montanari, U. (Ugo) WADT 2008 (2008 : Pisa...

Concurrency, parallelism, and distribution : hard

Concurrency, parallelism, and distribution : hard
紙図書
edited by H Ehrig, H-J Kreowski, U Montanari and G RozenbergWorld Scientificc1999
全国の図書館
  • 著者標目Ehrig, Hartmut Kreowski, H-J Montanari, U Rozenberg, Grzegorz

Trustworthy global computing : second symposium, TGC 2006 : Lucca, Italy, November 7-9, 2006 : revised selected papers. : 2nd international symposium on trustworthy global computing : Nov 2006, Lucca, Italy. (Lecture Notes in Computer Science ; 4661)

Trustworthy global computing : second symposium, TGC 2006 : Lucca, Italy, November 7-9, 2006 : revised selected papers. : 2nd international symposium on trustworthy global computing : Nov 2006, Lucca, Italy. (Lecture Notes in Computer Science ; 4661)
紙図書
Springerc2007.<M17-08-157>
国立国会図書館
  • 著者標目Montanari, U. (Ugo) Sannella, D. (Donald) ...

Models of computation : pbk

Models of computation : pbk
紙図書
Roberto Bruni, Ugo MontanariSpringerc2017
全国の図書館
  • 著者標目Bruni, Roberto Montanari, U. (Ugo)

Foundations of information technology in the era of network and mobile computing : IFIP 17th world computer congress -- TC1 stream/2nd IFIP international conference on theoretical computer science (TCS 2002) : August 25-30, 2002, Montreal, Quebec, Canada. : IFIP WCC 2002 : Aug 2002, Montreal, Canada. (IFIP ; 96)

Foundations of information technology in the era of network and mobile computing : IFIP 17th world computer congress -- TC1 stream/2nd IFIP international conference on theoretical computer science (TCS 2002) : August 25-30, 2002, Montreal, Quebec, Canada. : IFIP WCC 2002 : Aug 2002, Montreal, Canada. (IFIP ; 96)
紙図書
Kluwer Academic Publishersc2002.<M17-03-3936>
国立国会図書館
  • 著者標目Baeza-Yates, R. (Ricardo) Montanari, U. (Ugo) Santoro, N. (Nicola) ,...

Principles and practice of constraint programming : CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.). (Lecture notes in computer science)

Principles and practice of constraint programming : CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.). (Lecture notes in computer science)
紙図書
Springerc1995.<M15-A9859>
国立国会図書館
  • 著者標目...assis, France) Montanari, U. (Ugo) Rossi, Francesca.

Algebra and coalgebra in computer science : Second International Conference, CALCO 2007 Bergen, Norway, August 20-24, 2007 : proceedings

Algebra and coalgebra in computer science : Second International Conference, CALCO 2007 Bergen, Norway, August 20-24, 2007 : proceedings
紙図書
Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)Springerc2007
全国の図書館
  • 著者標目CALCO Mossakowski, Till Montanari, U. (Ugo) Haveraaen, Magne

Trustworthy global computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers

Trustworthy global computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers
紙図書
Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)Springerc2007
全国の図書館
  • 著者標目...obal Computing Montanari, U. (Ugo) Sannella, Donald Bruni...

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)
紙図書
Springer-Verlagc1987.<M15-A3663>
国立国会図書館
  • 著者標目...A. Nico, 1932- Montanari, U. (Ugo)

Foundations of information technology in the era of network and mobile computing : IFIP 17th World Computer Congress - TC1 Stream /2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25-30, 2002, Montréal, Québec, Canada

Foundations of information technology in the era of network and mobile computing : IFIP 17th World Computer Congress - TC1 Stream /2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25-30, 2002, Montréal, Québec, Canada
紙図書
edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola SantoroKluwer Academicc2002
全国の図書館
  • 著者標目..., R. (Ricardo) Montanari, U. (Ugo) Santoro, Nicola

Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings

Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
紙図書
Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.)Springerc2000
全国の図書館
  • 著者標目...nd Programming Montanari, U. (Ugo) Rolim, José D. P. Welz...

CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings

CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
紙図書
Ugo Montanari, Vladimiro Sassone, (eds.)Springerc1996
全国の図書館
  • 著者標目International Conference on Concurrency Theory Montanari, U. (Ugo) Sassone, Vladimiro

International Symposium on Programming : 5th colloquium, Turin, April 6-8, 1982, proceedings / edited by M. Dezani-Ciancaglini and U. Montanari. (Lecture notes in computer science)

International Symposium on Programming : 5th colloquium, Turin, April 6-8, 1982, proceedings / edited by M. Dezani-Ciancaglini and U. Montanari. (Lecture notes in computer science)
紙図書
Springer-Verlag1982.<M15-A1496>
国立国会図書館
  • 著者標目... (Mariangiola) Montanari, U. (Ugo)

Principles and practice of constraint programming -- CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings

Principles and practice of constraint programming -- CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
紙図書
Ugo Montanari, Francesca Rossi (eds.)Springerc1995
全国の図書館
  • 著者標目...nt Programming Montanari, U. (Ugo) Rossi, Francesca

System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : proceedings : gw : us

System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : proceedings : gw : us
紙図書
A.N. Habermann, U. Montanari (eds.)Springer-Verlagc1987
全国の図書館
  • 著者標目Workshop on Software Factories and Ada Habermann, Arie Nicolass Montanari, U. (Ugo)

International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings : gw : us

International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings : gw : us
紙図書
edited by M. Dezani-Ciancaglini and U. MontanariSpringer-Verlag1982
全国の図書館
  • 著者標目Dezani-Ciancaglini, Mariangiola Montanari, U. (Ugo) International symposiu...

On limit properties in digitization schemes

On limit properties in digitization schemes
紙図書
by Ugo MontanariUniversity of Maryland, Computer Science Center1969
全国の図書館
  • 著者標目Montanari, U. (Ugo)

Separable graphs, planar graphs and web grammars

Separable graphs, planar graphs and web grammars
紙図書
by G. Ugo MontanariUniversity of Maryland, Computer Science Center1969
全国の図書館
  • 著者標目Montanari, U. (Ugo)

検索結果は以上です。

RSS