Gesellschaft für Informatik

42. GI Jahrestagung 2012: Braunschweig

• 
  Ursula Goltz, Marcus A. Magnor, Hans-Jürgen Appelrath, Herbert K. Matthies, Wolf-Tilo Balke, Lars C. Wolf (Eds.): Informatik 2012, 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 16.-21.09.2012, Braunschweig. GI 2012 LNI 208 ISBN 978-3-88579-602-2 [ contents ]

41. GI Jahrestagung 2011: Berlin

• 
  Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider (Eds.): Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings). GI 2011 LNI 192 ISBN 978-88579-286-4-7

40. GI Jahrestagung 2010: Leipzig

• 
  GI 2010 Home Page
• 
  Klaus-Peter Fähnrich, Bogdan Franczyk (Eds.): Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 1, 27.09. - 1.10.2010, Leipzig. GI 2010 LNI 175 ISBN 978-3-88579-269-7 [ contents ]
• 
  Klaus-Peter Fähnrich, Bogdan Franczyk (Eds.): Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2, 27.09. - 1.10.2010, Leipzig. GI 2010 LNI 176 ISBN 978-3-88579-270-3 [ contents ]
• 
  Witold Abramowicz, Rainer Alt, Klaus-Peter Fähnrich, Bogdan Franczyk, Leszek A. Maciaszek (Eds.): INFORMATIK 2010 - Business Process and Service Science - Proceedings of ISSS and BPSC, September 27 - October 1, 2010 in Leipzig, Germany. GI 2010 LNI 177 ISBN 978-3-88579-271-0 [ contents ]

39. GI Jahrestagung 2009: Lübeck

• 
  Stefan Fischer, Erik Maehle, Rüdiger Reischuk (Eds.): Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings. GI 2009 LNI 154 ISBN 978-3-88579-248-2 [ contents ]
• 
  GI 2009 Home Page
• 
  Steffen Hölldobler (Ed.): Ausgezeichnete Informatikdissertationen 2009. GI 2010 LNI D-10 ISBN 978-3-88579-414-1 [ contents ]

38. GI Jahrestagung 2008: München

• 
  Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler (Eds.): INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München. GI 2008 LNI 133 ISBN 978-3-88579-227-7 [ contents ]
• 
  Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler (Eds.): INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München. GI 2008 LNI 134 ISBN 978-3-88579-228-4 [ contents ]
• 
  GI 2008 Home Page
• 
  Dorothea Wagner (Ed.): Ausgezeichnete Informatikdissertationen 2008. GI 2009 LNI D-9 ISBN 978-3-88579-413-4 [ contents ]

37. GI Jahrestagung 2007: Bremen

• 
  Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, Marc Ronthaler (Eds.): INFORMATIK 2007: Informatik trifft Logistik. Band 1. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 24.-27. September 2007 in Bremen. GI 2007 LNI 109 ISBN 978-3-88579-203-1 [ contents ]
• 
  Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, Marc Ronthaler (Eds.): INFORMATIK 2007: Informatik trifft Logistik. Band 2. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 24.-27. September 2007 in Bremen. GI 2007 LNI 110 ISBN 978-3-88579-204-8 [ contents ]
• 
  GI 2007 Home Page

36. GI Jahrestagung 2006: Dresden

• 
  GI 2006 Home Page
• 
  Christian Hochberger, Rüdiger Liskowsky (Eds.): Informatik 2006 - Informatik für Menschen, Band 1, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden. GI 2006 LNI 93 ISBN 978-3-88579-187-4 [ contents ]
• 
  Christian Hochberger, Rüdiger Liskowsky (Eds.): Informatik 2006 - Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden. GI 2006 LNI 94 ISBN 978-3-88579-188-1 [ contents ]

35. GI Jahrestagung 2005: Bonn

• 
  GI 2005 Home Page
• 
  Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (Eds.): INFORMATIK 2005 - Informatik LIVE! Band 1, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005. GI 2005 LNI 67 ISBN 3-88579-396-2 [ contents ]
