UB FFM: Suchergebnisse - Generic functional programming

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

[1]
zurück
1
2
3
4
5
6
7
8
9
weiter
[9]

41

Object oriented programming in Oberon 2

Mössenböck, Hanspeter

Berlin [u.a.] : Springer, 1993

Buch

42

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Gabbrielli, Maurizio (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

43

Conference record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium ; San Francisco, California, January 22 - 25, 1995

POPL (22. : 1995 : San Francisco, Calif.)

New York, NY : Association for Computing Machinery, 1995

Buch

44

Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium ; Portland, Oregon, January 17 - 21, 1994

POPL (21. : 1994 : Portland, Or.)

New York, NY : Association for Computing Machinery, 1994

Buch

45

Integrating functional and temporal domains in logic design : the false path problem and its implications

MacGeer, Patrick C.

Boston [u.a.] : Kluwer Acad. Publ., 1991

Buch

46

Proceedings / ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17 - 19, 1986

Robinet, Bernard (Herausgeber)

Berlin : Springer, 1986

Buch

47

From standard logic to logic programming : introducing a logic based approach to artificial intelligence

Thayse, André (Hrsg.)

Reprinted

Chichester [u.a.] : Wiley, 1989

Buch

48

Fundamentals of programming languages : with 119 tables

Horowitz, Ellis

2. ed., 1. [Dr.]

Berlin [u.a.] : Springer, 1984

Buch

49

Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Hudak, Paul (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

50

Practical Aspects of Declarative Languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

van Hentenryck, Pascal (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

51

Practical aspects of declarative languages : 4th international symposium ; proceedings

Krishnamurthi, Shriram (Herausgeber)

Berlin : Springer, 2002

Buch

52

Real-time object oriented modeling

Selic, Bran

New York [u.a.] : Wiley, 1994

Buch

53

Logic based program synthesis and transformation : 12th international workshop ; revised selected papers

Leuschel, Michael (Herausgeber)

Berlin : Springer, 2003

Buch

54

Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Baldoni, Matteo (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

55

The art of the metaobject protocol

Kiczales, Gregor

Cambridge, Mass. [u.a.] : MIT Pr., 1991

Buch

56

Land of Lisp : learn to program in Lisp, one game at a time!

Barski, Conrad

San Francisco, CA : No Starch Press, 2011

Buch

57

Satellite Events at the MoDELS 2005 Conference : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

Bruel, Jean-Michel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

58

Logical and relational learning : with 10 tables

De Raedt, Luc

Berlin [u.a.] : Springer, 2008

Buch

59

Bluetooth for Java

Hopkins, Bruce

Berkeley, CA : APress [u.a.], 2003

Buch

60

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Aichernig, Bernhard K (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

[1]
zurück
1
2
3
4
5
6
7
8
9
weiter
[9]