Neuanschaffungen der CIS-Bibliothek seit 28.6.97

H.Leiß, Stand 12.4.2000
Autor Titel Besteller Eingetroffen
Renate Bartsch Understanding Understanding Austausch 28.6.97 inventarisiert
Rens Bod and Remko Scha Data-Oriented Language Processing: An Overview Austausch 28.6.97 inventarisiert
Renate Bartsch Propositional Attritudes in Dynamic Conceptual Semantics Austausch 28.6.97 inventarisiert
Peter van Emde Boas The Convenience of Tilings Austausch 28.6.97 inventarisiert
Michael van Lambalgen and Jaap van der Does A Logic of Vision Austausch 28.6.97 inventarisiert
Paul Dekker Reference and Representation Austausch 28.6.97 inventarisiert
Jelle Gerbrandy and Willem Groeneveld Reasoning about Information Change Austausch 28.6.97 inventarisiert
Jaap van der Does, Willem Groeneveld and Frank Veltman An Update of MIGHT Austausch 28.6.97 inventarisiert
A.S.Troelstra From Constructivism to Computer Science Austausch 28.6.97 inventarisiert
Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation Austausch 28.6.97 inventarisiert
Hiroakira Ono Decidability and finite model property of substructural logics Austausch 28.6.97 inventarisiert
Kees Doets Proper Classes Austausch 28.6.97 inventarisiert
Hajnal Andreka, Johan van Benthem and Istvan Nemeti Modal Languages and Bounded Fragments of Predicate Logic Austausch 28.6.97 inventarisiert
Domenico Zamella On Forcing in Bounded Arithmetic Austausch 28.6.97 inventarisiert
Chris Thornton Brave Mobots Use Representation Austausch 28.6.97 inventarisiert
Chris Thornton Parity: The Problem that Won't Go Away Austausch 28.6.97 inventarisiert
Chris Thornton Why GAs are Hard to Use Austausch 28.6.97 inventarisiert
Jamwes V.Stone A Canonical Microfunction for Learning Perceptual Invariances Austausch 28.6.97 inventarisiert
Adrian Thompson, INman Harvey and Philip Husbands Unconstrained Evolution and Hard Consequences Austausch 28.6.97 inventarisiert
Ibrahim Kuscu Incrementally Learning the Rules for Supervised Tasks: The Monk%27s Problem Austausch 28.6.97 inventarisiert
A.Jonathan Howell and Hilary Buxton Receptive Field Functions for Face Recognition Austausch 28.6.97 inventarisiert
A.Jonathan Howell and Hilary Buxton Receptive Field Functions for Face Recognition Austausch 28.6.97 inventarisiert
Ezequiel A. Di Paolo A Computational Model of Speciation in Non-Uniform Environments Without Physical Barriers Austausch 28.6.97 inventarisiert
Sadhana Puntambekar and Benedict du Boulay Investigating the Changes in the Metacognitive Activities of Students while Interacting with a Computer Tool Austausch 28.6.97 inventarisiert
Sadhana Puntambekar and Benedict du Boulay Design and Development of MIST: A System to Help Students develop Metacognition Austausch 28.6.97 inventarisiert
Giles Mayley No Pain, No Gain: Landscapes, Learning Costs and Genetic Assimilation Austausch 28.6.97 inventarisiert
Margaret A.Boden Consciousness and Human Identity: An Interdisciplinary Perspective Austausch 28.6.97 inventarisiert
Stephen Eglen, Jim Stone and Harry Barrow Learning Perceptual Invariances Austausch 28.6.97 inventarisiert
Remedios de Dios Bulos Goal Feasibility Assessment: Architecture, Representation and Control Strategy Austausch 28.6.97 inventarisiert
Remedios de Dios Bulos Goal Detection: Representation, Mechanism, Architecture Austausch 28.6.97 inventarisiert
Steve M.Easterbrook and Theodoros N.Arvanits Preparing Students for Software Engineering Austausch 28.6.97 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 7.97

Autor Titel Besteller Eingetroffen
J.van Benthem Exploring Logical Dynamics Guenthner 14.7.97 inventarisiert
Carl Dichter, Mark Pease Software Engineering with Perl Guenthner 14.7.97 inventarisiert

Neuanschaffungen der CIS-Bibliothek 8.97

Autor Titel Besteller Eingetroffen
U.Heid Zur Strukturierung von einsprachigen kontrastiven elektronischen Wörterbüchern Guenthner 1.8.97 inventarisiert
G.Augst u.a Rechtschreibwörterbücher im Test Guenthner 1.8.97 inventarisiert
E.Löbel, G.Rauh (Hg) Lexikalische Kategorien und Merkmale Guenthner 1.8.97 inventarisiert
Bernd Kretschmer Das große Buch Windows NT 4, inkl. CD-ROM Oesterle 4.8.97 inventarisiert
Tobias Weltner DATA BECKER Führer Windows NT 4 Oesterle 4.8.97 inventarisiert
Read, T. and Cressie, N. Goodness of fit Statistics for Discrete Multivariate Data Petra Maier 4.8.97 inventarisiert
R. Rapp Die Berechnung von Assoziationen: ein korpuslinguistischer Ansatz pmaier 5.08.97 weitergeleitet
Johan van Benthem, Alice ter Meulen (eds.) Handbook of Logic and Language Leiß 5.08.97 gestoppt (Informatik hats)