• 
  Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (Eds.): INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005. GI 2005 LNI 68 ISBN 3-88579-397-0 [ contents ]

34. GI Jahrestagung 2004: Ulm

• 
  GI 2004 Home Page
• 
  Peter Dadam, Manfred Reichert (Eds.): INFORMATIK 2004 - Informatik verbindet, Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. GI 2004 LNI 50 ISBN 3-88579-379-2 [ contents ]
• 
  Peter Dadam, Manfred Reichert (Eds.): INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004. GI 2004 LNI 51 ISBN 3-88579-380-6 [ contents ]

33. GI Jahrestagung 2003: Frankfurt

• 
  Klaus R. Dittrich, Wolfgang König, Andreas Oberweis, Kai Rannenberg, Wolfgang Wahlster (Eds.): INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September - 2. Oktober 2003 in Frankfurt am Main. GI 2003 LNI 34 ISBN 3-88579-363-6 [ contents ]
• 
  Klaus R. Dittrich, Wolfgang König, Andreas Oberweis, Kai Rannenberg, Wolfgang Wahlster (Eds.): INFORMATIK 2003 - Innovative Informatikanwendungen, Band 2, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September - 2. Oktober 2003 in Frankfurt am Main. GI 2003 LNI 35 ISBN 3-88579-364-4 [ contents ]
• 
  Rüdiger Grimm, Hubert B. Keller, Kai Rannenberg (Eds.): INFORMATIK 2003 - Mit Sicherheit Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", 29. September - 2. Oktober 2003 in Frankfurt am Main. GI 2003 LNI 36 ISBN 3-88579-330-X [ contents ]

32. GI Jahrestagung 2002: Dortmund

• 
  Sigrid E. Schubert, Bernd Reusch, Norbert Jesse (Eds.): Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September - 3.Oktober 2002 in Dortmund. GI 2002 LNI 19 ISBN 3-88579-348-2 [ contents ]
• 
  Sigrid E. Schubert, Bernd Reusch, Norbert Jesse (Eds.): Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September - 3.Oktober 2002 in Dortmund, Ergänzungsband. GI 2002 LNI 20 ISBN 3-88579-349-0 [ contents ]

31. GI Jahrestagung 2001: Wien, Österreich

Kurt Bauknecht, Wilfried Brauer, Thomas A. Mück (Eds.): Informatik 2001: Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit, Tagungsband der GI/OCG-Jahrestagung, 25.-28. September 2001, Universität Wien, ISBN 3-85403-157-2
Band 1 - Band 2

Workshop: E-Commerce: Systemunterstuetzung fuer den Umgang mit Daten und Prozessen in vernetzten Anwendungsumgebungen
Workshop: Web-Datenbanken

30. GI Jahrestagung 2000: Berlin

• 
  Informatik 2000 Home Page

Gunter Saake, Kai-Uwe Sattler (Hrsg.): Proceedings GI-Workshop "Internet-Datenbanken", GI Jahrestagung 2000, Berlin, 19.9.2000. Institut für Technische und Betriebliche Informationssysteme, Fakultät für Informatik, Otto-von/Guericke Universität Magdeburg, Preprint Nr. 12, 2000
Inhalt - Workshop Home Page

29. GI Jahrestagung 1999: Paderborn

• 
  Kurt Beiersdörfer, Gregor Engels, Wilhelm Schäfer (Eds.): Informatik '99 - Informatik überwindet Grenzen, 29. Jahrestagung der Gesellschaft für Informatik, Paderborn, 5.-9. Oktober 1999. Springer 1999 Informatik Aktuell ISBN 3-540-66450-5 [ contents ]
• 
  Informatik '99 Home Page
• 
  Peter Dadam, Manfred Reichert (Eds.): Workshop Informatik '99: Enterprise-wide and Cross-enterprise Workflow Management: Concepts, Systems, Applications, Paderborn, Germany, October 6, 1999. CEUR-WS.org 1999 CEUR Workshop Proceedings 24 [ contents ]

