Wired-wireless multimedia networks and services management 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009, proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Business intelligence for the real-time enterprise second international workshop, BIRTE 2008, Auckland, New Zealand, August 24, 2008 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Management of converged multimedia networks and services 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008 ; proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Business intelligence for the real-time enterprises : first international workshop, BIRTE 2006, Seoul, Korea, September 11, 2006 : revised selected papers /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Real-time mobile multimedia services : 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-November 2, 2007 : proceedings /Publisher: Berlin ; Springer,
Date: [2007] This title can be found in 1 Iowa libraries.
Algorithmic methods for railway optimization international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Composition of embedded systems scientific and industrial issues : 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Business intelligence for the real-time enterprises first international workshop, BIRTE 2006, Seoul, Korea, September 11, 2006 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Real-time mobile multimedia services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-November 2, 2007 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 2 Iowa libraries.
System analysis and modeling : language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31-June 2, 2006 : revised selected papers /Publisher: New York : New York : Springer,
Date: c2006. This title can be found in 2 Iowa libraries.
System analysis and modeling language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2006. This title can be found in 1 Iowa libraries.
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /Publisher: New York : New York : Springer,
Date: c2004. This title can be found in 2 Iowa libraries.
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /Publisher: New York : New York : Springer,
Date: c2004. This title can be found in 2 Iowa libraries.
Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers /Publisher: Berlin ; Springer-Verlag,
Date: c2004. This title can be found in 2 Iowa libraries.
Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings /Publisher: New York : New York : Springer,
Date: c2002. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.