//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~type_genre:"Dissertation u.a. Prüfungsschriften"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: isPartOf:"Lecture Notes in Computer Science"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Programmierung
4
Verifikation
2
Compiler
1
Computer Supported Cooperative Work
1
Coroutine
1
Datenverarbeitung
1
Electronic Commerce
1
Erfahrungswissen
1
Fallbasiertes Schließen
1
Groupware
1
Internet
1
Logik
1
Mathematische Logik
1
Prozessmanagement
1
Wissensmanagement
1
more ...
less ...
Type of publication
All
Book / Working Paper
6
Type of publication (narrower categories)
All
Dissertation u.a. Prüfungsschriften
Konferenzschrift
265
Hochschulschrift
185
Collection of articles of several authors
132
Sammelwerk
132
Thesis
105
Conference proceedings
98
Aufsatzsammlung
45
Forschungsbericht
44
Bibliografie enthalten
29
Bibliography included
29
Lehrbuch
9
Bibliografie
8
Festschrift
6
Case study
5
Fallstudie
5
Textbook
5
Collection of articles written by one author
4
Sammlung
4
Einführung
3
Bibliography
2
Fallstudiensammlung
2
Graue Literatur
2
Non-commercial literature
2
Aufgabensammlung
1
Handbook
1
Handbuch
1
Systematic review
1
Verzeichnis
1
Übersichtsarbeit
1
more ...
less ...
Language
All
English
6
Author
All
Bergmann, Ralph
1
Hailpern, Brent T.
1
Harel, David
1
Marlin, Christopher D.
1
Polak, Wolfgang
1
Schäl, Thomas
1
Published in...
All
Lecture notes in computer science
6
Source
All
USB Cologne (EcoSocSci)
6
Showing
1
-
6
of
6
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Experience management : foundations, development methodology, and Internet based applications
Bergmann, Ralph
-
2002
Persistent link: https://www.econbiz.de/10004775749
Saved in:
2
Workflow management systems for process organisations
Schäl, Thomas
-
1996
Persistent link: https://www.econbiz.de/10004302535
Saved in:
3
Verifying concurrent processes using temporal logic
Hailpern, Brent T.
-
1982
Persistent link: https://www.econbiz.de/10004009525
Saved in:
4
Compiler specification and verification
Polak, Wolfgang
-
1981
Persistent link: https://www.econbiz.de/10004665510
Saved in:
5
Coroutines : a programming methodology, a language design and an implementation
Marlin, Christopher D.
-
1980
Persistent link: https://www.econbiz.de/10004658844
Saved in:
6
First order dynamic logic
Harel, David
-
1979
Persistent link: https://www.econbiz.de/10004038415
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->