28. GI Jahrestagung 1998: Magdeburg

Jürgen Dassow, Rudolf Kruse (Eds.): Informatik '98 - Informatik zwischen Bild und Sprache, 28. Jahrestagung der Gesellschaft für Informatik, Magdeburg, 21.-25. September 1998. Springer, 1998, Informatik Aktuell, ISBN 3-540-64938-7
Inhalt - Informatik '98 Home Page

Stefan Conrad, Wilhelm Hasselbring (Hrsg.): Integration heterogener Softwaresysteme, IHS'98, Workshop im Rahmen der GI-Jahrestagung Informatik'98, Magdeburg, 21. September 1998
Inhalt - Weitere Informationen zu diesem Workshop: http://wwwiti.cs.uni-magdeburg.de/~conrad/IHS98

Rudolf Kruse, Gunter Saake (Hrsg.): Data Mining und Data Warehousing, Workshop im Rahmen der GI-Jahrestagung Informatik'98, Magdeburg, September 1998. Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik, Preprint Nr. 14, 1998
Inhalt

H.-J. Appelrath, Dietrich Boles, Klaus Meyer-Wegener (Eds.): Tagungsband zum Workshop "Multimedia-Systeme" im Rahmen der GI-Jahrestagung 1998. Magdeburg, September 1998
Inhalt

Uwe Glässer, Peter H. Schmitt (Eds.): Fifth International Workshop on Abstract State Machines, Proceedings, Magdeburg, Germany, September 21-22
Contents

27. GI Jahrestagung 1997: Aachen, Deutschland

Matthias Jarke, Klaus Pasedach, Klaus Pohl (Hrsg.): Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik, Aachen, 24.-26. September 1997. Springer, 1997, Informatik Aktuell, ISBN 3-540-63066-X
Inhalt

26. GI Jahrestagung 1996: Klagenfurt, Österreich

Heinrich C. Mayr (Hrsg.): Beherrschung von Informationssystemen, Tagungsband der Informatik '96, Klagenfurt, 25.-27. September 1996. Schriftenreihe der OCG, Band 88, ISBN 3-486-23822-1, ISBN 3-7029-0427-4, ISBN 3-85403-088-6
Inhalt - Informatik'96 Home Page

25. GI Jahrestagung 1995: Zürich, Schweiz

Friedbert Huber-Wäschle, Helmut Schauer, Peter Widmayer (Hrsg.): GISI 95, Herausforderungen eines globalen Informationsverbundes für die Informatik, 25. GI-Jahrestagung und 13. Schweizer Informatikertag, Zürich, 18.-20. September 1995. Springer, 1995, Informatik Aktuell, ISBN 3-540-60213-5
Inhalt

24. GI Jahrestagung 1994: Hamburg

The IFIP Congress '94 is this year's Annual Congress of the GI.

Bernd E. Wolfinger (Hrsg.): Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August - 2. September 1994. Springer, 1994
Inhalt

Bjorn Pehrson, Imre Simon (Eds.): Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP Transaction A-51, North-Holland, 1994, ISBN 0-444-81989-4
Contents

Klaus Brunnstein, E. Raubold (Eds.): Applications and Impacts, Information Processing '94, Volume 2, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP Transaction A-52, North-Holland, 1994, ISBN 0-444-81987-8
Contents

Karen A. Duncan, Karl H. Krueger (Eds.): Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994. IFIP Transaction A-53, North-Holland, 1994, ISBN 0-444-81990-8
Contents

23. GI Jahrestagung 1993: Dresden

Horst Reichel (Hrsg.): Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, 27. September - 1. Oktober 1993. Springer, 1993, Informatik Aktuell, ISBN 3-540-57192-2
Inhalt

22. GI Jahrestagung 1992: Karlsruhe

