Showing
1 - 13
results of
13
for search '
Bonsangue, Marcello M.
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Bonsangue, Marcello M.
Showing
1 - 13
results of
13
for search '
Bonsangue, Marcello M.
'
, query time: 0.05s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers edited by Marcello M. Bonsangue.
Published 2014
Other Authors:
“…
Bonsangue, Marcello M
.…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey edited by Marcello M. Bonsangue, Eric Madelaine.
Published 2009
Other Authors:
“…
Bonsangue, Marcello M
.…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Data science and artificial intelligence : first international conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, proceedings Chutiporn Anutariya, Marcello M. Bonsangue, editors.
Published 2023
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 4
4
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen.
Published 2007
Other Authors:
“…
Bonsangue, Marcello M
.…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 edited by Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue.
Published 2012
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published 2008
Other Authors:
“…
Bonsangue, Marcello M
.…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue.
Published 2013
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers edited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel.
Published 2010
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue.
Published 2013
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published 2006
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published 2007
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published 2005
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 13
13
Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published 2004
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Computer logic
Electronic resources (E-books)
Software engineering
Programming languages (Electronic computers)
Operating systems (Computers)
Computer programming
Mathematical logic
Computers
Application software
Artificial intelligence
Computer communication systems
Mathematical statistics