Neuanschaffungen der CIS-Bibliothek 9.97

h
Keine Inventarisierung

Neuanschaffungen der CIS-Bibliothek 10.97

Autor Titel Besteller Eingetroffen
Mary Campione and Kathy Waltrath The Java Tutorial. Object-Oriented Programming for the Internet. The Java Series. Max Hadersbeck 01.10.97 inventarisiert
Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Proceedings of the 7th Conference of the European Chapter of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Paul Kay Words and the Grammar of Context Guenthner 01.10.97 inventarisiert
Johan van Benthem Dynamic Bits and Pieces Austausch 07.10.97 ausleihbar
Johan van Benthem Dynamic Bits and Pieces Austausch 07.10.97 ausleihbar
Paul Dekker On Denoting Descriptions Austausch 07.10.97 ausleihbar
Paul Dekker On First Order Information Exchange Austausch 07.10.97 ausleihbar
Jelle Gerbrandy Dynamic Epistemic Logic Austausch 07.10.97 ausleihbar
Carl H.Smith, Rusins Freivalds Category, Measure, Inductive Inference: A Triality Theorem and its Applications Austausch 07.10.97 ausleihbar
Peter van Emde Boas Resistance is Futile; Formal Linguistic Observations on Design Patterns Austausch 07.10.97 ausleihbar
Harry Buhrman, Dieter van Melkebeek Complete Sets under Non-Adaptive Reductions are Scare Austausch 07.10.97 ausleihbar
Dick de Jongh, Giorgi Japaridze The Logic of Provability Austausch 07.10.97 ausleihbar
Alexander Keller Instant Radiosity Austausch 07.10.97 weitergeleitet
Frank Isselhard, Guido Brunnett, Thomas Schreiber Polyhedral Reconstruction of 3D Objects by Tetrahedra Removal Austausch 07.10.97 ausleihbar
Stefan Heinrich Monte Carlo Complexity of Global Solution of Integral Equations Austausch 07.10.97 ausleihbar
J.Thees, R.Gotzhein Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme Austausch 07.10.97 ausleihbar
Rodrigo Readi-Nasser mj-Reduction for Proving in Predicate Logic Austausch 07.10.97 ausleihbar
Austausch 07.10.97 ausleihbar

Neuanschaffungen der CIS-Bibliothek seit 10.97

Autor Titel Besteller Eingetroffen
Lüke, Hans Dieter Signalübertragung Guenthner/Stadler 17.10.97 inventarisiert
Mary Campione and Kathy Waltrath The Java Tutorial. Object-Oriented Programming for the Internet. The Java Series. Max Hadersbeck 01.10.97 inventarisiert
15th International Conference on Computational Linguistics. Proceedings COLING 94, Vol. 1&2 Leiß 17.10.97 inventarisiert
16th International Conference on Computational Linguistics. Proccedings COLING 96, Vol.1&2 Leiß 17.10.97 inventarisiert
Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Proceedings of the 7th Conference of the European Chapter of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics Leiß 01.10.97 inventarisiert
Johan van Benthem Dynamic Bits and Pieces Austausch 07.10.97 ausleihbar
Johan van Benthem Dynamic Bits and Pieces Austausch 07.10.97 ausleihbar
D. F. Brailford and R. K. Furuta EPODD - Electronic Publishing, Origination, Dissemination and Design. Special Issue: Proceedings of the Sixth International Conference on Electronic Publishing, Document Manipulation and Typography Holger Meuss 07.10.97 weitergeleitet
D. F. Brailford and R. K. Furuta EPODD - Electronic Publishing, Origination, Dissemination and Design. Volume 6, Issues 4 Proceedings of the Fifth International Conference on Electronic Publishing, Document Manipulation and Typography Holger Meuss 07.10.97 weitergeleitet
Ian Hodkinson and Szabolcs Mikulas Non-finitely axiomatizable, union-free reducts of algebras of relations Austausch 29.10.97 ausleihbar
Johan van Benthem The Range of Modal Logic: an Essay in Memory of George Gargov Austausch 29.10.97 ausleihbar
Giovanna D'Agostino The Los-Tarski and Lyndon Theorem for the mu-logic Austausch 29.10.97 ausleihbar
Maarten Marx Complexity of Modal Logics of Relations Austausch 29.10.97 ausleihbar

Neuanschaffungen der CIS-Bibliothek seit 11.97

Autor Titel Besteller Eingetroffen
Inga Kohlhof, Susanne Winkler, Hans Drubig (eds.) Proceedings of the Goettingen Focus Workshop, 17.DGfS, March 1-3, 1995. Arbeitspapiere des Sonderforschungsbereichs 340 "Sprachtheoretische Grundlagen für die Computerlinguistik" Austausch 17.11.97 ausleihbar

Neuanschaffungen der CIS-Bibliothek seit 12.97

Autor Titel Besteller Eingetroffen
E.Drews Die Bedeutung von Morphemen für die Sprachanalyse 10.12.97 inventarisiert
J.Zeller Die Syntax des Tempus: zur strukturellen Repräsentation temporaler Ausdrücke 10.12.97 inventarisiert
(Bundesanzeiger) Die neue deutsche Rechtschreibung 10.12.97 inventarisiert
H.Sauer Relationale Datenbanken: Theorie und Praxis inklusive SQL-2 10.12.97 inventarisiert
M.Dürr u.a. Einführung in die deskriptive Linguistik 10.12.97 inventarisiert
H.Lohnstein Formale Semantik und natürliche Sprache 10.12.97 inventarisiert
R.Wiese The phonology of German 10.12.97 inventarisiert
H.J.Weber Homographen Wörterbuch der Deutschen Sprache 10.12.97 inventarisiert
W. Klaas Eigenname und Bedeutung: ein Beitrag zur Theorie des nomen proprium 10.12.97 inventarisiert
W.Kopke Rechtschreibreform und Verfassungsrecht 10.12.97 inventarisiert
M.Volk Einsatz einer Testsatzsammlung im Grammar Engineering 10.12.97 inventarisiert
D.Wirth Paraphrase und Übersetzung in einem Inhalt-Text-Modell 10.12.97 inventarisiert
E.Cölfen u.a. Linguistik im Internet: das Buch zum Netz 10.12.97 inventarisiert
B.Guterhmann Die Raumdarstellung in deutschen und französischen technischen Texten 10.12.97 inventarisiert
H.Takahashi Die richtige Aussprache des Deutschen in Deutschland, Österreich und der Schweiz 10.12.97 inventarisiert
Norbert Willenpart u.a. Diskussion Rechtschreibreform 10.12.97 inventarisiert
Y.Wilks Electric words: dictionaries, computers and meanings 11.12.97 inventarisiert
J.Pustejovsky Lexical semantics: the problem of polysemy 11.12.97 inventarisiert
J.Klavans, P.Resnik (eds.) The Balancing Act: Combining Symbolic and Statistical Approaches to Language Maier 11.12.97 inventarisiert
H.Bisle-Müller Artikelwörter im Deutschen Guenthner 11.12.97 inventarisiert
Rens Bod and Remko Scha Data-Oriented Language Processing: An Overview Austausch 10.12.97 inventarisiert
Renate Bartsch Propositional Attitudes in Dynamic Conceptual Semantics Austausch 10.12.97 inventarisiert
Peter van Emde Boas The Convenience of Tilings Austausch 10.12.97 inventarisiert
Michael van Lambalgen and Jaap van der Does A Logic of Vision Austausch 10.12.97 inventarisiert
Paul Dekker Reference and Representation Austausch 10.12.97 inventarisiert
Jelle Gerbrandy and Willem Groeneveld Reasoning about Information Change Austausch 10.12.97 inventarisiert
Jaap van der Does, Willem Groeneveld and Frank Veltman An Update of MIGHT Austausch 10.12.97 inventarisiert
A.S.Troelstra From Constructivism to Computer Science Austausch 10.12.97 inventarisiert
Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation Austausch 10.12.97 inventarisiert
Kamran Husain e.a. Perl 5: unleashed Maier(?) 11.12.97 inventarisiert
Regina Hessky Deutsche Redewendungen 11.12.97 inventarisiert
Drosdowski Duden Deutsches Universal Wörterbuch A-Z 11.12.97 inventarisiert
Renate Wahrig-Burfeind Wahrig Deutsches Wörterbuch 11.12.97 inventarisiert
Deutsche Wortbildung: das Adjektiv 10.12.97 inventarisiert
Emmanuel Roche and Yves Schabes (eds.) Finite State Language Processing Guenthner 08.12.97 inventarisiert
Alex Alsina, Joan Bresnan, Peter Sells (eds.) Complex Predicates Guenthner 08.12.97 inventarisiert
Hinrich Schütze Ambiguity Resolution in Language Learning. Computational and Cognitive Models Guenthner 08.12.97 inventarisiert
Paul Kay Words and the Grammar of Context Guenthner 08.12.97 inventarisiert
Paul Dekker On Denoting Descriptions Austausch 05.12.97 inventarisiert
Paul Dekker On First Order Information Exchange Austausch 05.12.97 inventarisiert
Jelle Gerbrandy Dynamic Epistemic Logic Austausch 05.12.97 inventarisiert
Carl H.Smith, Rusins Freivalds Category, Measure, Inductive Inference: A Triality Theorem and its Applications Austausch 05.12.97 inventarisiert
Peter van Emde Boas Resistance is Futile; Formal Linguistic Observations on Design Patterns Austausch 05.12.97 inventarisiert
Harry Buhrman, Dieter van Melkebeek Complete Sets under Non-Adaptive Reductions are Scare Austausch 05.12.97 inventarisiert
Dick de Jongh, Giorgi Japaridze The Logic of Provability Austausch 05.12.97 inventarisiert
Alexander Keller Instant Radiosity Austausch 05.12.97 inventarisiert
Frank Isselhard, Guido Brunnett, Thomas Schreiber Polyhedral Reconstruction of 3D Objects by Tetrahedra Removal Austausch 05.12.97 inventarisiert
Stefan Heinrich Monte Carlo Complexity of Global Solution of Integral Equations Austausch 05.12.97 inventarisiert
J.Thees, R.Gotzhein Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme Austausch 05.12.97 inventarisiert
Rodrigo Readi-Nasser mj-Reduction for Proving in Predicate Logic Austausch 05.12.97 inventarisiert
Ken Lunde Understanding Japanese Information Processing Guenthner 05.12.97 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 01.98

