Zum Inhalt springen

Bauer, Friedrich L. [VerfasserIn]; Wössner, Hans [VerfasserIn] ; Partsch, H. [Sonstige Person, Familie und Körperschaft]

Algorithmic language and program development

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1982

Erschienen in: Texts and monographs in computer science
Pandya, Paritosh K. [HerausgeberIn] ; FST and TCS 23 2003 Muṃbaī

FST TCS 2003: Foundations of software technology and theoretical computer science : 23rd Conference, Mumbai, India, December 15 - 17, 2003; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2914
De Alfaro, Luca [HerausgeberIn] ; FOSSACS 12 2009 York, ETAPS 12 2009 York

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5504
Avron, Arnon [HerausgeberIn]; Trachtenbrot, Boris Avraamovič [GefeierteR]; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Rabinovich, Alexander [Sonstige Person, Familie und Körperschaft]; Trachtenbrot, Boris A. [GefeierteR]

Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4800
Kaminski, Michael [HerausgeberIn]; Martini, Simone [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 22 2008 Bertinoro

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5213
Grädel, Erich [HerausgeberIn]; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 23 2009 Coimbra

Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5771
Dawar, Anuj [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft] ; CSL 24 2010 Brünn

Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6247
Ong, Luke [HerausgeberIn] ; European Association for Computer Science Logic, CSL 19 2005 Oxford

Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3634
Duparc, Jacques [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4646
Bradfield, Julian [HerausgeberIn] ; European Association for Computer Science Logic, CSL 16 2002 Edinburgh

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2471
Baaz, Matthias [HerausgeberIn]; Makowsky, Johann M. [HerausgeberIn] ; European Association for Computer Science Logic, International Workshop CSL 17 2003 Wien, Kurt Gödel Colloquium 8 2003 Wien

Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2803
Marcinkowski, Jerzy [HerausgeberIn] ; European Association for Computer Science Logic, CSL 18 2004 Karpacz

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3210
Ong, Luke [HerausgeberIn] ; FOSSACS 13 2010 Paphos, ETAPS 13 2010 Paphos

Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as Part of the Joint European Conferences on Theory and Practice of Softwrae, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6014
Amadio, Roberto M. [HerausgeberIn] ; FOSSACS 11 2008 Budapest, ETAPS 11 2008 Budapest

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4962
Seidl, Helmut [HerausgeberIn] ; FOSSACS 10 2007 Braga, ETAPS 10 2007 Braga

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4423
Arvind, V. [Sonstige Person, Familie und Körperschaft]; Prasad, Sanjiva [Sonstige Person, Familie und Körperschaft]; Arvind, Vikraman [HerausgeberIn] ; FSTTCS 27 2007 Delhi

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4855
Sassone, Vladimiro [HerausgeberIn] ; FOSSACS 8 2005 Edinburgh, ETAPS 8 2005 Edinburgh

Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3441
Aceto, Luca [HerausgeberIn]; Ingólfsdóttir, Anna [Sonstige Person, Familie und Körperschaft] ; FOSSACS 9 2006 Wien, ETAPS 9 2006 Wien

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3921
Ramanujam, R. [HerausgeberIn] ; FSTTCS 25 2005 Hyderabad

FSTTCS 2005: Foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3821
Arun-Kumar, S. [HerausgeberIn]; Garg, Naveen [Sonstige Person, Familie und Körperschaft] ; FSTTCS 26 2006 Kalkutta

FSTTCS 2006: foundations of software technology and theoretical computer science : 26th international conference, Kolkata, India, December 13 - 15, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4337

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr