Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: %22Italy%22
Language
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
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
12
of
12
Search:
'%22Italy%22'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Static Analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
“
... was held in Venice,
Italy
, on
22
{24 September 1999. The previous SAS conferences were held in Namur...
”
Read Now
2
Object-Oriented Methodologies and Systems : International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
“
... Methodologies and Systems (ISOOMS '94), held in Palermo,
Italy
in September 1994 in conjunction with the AICA...
”
Read Now
3
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
Published 2000
Springer Berlin Heidelberg
“
... synthesis and transformation (LOPSTR’99) which was held in Venice (
Italy
), September
22
-24, 1999...
”
Read Now
4
Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
“
...`93), held in Padova,
Italy
, in September 1993. The objective of the international workshop series WSA...
”
Read Now
5
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM...
Published 2003
Springer Berlin Heidelberg
“
..., Communication and Software Systems, SFM 2003, held in Bertinoro,
Italy
, in September 2003. The book is ideally...
”
Read Now
6
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Com...
Published 2000
Springer US
Table of Contents:
“
... Definition --
22
Implementing CCS in Maude -- 23. From Refutation to Verification -- 24. Process Algebraic...
”
Read Now
7
Human and Machine Perception 2 : Emergence, Attention, and Creativity
Published 1999
Springer US
Table of Contents:
“
... Perception and Creativity Mechanisms -- Panel Summary -Creativity in
22
Questions: What’s the Catch...
”
Read Now
8
Software Architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
“
... (Australia, B- zil, Canada, Chile, Finland, France, Germany,
Italy
, Japan, Korea, The Netherlands, Spain...
”
Read Now
9
Reliability and Optimization of Structural Systems : Proceedings of the sixth IFIP WG7.5 working conference on reliability and optimization of structural systems 1994
Published 1995
Springer US
Table of Contents:
“
... invariance on stochastic materials design of fibrous composite laminates --
22
Assessment of global...
”
Read Now
10
ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
“
.... The
22
papers in these proceedings were selected from 133 papers submitted from 26 different countries...
”
Read Now
11
Visual Database Systems 4 : IFIP TC2 / WG2.6 Fourth Working Conference on Visual Database Systems 4 (VDB4) 27–29 May 1998, L’Aquila, Italy
Published 1998
Springer US
Table of Contents:
“
... matching for subimage queries of arbitrary size --
22
Effective image retrieval supporting complex...
”
Read Now
12
Using Toolpack Software Tools : Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17–21 November 1986
Published 1989
Springer Netherlands
Table of Contents:
“
.... The Mailbox Model --
2.2
.The Front-end Model -- 3. The Interface Software -- 3.1. The Engine TSOBOX -- 3.2...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
004 - Data processing & computer science
1
Language
English
12
Collection
Springer Book Archives -2004
Author
File, Gilberto
2
Augusti, Guiliano
1
Bernardo, Marco
1
Bertino, Elisa
1
Bolognesi, Tommaso
1
Borri, Antonio
1
more ...
Bossi, Annalisa
1
Cantoni, Virginio
1
Cortesi, Agostino
1
Cousot, Patrick
1
Falaschi, Moreno
1
Fuggetta, Alfonso
1
Inverardi, Paola
1
Ioannidis, Yannis
1
Klas, Wolfgang
1
Lamsweerde, Axel van
1
Latella, Diego
1
Morrison, Ron
1
Oquendo, Flavio
1
Pollicini, A.A.
1
Rackwitz, Rudiger
1
Rauzy, Antoine
1
Setti, Alessandra
1
Tegolo, Domenico
1
Urban, Susan
1
Warboys, Brian
1
di Gesù, Vito
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%2522Italy%2522&type=AllFields
Send by Email
×
Loading...