Autor Titel Besteller Eingetroffen
H.Bußmann Lexikon der Sprachwissenschaft Schnorbusch 09.01.98 inventarisiert
Steven Pinker Learnability and Cognition. The Aquisition of Argument Structure Schnorbusch 09.01.98 inventarisiert
G. Harras, M.Bierwisch (Hg) Wenn die Semantik arbeitet Guenthner 09.01.98 inventarisiert
G. Koß Namenforschung Guenthner 09.01.98 inventarisiert
A.Linke u.a. Studienbuch Linguistik Guenthner 09.01.98 inventarisiert
O.Leirbukt Untersuchungen zum bekommen-Passiv im heutigen Deutsch Guenthner 09.01.98 inventarisiert
A.Peyer Satzverknüpfung - syntaktische und textpragmatische Aspekte Guenthner 09.01.98 inventarisiert
C.Delobel Databases: from relational to object-oriented systems 09.01.98 inventarisiert
P.Doherty (Ed) Partiality, modality, and nonmonotonicity 11.01.98 inventarisiert
E.M.Hammer Logic and visual information 11.01.98 inventarisiert
Jennifer Cole, Georgia M.Green, Jerry L.Morgan (eds.) Linguistics and Computation 11.01.98 inventarisiert
M.Dalrymple, R.Kaplan, J.T.Maxwell III, A.Zaenen (Eds) Formal issues in lexical-functional grammar 11.01.98 inventarisiert
P.A.Darnell, P.E.Margolis C, a software engineering approach Guenther 09.01.98 inventarisiert
Jelle Gerbrandy Bisimulation and Bounded Bisimulation Austausch 16.01.98 inventarisiert
Herbert E. Bruderer (Hrsg) Automatische Sprachübersetzung Guenthner 13.01.98 weitergeleitet
A.Sams(??) Perl 5 Developer's Guide mCD Maier 13.01.98 weitergeleitet

Neuanschaffungen der CIS-Bibliothek seit 03.98

Autor Titel Besteller Eingetroffen
Benson, Morton e.a. The BBI Dictionary of English Word Combinations Guenthner 17.03.98 inventarisiert
Jan Van Eijck Dynamic Reasoning Without Variables Austausch 16.03.98 inventarisiert
Sebastiaan A. Terwijn, Domenico Zambella Algorithmic Randomness and Lowness Austausch 16.03.98 inventarisiert
A. S. Troelstra Concepts and Axioms Austausch 16.03.98 inventarisiert
A. S. Troelstra Marginalia on Sequent Calculi Austausch 16.03.98 inventarisiert
Jaap van der Does, Helen de Hoop Type-shifting and Scrambled Definites Austausch 16.03.98 inventarisiert
Hans Rott, Maurice Pagnucco Severe Withdrawal Austausch 16.03.98 inventarisiert
Antonon Kucera, Sebastian A. Terwijn Lowness for the Class of Random Sets Austausch 16.03.98 inventarisiert
A. Muchnik, A. Romashchenko, A. Shen, N. Vereshagin Upper Semi-Lattice of Binary Strings with the Relation "x is simple conditional to y" Austausch 09.03.98 ausleihbar
Rodrigo Readi-Nasser The Reduction Oriented Calculus mj Austausch 18.03.98 inventarisiert
J. Thees, R Gotzheim A Formal Syntax and a Formal Semantics for Open Estelle Austausch 18.03.98 inventarisiert
Wolfgang Hoeppner (ed.) Proceedings of the 6th European Workshop on Natural Language Generation 30.03.98 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 02.98