W. Görke, Hermann Rininsland, May Sybre (Hrsg.): Information als Produktionsfaktor, 22. GI-Jahrestagung, Karlsruhe, 28. September bis 2. Oktober 1992. Springer, 1992, Informatik Aktuell, ISBN 3-540-55960-4
Inhalt

21. GI Jahrestagung 1991: Darmstadt

• 
  José L. Encarnação (Ed.): Telekommunikation und multimediale Anwendungen der Informatik, GI - 21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991, Proceedings. Springer 1991 Informatik-Fachberichte 293 ISBN 3-540-54755-X [ contents ]

20. GI Jahrestagung 1990: Stuttgart

• 
  Andreas Reuter (Ed.): GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, Stuttgart, 8.-12. Oktober 1990, Proceedings. Springer 1990 Informatik-Fachberichte 257 ISBN 3-540-53212-9 [ contents ]
• 
  Andreas Reuter (Ed.): GI - 20. Jahrestagung II, Informatik auf dem Weg zum Anwender, Stuttgart, 8.-12. Oktober 1990, Proceedings. Springer 1990 Informatik-Fachberichte 258 ISBN 3-540-53213-7 [ contents ]

19. GI Jahrestagung 1989: München

• 
  Manfred Paul (Ed.): GI - 19. Jahrestagung, I, Computergestützter Arbeitsplatz, München, 18.-20. Oktober 1989, Proceedings. Springer 1989 Informatik-Fachberichte 222 ISBN 3-540-51821-5 [ contents ]
• 
  Manfred Paul (Ed.): GI - 19. Jahrestagung, II, Computergestützter Arbeitsplatz, München, 18.-20. Oktober 1989, Proceedings. Springer 1989 Informatik-Fachberichte 223 ISBN 3-540-51822-3 [ contents ]

18. GI Jahrestagung 1988: Hamburg

• 
  Rüdiger Valk (Ed.): GI - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Springer 1988 Informatik-Fachberichte 187 ISBN 3-540-50354-4 [ contents ]
• 
  Rüdiger Valk (Ed.): GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Springer 1988 Informatik-Fachberichte 188 ISBN 3-540-50360-9 [ contents ]
• 
  Bernd E. Wolfinger (Ed.): Vernetzte und komplexe Informatik-Systeme, Industrieprogramm zur 18. Jahrestagung der Gesellschaft für Informatik, Hamburg, 18./19. Oktober 1988, Proceedings. Springer 1988 Informatik-Fachberichte 189 ISBN 3-540-50462-1 [ contents ]

17. GI Jahrestagung 1987: München

• 
  Manfred Paul (Ed.): GI - 17. Jahrestagung, Computerintegrierter Arbeitsplatz im Büro, München, 20.-23. Oktober 1987, Proceedings. Springer 1987 Informatik-Fachberichte 156 ISBN 3-540-18478-3 [ contents ]

16. GI Jahrestagung 1986: Berlin

• 
  Günter Hommel, Sigram Schindler (Eds.): GI - 16. Jahrestagung I, Berlin, 6.-10. Oktober 1986, Proceedings. Springer 1986 Informatik-Fachberichte 126 ISBN 3-540-16813-3 [ contents ]
• 
  Günter Hommel, Sigram Schindler (Eds.): GI - 16. Jahrestagung II, Berlin, 6.-10. Oktober 1986, Proceedings. Springer 1986 Informatik-Fachberichte 127 ISBN 3-540-16814-1 [ contents ]

15. GI Jahrestagung 1985: Wien

• 
  Hans Robert Hansen (Ed.): GI/OCG/ÖGI-Jahrestagung 1985, Wirtschaftsuniversität Wien, Übersichtsbeiträge und Fachgespräche zu den Themenschwerpunkten Softwaretechnologie / Standardsoftware / Bürokommunikation / Bildschirmtext, 16.-19. September 1995. Springer 1985 Informatik-Fachberichte 108 ISBN 3-540-15697-6 [ contents ]

14. GI Jahrestagung 1984: Braunschweig

