search result

Cover von Foundations of Software Science and Computation Structures
16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7794
Media group: MONOGRAPHIE
Cover von Multidisciplinary Research and Practice for Informations Systems
IFIP WG 8.4, 8.9 / TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20 - 24, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7465
Media group: MONOGRAPHIE
Cover von Foundations of Software Science and Computational Structures
15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 7213
Media group: MONOGRAPHIE
Cover von Fast algorithms for structured matrices
theory and applications : AMS-IMS-SIAM joint summer research conference on fast algorithms in mathematics, computer sicence, and engineering, August 5 - 9, 2001, Mount Holyoke College, South Hadley, Massachusetts
Search for this author
Year: 2003
Publisher: Providence, American Mathematical Society
Series: Contemporary mathematics; 323
Media group: MONOGRAPHIE
Cover von 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
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3921
Media group: MONOGRAPHIE
Cover von Formal methods for distributed system development
FORTE / PSTV 2000 : IFIP TC6 WG6.1 joint international conference on formal description techniques for distributed systems and communication protocols and protocol specification, testing and verification, October 10 - 13, 2000, Pisa, Italy
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Media group: MONOGRAPHIE
Cover von TeX, XML, and digital typography
international conference on TeX, XML, and digital typography, held jointly with the 25th annual meeting of the TeX users group, Xanthi, Greece, August 30 - September 3, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3130
Media group: MONOGRAPHIE
Cover von Learning in school, home and community
ICT for early and elementary education : IFIP TC 3 WG 3.5 international working conference on learning with technologies in school, home and community, June 30 - July 5, 2002, Manchester, United Kingdom
Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: International Federation for Information Processing; 241
Media group: MONOGRAPHIE
Cover von Organizational information systems in the context of globalization
IFIP TC 8 and TC 9 WG 8.2 and WG 9.4 working conference on information systems perspectives and challenges in the context of globalization : June 15 - 17, 2003, Athens, Greece
Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: International Federation for Information Processing; 254
Media group: MONOGRAPHIE
Cover von Feature based procuct life-cycle modelling
IFIP TC5 / WG 5.2 and WG 5.3 conference on feature modelling and advanced design-for-the-life-cycle systems, June 12 - 14, 2001, Valenciennes, France
Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: International Federation for Information Processing; 237
Media group: MONOGRAPHIE
OPEN V 11.1.0.0