Autor Titel Besteller Eingetroffen
G.Augst u.a Rechtschreibwörterbücher im Test Guenthner 09.02.98 inventarisiert
J.-Y. Lalande Verbstellung im Deutschen und Französischen Guenthner 09.02.98 inventarisiert
E.Löbel, G.Rauh (Hg) Lexikalische Kategorien und Merkmale Guenthner 09.02.98 inventarisiert
B.Glickstein Writing GNU Emacs Extensions Wenger 09.02.98 inventarisiert
L.Paulson ML for the Working Programmer, 2nd Ed. Leiß 09.02.98 inventarisiert
J.van Benthem Exploring Logical Dynamics Guenthner 09.02.98 inventarisiert
D.Flanagan JavaScript - The Definite Guide Draxler,Maier,Oesterle 09.02.98 inventarisiert
S.Young, G.Bloothooft (eds.) Corpus-based Methods in Language and Speech Processing Maier 09.02.98 inventarisiert
McEnery, T and A.Wilson Corpus Linguistics Maier 09.02.98 inventarisiert
H.P.Frei, D.Harman, P.Schäuble, R.Wilkinson Proceedings of the 19th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval Maier 09.02.98 inventarisiert
Carl Dichter, Mark Pease Software Engineering with Perl Guenthner 09.02.98 inventarisiert
Bernd Kretschmer Das große Buch Windows NT 4, inkl. CD-ROM Oesterle 09.02.98 inventarisiert
Tobias Weltner DATA BECKER Führer Windows NT 4 Oesterle 09.02.98 inventarisiert
Read, T. and Cressie, N. Goodness of fit Statistics for Discrete Multivariate Data Petra Maier 09.02.98 inventarisiert
R.Backofen Expressivity and Decidability of First-Order Languages over Feature Trees 24.6.97 09.02.98 inventarisiert
R. Rapp Die Berechnung von Assoziationen: ein korpuslinguistischer Ansatz pmaier 09.02.98 inventarisiert
Jerry Seligman Logic, Language and Computation, Vol 1 Guenthner (?) 13.02.98 inventarisiert
Bob Hale (Ed.) A Companion to the Philosophy of Language Guenthner (?) 13.02.98 inventarisiert
Mark S. Aldenderfer u.a. Cluster Analysis Guenthner (?) 09.02.98 inventarisiert
H. Charles Romesburg Analysis for Researchers 09.02.98 inventarisiert
Frans Voorbraak A Nonmonotonic Observation Logic Austausch 04.02.98 inventarisiert
Johan van Benthem Wider Still and Wider ... Resetting the Bounds of Logic Austausch 04.02.98 inventarisiert
Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic Austausch 04.02.98 inventarisiert
Michiel van Lambalgen, Jaap van der Does A Logic of Vision (revised version of LP-96-14) Austausch 04.02.98 inventarisiert
Jan van Eijck Typed Logic With States Austausch 04.02.98 inventarisiert
Kowalski, Gerald Information Retrieval Systems pmaier 26.02.98 inventarisiert
Fleischer, W.; Barz,I.; Schröder, M. Wortbildung der deutschen Gegenwartssprache. 04.02.98 inventarisiert
Hubert Weber Einführung in die Wahrscheinlichkeitsrechnung und Statistik für Ingenieure Schulz 04.02.98 inventarisiert
Anthony Woods Statistics in Language Studies Schulz 04.02.98 inventarisiert
Ulrich Heid Zur Strukturierung von einsprachigen und kontrastiven elektronischen Wörterbüchern Guenthner 09.02.98 inventarisiert
Harry Bunt, Masaru Tomita (eds.) Recent Advances in Parsing Technology Leiß 10.02.98 inventarisiert
J.McCarthy Defending AI Research Guenthner 04.02.98 inventarisiert
J.van der Lubbe Information Theory Leiß 04.02.98 inventarisiert
Anna Wierzbicka Semantics : Primes and Universals Schnorbusch 10.02.98 inventarisiert
Patrick Blackburn, Maarten de Rijke Specifying Syntactic Structures Guenthner 04.02.98 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 04.98

Autor Titel Besteller Eingetroffen
Walter Brenner ; Rüdiger Zarnekow ; Hartmut Wittig Intelligente Softwareagenten Guenthner 01.04.98 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 05.98

Autor Titel Besteller Eingetroffen

Neuanschaffungen der CIS-Bibliothek seit 06.98

Autor Titel Besteller Eingetroffen

Neuanschaffungen der CIS-Bibliothek seit 07.98

Autor Titel Besteller Eingetroffen
Wolfgang Teubert (Hg.) Neologie und Korpus Guenthner 16.07.98 inventarisiert
Angelika Storrer / Bettina Harriehausen (Hg.) Hypermedia für Lexikon und Grammatik Guenthner 16.07.98 inventarisiert
Rieger, Burghard Unscharfe Semantik. Die empirische Analyse, quantitative Beschreibung, formale Repräsentation und prozedurale Modellierung vager Wortbedeutungen in Texten Stefan Langer 03.07.98 weitergeleitet
Alice G.B. ter Meulen On the Economy of Interpretation. Semantic constraints on SE-reflexives in Dutch Austausch 13.07.98 inventarisiert
Geert Booij / Jaap van Marle (Eds.) Yearbook of Morphology 1993 13.07.98 inventarisiert
Jan Don / Ted Sanders (Eds.) Utrecht Institute of Linguistics OTS Yearbook 1997 Austausch 13.07.98 inventarisiert
John Griffith / Erhard W.Hinrichs / Tsuneko Nakazawa (Eds.) Topics in Constraint Grammar Formalism for Computational Linguistic. Papers Presented at the Workshop on Grammar Formalisms for Natural Language Processing held at ESSLI-94, Copenhagen Austausch 13.07.98 inventarisiert
Handbuch der Universitäten und Fachhochschulen . Deutschland Österreich, Schweiz. 8.Ausgabe Schulz 16.07.98 inventarisiert
Hans de Nivelle Decoding the E+-Class by an A Posteriori, Liftable Order Austausch 31.07.98 ausleihbar

Neuanschaffungen der CIS-Bibliothek seit 08.98

Autor Titel Besteller Eingetroffen
Gregory Grefenstette (Hg.) Cross-Language Information Retrieval Blank 26.08.98 inventarisiert
Cole, Ronald (Ed.) Survey of the state of the art in human language technology Blank 28.08.98 inventarisiert
H. Bunke (Ed.) Handbook of Character Recognition and Document Image Analysis Schulz 26.08.98 inventarisiert
A.L Spitz, A. Dengel (Eds.) Document Analysis Systems Schulz 26.08.98 inventarisiert
Steven Givant and Yde Venema The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators Austausch 25.08.98 inventarisiert
Yde Venema Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes Austausch 25.08.98 inventarisiert
Renata Wasserman Resource Bounded Belief revision Austausch 25.08.98 inventarisiert
Renata Wasserman On Structured Belief Bases - Preliminary Report Austausch 25.08.98 inventarisiert
Hans de Nivelle Resolution Decided the Guarded Fragment Austausch 25.08.98 inventarisiert
Renate Bartsch The Role of Consciousness and Intentionality in Perception, Semantics, Representations and Rules Austausch 25.08.98 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 09.98

