Foundations of software science and computational structures 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
BICS 2008 : proceedings of the 1st international conference : bio-inspired computational methods used for solving difficult problems : development of intelligent and complex systems : Tirgu Mures, Romania, 5-7 November 2008 /Publisher: Melville, N.Y. : American Institute of Physics,
Date: 2009. This title can be found in 1 Iowa libraries.
Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
System modeling and optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, revised selected papers /Format: [electronic resource] :
Publisher: Heidelberg : Springer-Verlag,
Date: c2009. This title can be found in 1 Iowa libraries.
Foundations of software science and computational structures 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Multibody dynamics : computational methods and applications /Publisher: [London] : [London] : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Statistical network analysis : models, issues, and new directions : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006 : revised selected papers /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Computer aided systems theory-- EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Statistical network analysis models, issues, and new directions : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Proceedings of the International Symposium on Topological Aspects of Critical Systems and Networks, Sapporo, Japan, 13-14 February 2006 /Publisher: Hackensack, NJ : World Scientific,
Date: c2007. This title can be found in 1 Iowa libraries.
Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /Publisher: New York : New York : Springer,
Date: 2007. This title can be found in 1 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.
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /Publisher: New York : New York : Springer,
Date: c2006. This title can be found in 1 Iowa libraries.
WATERMATEX 2004 : selected proceedings of the 6th IWA International Symposium on Systems Analysis and Integrated Assessment (WATERMATEX 2004) held in Beijing China, 3-5 November 2004 /Publisher: London : IWA Publishing,
Date: c2006. This title can be found in 1 Iowa libraries.
Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2006. 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.