• 
  Hans-Dieter Ehrich (Ed.): GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings. Springer 1984 Informatik-Fachberichte 88 ISBN 3-540-13861-7 [ contents ]
• 
  Hans-Dieter Ehrich (Ed.): Fachgespräche auf der 14. GI-Jahrestagung, Braunschweig, 1.-2. Oktober 1984, Proceedings. Springer 1984 Informatik-Fachberichte 89 ISBN 3-540-13862-5 [ contents ]

13. GI Jahrestagung 1983: Hamburg

• 
  Ingbert Kupka (Ed.): GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings. Springer 1983 Informatik-Fachberichte 73 ISBN 3-540-12734-8 [ contents ]
• 
  Joachim W. Schmidt (Ed.): Sprachen für Datenbanken, Fachgespräch auf der 13. GI-Jahrestagung, Hamburg 3.-7. Oktober 1983. Springer 1983 Informatik-Fachberichte 72 ISBN 3-540-12733-X [ contents ]

12. GI Jahrestagung 1982: Kaiserslautern

• 
  Jürgen Nehmer (Ed.): GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings. Springer 1982 Informatik-Fachberichte 57 ISBN 3-540-11609-5 [ contents ]

11. GI Jahrestagung 1981: München

• 
  Wilfried Brauer (Ed.): GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Springer 1981 Informatik-Fachberichte 50 ISBN 3-540-10884-X [ contents ]

10. GI Jahrestagung 1980: Saarbrücken

• 
  Reinhard Wilhelm (Ed.): GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Springer 1980 Informatik-Fachberichte 33 ISBN 3-540-10388-0 [ contents ]
• 
  Reinhard Wilhelm (Ed.): CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Springer 1980 Informatik-Fachberichte 34 ISBN 3-540-10389-9 [ contents ]

9. GI Jahrestagung 1979: Bonn

• 
  Karl-Heinz Böhling, Peter Paul Spies (Eds.): GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings. Springer 1979 Informatik-Fachberichte 19 ISBN 3-540-09664-7 [ contents ]

8. GI Jahrestagung 1978: Berlin

• 
  Sigram Schindler, Wolfgang K. Giloi (Eds.): GI - 8. Jahrestagung, Berlin, 1978, Proceedings. Springer 1978 Informatik-Fachberichte 16 ISBN 3-540-09038-X [ contents ]

7. GI Jahrestagung 1977: Nürnberg

• 
  Hans Jürgen Schneider (Ed.): GI - 7. Jahrestagung, Nürnberg, 26.-28. September 1977, Proceedings. Springer 1977 Informatik-Fachberichte 10 ISBN 3-540-08425-8 [ contents ]

6. GI Jahrestagung 1976: Stuttgart

• 
  Erich J. Neuhold (Ed.): GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976, Proceedings. Springer 1976 Informatik-Fachberichte 5 ISBN 3-540-07912-2 [ contents ]

5. GI Jahrestagung 1975: Dortmund

• 
  Jörg R. Mühlbacher (Ed.): GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975. Springer 1975 Lecture Notes in Computer Science 34 ISBN 3-540-07410-4 [ contents ]

4. GI Jahrestagung 1974: Berlin

• 
  Dirk Siefkes (Ed.): GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. Springer 1975 Lecture Notes in Computer Science 26 ISBN 3-540-07141-5 [ contents ]

3. GI Jahrestagung 1973: Hamburg

• 
  Wilfried Brauer (Ed.): Gesellschaft für Informatik e.V., 3. Jahrestagung, Hamburg, 8.-10. Oktober 1973. Springer 1973 Lecture Notes in Computer Science 1 ISBN 3-540-06473-7 [ contents ]

2. GI Jahrestagung 1972: Karlsruhe

Peter Deussen (Hrsg.): 2. Gi Jahrestagung, Karlsruhe 2.-4. Oktober 1972, Lecture Notes in Economics and Mathematical Systems, Vol. 78, Springer 1973, ISBN 3-540-06127-4