Autor Titel Besteller Eingetroffen

Neuanschaffungen der CIS-Bibliothek seit 10.98

Autor Titel Besteller Eingetroffen
Paulson,Lawrence C. Logic and Computation : Interactive Proof with Cambridge LCF 30.10.98 inventarisiert
Farrell Ackerman, Gert Webelhuth A Theory of Predicates Guenthner 09.10.98 inventarisiert
Ludovic Lebart et al EXPLORING TEXTUAL DATA P.Maier 19.10.98 inventarisiert
Geoff Barnbrook Language and Computers P. Maier 19.10.98 inventarisiert
Graham A.Stephen String searching algorithms Guenthner 19.10.98 inventarisiert
Benoit Habert, Adeline Nazarenko, AndrO Salem LES LINGUISTIQUES DE CORPUS Guenthner 19.10.98 inventarisiert
Branimir Boguraev, James Pustejovsky Corpus Processing for Lexical Acquisition Leiß, Maier 19.10.98 weitergeleitet
Tal Siloni Noun Phrases and Nominalizations. The Syntax of DPs. Guenthner 19.10.98 inventarisiert
Roger D. Hersch, Jaques Andre, Heather Brown (eds) Electronic Publishing, Artistic Imaging, and Digital Typography. 7th International Conference on Electronic Publishing, EP'98 with 4th International Conference on Raster Imaging and Digital Typography, RIDT'98. Proceedings Meuss 19.10.98 inventarisiert
H.S. Baird, H. Bunke, K. Yamamoto Structures Document Image Analysis Schulz 09.10.98 inventarisiert
Proceedings of the 21th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval Leiß 19.10.98 weitergeleitet

Neuanschaffungen der CIS-Bibliothek seit 11.98

Autor Titel Besteller Eingetroffen
Hans Kamp, Uwe Reyle From Discourse to Logic Leiß (Ersatz). Paperback nicht lieferbar. Hardcover 300 DM gestoppt.vc 26.11.98 vergriffen
E.Charniak (ed.) Sixth Workshop on Very Large Corpora. Univ.of Montreal, August 15-16, 1998. Proceedings Guenthner 26.11.98 erscheint
B.Schröder, W.Lenders, W.Hess, T.Portele Computer, Linguistik und Phonetik zwischen Sprache und Sprechen. Tagungsband der 4.Konferenz zur Verarbeitung natürlicher Sprache, 5.-7.10.1998, Bonn. Proceedings Konvens-98 Langer 26.11.98 weitergeleitet
L.C.Paulson ML for the working programmer Leiss 03.11.98 inventarisiert
Rozenberg, G.; Salomaa, A. Handbook of Formal Languages Vols. 1-3, Set. Leiss, Guenthner 16.11.98 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 12.98

Autor Titel Besteller Eingetroffen

Neuanschaffungen der CIS-Bibliothek seit 01.99

Autor Titel Besteller Eingetroffen
H.J.Verkuyl and A.Bende-Farkas On Hungarian Noun Phrase Structure 24.6.97 25.01.99 inventarisiert
H.J.Verkuyl Events as Dividuals: Aspectual Composition and Event Semantics 24.6.97 25.01.99 inventarisiert
Rainer Wimmer / Franz-Josef Berens (Hg.) Wortbildung und Phraseologie Guenthner 25.01.99 inventarisiert
Daniel Bresson / Jacqueline Kubczak (Hg.) Abstrakte Nomina Guenthner 25.01.99 inventarisiert
Altmann, Gabriel Statistik für Linguisten Stefan Langer 25.01.99 inventarisiert
Jennifer Pearson Terms in Context Blank 25.01.99 inventarisiert
Robert Sedgewick, Philip Flajolet An introduction to the analysis of algorithms Guenthner 25.01.99 inventarisiert
Fuhrhop, Nanna Grenzfälle morphologischer Einheiten Stefan Langer, Franz Guenthner 25.01.99 inventarisiert
Dan Gusfield Algorithms an Strings, Trees, and Sequences Schulz 25.01.99 inventarisiert
S. Theodoridis, K. Koutroumbas Pattern Recognition Schulz 25.01.99 inventarisiert
V.J. Frants, J.Shapiro, V.G.Voiskunskii Automated Information Retrieval Schulz 25.01.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 02.99

Autor Titel Besteller Eingetroffen
Stephanie Xenia Kloster Konzeption eines onomasiologischen Wörterbuchs für Erwachsene Lese-/SchreiblernerInnen Guenthner 11.02.99 inventarisiert
Guy Aston, Lou Burnard The BNC Handbook Guenthner 11.02.99 inventarisiert
Vincent B Y Ooi Computer Corpus Lexicography Guenthner 11.02.99 inventarisiert
Michael P. Oakes Statistics for Corpus Linguistics Guenthner 11.02.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 03.99

Autor Titel Besteller Eingetroffen
Peter Flynn Understanding SGML and XML Tools Guenthner 15.03.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 04.99

