KOBV-Portal

Treffer pro Seite

Treffer 1 - 3 | 3 Treffer

Sortierung

Buch

Hybrid learning and continuing education : 6th international conference, ICHL 2013, Toronto, ON, Canada, August 12 - 14, 2013 ; proceedings (2013)

Cheung, Simon K. S. [Sonstige] ; ICHL 6 2013 Toronto

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV041159660

Umfang: XIV, 410 S. , Ill., graph. Darst.

ISBN: 9783642397493

Serie: Lecture notes in computer science 8038

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 978-3-642-39750-9

Sprache: Englisch

Fachgebiete: Informatik , Pädagogik

RVK:

DP 1960

RVK:

DP 2600

RVK:

SS 4800

Schlagwort(e): Computerunterstütztes Lernen ; Systemplattform ; Konferenzschrift

URL: Inhaltsverzeichnis

Mehr zum Autor: Cheung, Simon K. S.

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Buch

Logic-based program synthesis and transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers (2008)

King, Andy [Sonstige] ; LOPSTR 17 2007 Kongens Lyngby

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV023227321

Umfang: X, 217 S. , Ill., graph. Darst.

ISBN: 9783540787686 , 3540787682

Serie: Lecture notes in computer science 4915

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Logische Programmierung ; Programmsynthese ; Logische Programmierung ; Programmtransformation ; Softwareentwicklung ; Komponente ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: http://d-nb.info/987538934/04

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Buch

Formal specification and development in Z and B ; proceedings (2000)

Bowen, Jonathan P. [HerausgeberIn] 1956- ; Dunne, Steve [HerausgeberIn] ; Galloway, Andy [HerausgeberIn] ; [weitere]

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_318290901

Umfang: XIV, 510 Seiten , Diagramme , 24 cm

ISBN: 3540679448

Serie: Lecture notes in computer science 1878

Anmerkung: Literaturangaben

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; B ; Z ; B ; Konferenzschrift ; Kongress ; Konferenzschrift

Mehr zum Autor: Bowen, Jonathan P. 1956-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

Berlin VÖBB/ZLB

Treffer 1 - 3 | 3 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Kooperativer Bibliotheksverbund

Berlin Brandenburg