Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
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 artificial intelligence"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Kongress
82
Electronic Commerce
20
Programmierung
20
Datenverarbeitung
14
Programmiersprache
14
Aufsatzsammlung
13
Prozessmanagement
11
Formale Sprache
7
Informationsmodellierung
7
World Wide Web
7
Mensch-Maschine-Kommunikation
6
Semantik
6
Softwareentwicklung
6
Compiler
5
Datenbanksystem
5
Dialogsystem
5
Informatik
5
Künstliche Intelligenz
5
Mehragentensystem
5
Parallelverarbeitung
5
Agent <Informatik>
4
CAD
4
Entwurf
4
Logik
4
Verteiltes System
4
Agent-based modeling
3
Agentenbasierte Modellierung
3
Automatentheorie
3
Betriebssystem
3
Computergraphik
3
Datenbank
3
E-commerce
3
Evolutionärer Algorithmus
3
Scheduling
3
Wissensmanagement
3
Wissenstechnik
3
Algorithmus
2
Auction
2
Auktion
2
Auktionstheorie
2
more ...
less ...
Type of publication
All
Book / Working Paper
142
Journal
1
Type of publication (narrower categories)
All
Konferenzschrift
80
Dissertation u.a. Prüfungsschriften
6
Collection of articles of several authors
3
Sammelwerk
3
Conference proceedings
2
Aufsatzsammlung
1
Festschrift
1
Konferenzschrift/Kongressbericht
1
more ...
less ...
Language
All
English
128
Undetermined
12
German
4
French
1
Author
All
Bauer, Friedrich L.
4
Bauknecht, Kurt
4
Blaser, Albrecht
3
Bolc, Leonard
3
Aalst, Wil van ¬der
2
Bergmann, Ralph
2
Bjørner, Dines
2
Bouchon, Bernadette
2
Burke, Edmund
2
Dignum, Frank
2
Eršov, Andrej P.
2
Hutchison, David
2
Händler, Wolfgang
2
Jones, Neil D.
2
Karagiannis, Dimitris
2
Liu, Jiming
2
Adam, Nabil R.
1
Alford, Mack W.
1
Alonso, Gustavo
1
Alpuente, María
1
Ambler, Anthony
1
Astesiano, Egidio
1
Bayer, Rudolf
1
Bibel, Wolfgang
1
Blaze, Matt
1
Blum, Edward K.
1
Bochmann, Gregor von
1
Bracchi, Giampio
1
Brakhage, Helmut
1
Branquart, Paul
1
Brauer, Wilfried
1
Böhm, Corrado
1
Böse, Jürgen W.
1
Casanova, Marco Antonio
1
Cesarini, Francesca
1
Chang, Shi Kuo
1
Coello Coello, Carlos A.
1
Cowell, Wayne
1
Dehning, Waltraud
1
Desel, Jörg
1
more ...
less ...
Institution
All
IBM Deutschland GmbH <Stuttgart>
2
AAMAS <5, 2006, Hakodate>
1
AMEC <7, 2005, Utrecht>
1
Advanced Course in Artificial Intelligence <1, 1985, Vignieu>
1
Advanced Course on Distributed Systems, Methods and Tools for Specification <1984 - 1985, München>
1
Advanced Course on General Net Theory of Processes and Systems <1979, Hamburg>
1
Advanced Course on Local Area Networks <1983, Glasgow>
1
BPD <2, 2006, Wien>
1
BPM <1, 2003, Eindhoven>
1
BPM <2, 2004, Potsdam>
1
BPM <3, 2005, Nancy>
1
BPM <4, 2006, Wien>
1
BPM <5, 2007, Brisbane>
1
BPM <6, 2008, Milano>
1
BPM <8, 2010, Hoboken, NJ>
1
CAAP <6, 1981, Genova>
1
CDVE <4, 2007, Shanghai>
1
CONPAR <1, 1981, Nürnberg>
1
Conference on Operating Systems <1982, Visegrád, Duna>
1
DaWaK <3, 2001, München>
1
EC Web <1, 2000, London>
1
EC Web <10, 2009, Linz>
1
EC Web <4, 2003, Praha>
1
EC Web <6, 2005, København>
1
EC Web <7, 2006, Kraków>
1
EC Web <8, 2007, Regensburg>
1
EGOV <1, 2002, Aix-en-Provence>
1
EMO <3, 2005, Guanajuato>
1
EUROSAM <2, 1979, Marseille>
1
European Conference on Cognitive Ergonomics - Mind and Computers <2, 1984, Gmunden>
1
European Cooperation in the Field of Scientific and Technical Research
1
FC <6, 2002, Southampton, Bermuda>
1
Gesellschaft für Informatik
1
Gesellschaft für Informatik / Fachausschuß Methoden der Informatik für Spezielle Anwendungen
1
IBM Deutschland GmbH <Stuttgart> / Wissenschaftliches Zentrum
1
ICCL <2, 2011, Hamburg>
1
Informatik-Symposium <4, 1974, Wildbad>
1
Informatik-Symposium <5, 1975, Homburg, Höhe>
1
Informatik-Symposium <6, 1976, Homburg, Höhe>
1
Interdisciplinary Conference in the Formal Aspects of Cognitive Processes <1972, Ann Arbor, Mich.>
1
more ...
less ...
Published in...
All
Lecture notes in computer science
142
... Conference of the European Cooperation in Informatics
2
Logic programming : proceedings of the ... conference
1
Logics of programs : proceedings
1
Mathematical foundations of programming semantics : internat. conference ; proceedings
1
State-of-the-Art Survey
1
TEX for scientific documentation : European Conference ; proceedings
1
more ...
less ...
Source
All
USB Cologne (EcoSocSci)
140
ECONIS (ZBW)
3
Showing
71
-
80
of
143
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
71
Verifying concurrent processes using temporal logic
Hailpern, Brent T.
-
1982
Persistent link: https://www.econbiz.de/10004009525
Saved in:
72
Physical structures and applications : proceedings, Tokyo, November 1979
1982
Persistent link: https://www.econbiz.de/10004766685
Saved in:
73
Requirements and logical structures : NYU symposium, New York, May 1978
1982
Persistent link: https://www.econbiz.de/10004766687
Saved in:
74
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981
Staunstrup, Jørgen
(
contributor
)
-
1982
Persistent link: https://www.econbiz.de/10004665601
Saved in:
75
Alternating sequential, parallel processing
Wallach, Yehuda
-
1982
Persistent link: https://www.econbiz.de/10004748760
Saved in:
76
Axiomatising the logic of computer programming
Goldblatt, Robert
-
1982
Persistent link: https://www.econbiz.de/10004210559
Saved in:
77
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings
Díaz, Josep
(
contributor
)
-
1981
Persistent link: https://www.econbiz.de/10004008619
Saved in:
78
Digital image processing systems
Bolc, Leonard
(
contributor
)
-
1981
Persistent link: https://www.econbiz.de/10004558718
Saved in:
79
Directions in human factors for interactive systems
Ledgard, Henry
;
Singer, Andrew
;
Whiteside, John
-
1981
Persistent link: https://www.econbiz.de/10004615523
Saved in:
80
Trends in information processing systems : Munich, October 20 - 22, 1981 ; proceedings
Duijvestijn, Arie J. W.
(
contributor
)
-
1981
Persistent link: https://www.econbiz.de/10004738811
Saved in:
First
Prev
4
5
6
7
8
9
10
11
12
13
Next
Last
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