Autor Titel Besteller Eingetroffen
R. Metrich, E. Faucher, G. Courdier Les Invariables Difficiles. Dictionnaire allemand-francais des particules, connecteurs, interjections et autres `Mots de la communication' Guenthner 19.04.99 inventarisiert
Mireille Piot Composition transformationelle de Phrases par Subordination et Coordination Guenthner 19.04.99 inventarisiert
Patrick Saint-Dizier (Ed.) Predicative Forms in Natural Language and in Lexical Knowledge Bases Guenthner 19.04.99 inventarisiert
V. Vapnik The Nature of Statistical Learning Theory Guenthner 19.04.99 inventarisiert
Marcel den Dikken Particles. On the Syntax of Verb-Particle, Triadic, and Causative Constructions Daniel Schnorbusch 19.04.99 inventarisiert
Gisela Zifonun, Ludger Hoffmann, Bruno Strecker Grammatik der deutschen Sprache. 3 Baende Guenthner 19.04.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 05.99

Autor Titel Besteller Eingetroffen
Abramsky, S.; Gabbay, Dov M. ; Maibaum, T.S.E.Mithrsg.] Handbook of Logic in Computer Sciene Vol. 1 Background: Mathematical Structures 14.05.99 inventarisiert
Abramsky, S.; Gabbay, Dov M. ; Maibaum, T.S.E.Mithrsg.] Handbook of Logic in Computer Sciene Vol. 2 Background: Computational Structures 14.05.99 inventarisiert
Abramsky, S.; Gabbay, Dov M. ; Maibaum, T.S.E.Mithrsg.] Handbook of Logic in Computer Science Volume 3 Semantic Structures 14.05.99 inventarisiert
Berkel, Ute ; Neuhoff, Klaus ; Schindler, Ambros ; Steinsdörfer, Erich Stiftungshandbuch 14.05.99 inventarisiert
Detering, Reinhard Unix-Handbuch 14.05.99 inventarisiert
Gabbay, Dov M.; Hogger, C.J.; Robinson, J.A. Handbook of Logic in Artificial Intelligence and Logic Programming Volume 1 Logical Foundations 17.05.99 inventarisiert
Gabbay, Dov M.; Hogger, C.J.; Robinson, J.A. Handbook of Logic in Artificial Intelligence and Logic Programming Volume 2 Deduction Methodolgies 17.05.99 inventarisiert
Gabbay, Dov M.; Hogger, C.J.; Robinson, J.A. Handbook of Logic in Artificial Intelligence and Logic Programming Volume 3 Nonmonotonic Reasoning and Uncertain Reasoning 17.05.99 inventarisiert
Hentschel, Elke;Weydt, Harald Handbuch der deutschen Grammatik 17.05.99 inventarisiert
Shalom Lappin The Handbook of Contemporary Semantic Theory Guenthner (?) 17.05.99 inventarisiert
J. Schürmann Pattern Classification: A Unified View of Statistical and Neural Approaches Schulz 26.05.99 inventarisiert
K. Fukunaga Introduction to Statistical Pattern Recognition Schulz 26.05.99 inventarisiert
Maarten Marx Relation Algebras Can Tile Austausch 12.05.99 ausleihbar
Maarten Marx Relativized Relation Algebras Austausch 12.05.99 ausleihbar
Kazushige Terui Labelled Tableau Calculi Generating Simple Models for Substructural Logics Austausch 12.05.99 ausleihbar
Maarten Marx Failure of Interpolation in Combined Modal Logics Austausch 12.05.99 ausleihbar
Hans Rott Coherence and Conservation in the Dynamics of Belief. Part I Austausch 12.05.99 ausleihbar
Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic Austausch 12.05.99 ausleihbar
Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic Austausch 12.05.99 ausleihbar
Jaap Kamps, Laszlo Polos Reducing Uncertainty: A Formal Theory of Organizations in Action Austausch 12.05.99 ausleihbar
Jaap Kamps, Laszlo Polos Reducing Uncertainty: A Formal Theory of Organizations in Action Austausch 12.05.99 ausleihbar
Paul Dekker The Semantics of Dynamic Conjunction Austausch 12.05.99 ausleihbar
Paul Dekker Coreference and Representation Austausch 12.05.99 ausleihbar
Pieter W.Adriaans Learning Shallow Context-Free Languages under Simple Distributions Austausch 12.05.99 ausleihbar
Christof Monz, Maarten De Rijke A Tableau Calculus for Pronoun Resolution Austausch 12.05.99 ausleihbar
Maarten Marx, Stefan Schlobach, Szabolcs Mikulas Labelled Deduction for the Guraded Fragment Austausch 12.05.99 ausleihbar
Alexander Keller Hierarchical Monte Carlo Image Synthesis Austausch 12.05.99 ausleihbar
Stefan Heinrich Wavelet Monte Carlo Methods for the Global Solution of Integral Equations Austausch 12.05.99 ausleihbar
Stefan Heinrich The Multilevel Methods of Dependent Tests Austausch 12.05.99 ausleihbar
Carlos Areces, Patrick Blackburn, Maarten Marx Hybrid Logics. Characterization, Interpolation and Complexity Austausch 12.05.99 ausleihbar
Maarten Marx Amalgamation in Finite Dimensional Cylindric Algebras Austausch 12.05.99 ausleihbar
Eva Hoogland Algebraic Characterization of Various Beth Definability Properties Austausch 12.05.99 ausleihbar
Paul Kirchberg, Otto Mayer Integration temporallogischer Verarbeitungskonzepte in C++ Austausch 12.05.99 ausleihbar
A.Disch, P.Jacob, M.Muenchhofen A 3D-Modelling 7 Visualization-Toolkit for web-based Applications Austausch 12.05.99 ausleihbar
Stefan Heinrich, Eugene Sindambiwe Monte Carlo Complexity of Parametric Integration Austausch 12.05.99 ausleihbar

Neuanschaffungen der CIS-Bibliothek seit 06.99

Autor Titel Besteller Eingetroffen
Alan Jessop Informed assessments: an introduction to information,entropy, and statistics Guenthner 02.06.99 weitergeleitet
Stefan Müller Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar für das Deutsche Leiß 24.06.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 07.99

Autor Titel Besteller Eingetroffen

Neuanschaffungen der CIS-Bibliothek seit 08.99

Autor Titel Besteller Eingetroffen
Bauer, Laurie Introducing linguistic morphology 23.08.99 inventarisiert
Rens Bod Beyond Grammar - An Experience-based Theory of Language 23.08.99 inventarisiert
John Lawler, Helen Aristar Dry Using Computers in Linguistics petra maier 23.08.99 inventarisiert
Gaskell, Philip Standard Written English Stefan Langer 23.08.99 inventarisiert
Igor Vajda Theory of statistical inference and information Guenthner 01.06.99 23.08.99 inventarisiert
Inderjeet Mani and Mark T. Maybury (eds.) Advances in Automatic Text Summarization P. Maier 23.08.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 09.99

Autor Titel Besteller Eingetroffen

Neuanschaffungen der CIS-Bibliothek seit 10.99

Autor Titel Besteller Eingetroffen
Ken Lunde CJKV Information Processing Stefan Langer/F Gue 18.10.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 11.99

Autor Titel Besteller Eingetroffen
Schemann, Hans Synonymwörterbuch der deutschen Redensarten Sabine Engelke 19.11.99 inventarisiert
Friedl, Jeffrey Mastering Regular Expressions Peter Beham 11.11.99 inventarisiert
T. Christiansen, N. Torkington Perl Cookbook Peter Beham 11.11.99 inventarisiert
Walsh, Nancy Learning Perl/TK Peter Beham 11.11.99 inventarisiert
Newham, Cameron ; Rosenblatt, Bill Learning the bash Shell Peter Beham 11.11.99 inventarisiert
Lamb, Linda ; Robbins, Arnold Learning the vi Editor Peter Beham 11.11.99 inventarisiert
Robbins, Arnold vi Editor Pocket Reference Peter Beham 11.11.99 inventarisiert
Jochen Heinsohn und Rolf Socher-Ambrosius Wissensverarbeitung - Eine Einführung Schulz 19.11.99 inventarisier
Dieter Pumplün Elemente der Kategorientheorie Schulz 19.11.99 inventarisiert
F.T. Loncke; J. Clibbens; H.A. Arvidson; L.L. LLoyd Augmentative and Alternative Communication. New Directions in Research and Practice Stefan Langer 12.11.99 weitergeleitet
Kerstin Brockhage, Christiane Differding, Antje von Knethen Bessere Änderbarkeit durch Verfolgbarkeit: Auswahl eines Ansatzes Austausch weitergeleitet 26.11.99 &

Neuanschaffungen der CIS-Bibliothek seit 12.99

Autor Titel Besteller Eingetroffen
Ricardo Baeza-Yates and Bertier Ribeiro-Neto Modern Information Retrieval Holger Meuss 14.12.99 inventarisiert
Larry Wall, T. Christiansen, R. Schwartz Programming Perl Peter Beham 14.12.99 inventarisiert
H.Mark Hubey Mathematical Foundations of Linguistics Leiß 14.12.99 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 01.00

Autor Titel Besteller Eingetroffen
17th International Conference on Computational Linguistics. Proceedings COLING 98 Guenthner 18.01.00 inventarisiert
Proceedings of the 8th Conference of the European Chapter of the Association for Computational Linguistics 18.01.00 inventarisiert
Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics Leiß 18.01.00 inventarisiert
Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics Leiß 18.01.00 inventarisiert
Serge Abiteboul, Peter Buneman, Dan Suciu Data on the Web: From Relations to Semistructured Data and Xml Holger 18.01.00 inventarisiert
Stumme, G.; Wille, R., (Hrsg.) Begriffliche Wissensverarbeitung Schulz 18.01.00 inventarisiert
Ganter, B.; Wille, R Formal Concept Analysis Schulz 18.01.00 inventarisiert
Ninth Conference of the European Chapter of the Association for Computational Linguistics. Proceedings EACL 99 Leiss 18.01.00 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 02.00

Autor Titel Besteller Eingetroffen
Immerman, Neil Descriptive Complexity Martin Okrslar 29.02.00 inventarisiert
Judith Eckle-Kohler Linguistisches Wissen zur automatischen Lexikon-Akquisition aus deutschen Textcorpora Guenthner 29.02.00 inventarisiert

Neuanschaffungen der CIS-Bibliothek seit 03.00

Autor Titel Besteller Eingetroffen
Proceedings of the 6th International Workshop on Parsing Technologies. IWPT 2000. ITC-IRST, Trento. Leiss 08.03.00 inventarisiert