Your search returned 1706 results.

Not what you expected? Check for suggestions
1501.
Neural Networks: Tricks of the Trade

by Genevieve B. Orr, Klaus-Robert Müller.

Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1502.
Software Process Technology

by Wilhelm Schäfer.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1503.
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

by S. Abramsky, T.S.E. Maibaum.

Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1504.
Logics in Artificial Intelligence

by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1505.
The Munich Project CIP

Series: Lecture Notes in Computer ScienceEdition: 1987Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1506.
Semantics of Systems of Concurrent Processes

by Irene Guessarian.

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 1990Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1507.
Scale-Space Theory in Computer Vision

by Bart ter Haar Romeny, Luc Florack, Jan Koenderink, Max Viergever.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1508.
An Introduction to the PL/CV2 Programming Logic

by R. L. Constable, S. D. Johnson, C. D. Eichenlaub.

Series: Lecture Notes in Computer ScienceEdition: 1982Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1982Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1509.
Lectures on Data Security

by Ivan Damgard.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1510.
Rewriting Techniques and Applications

by Paliath Narendran, Michael Rusinowitch.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1511.
Methodologies for Intelligent Systems

by Zbigniew W. Ras, Maria Zemankova.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1512.
Program Development by Specification and Transformation

by Berthold Hoffmann, Bernd Krieg-Brückner.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1513.
Logical Aspects of Computational Linguistics

by Alain Lecomte, Francois Lamarche, Guy Perrier.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1514.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty

by Christine Froidevaux, Juerg Kohlas.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1515.
Negation and Control in Prolog

by Lee Naish.

Series: Lecture Notes in Computer ScienceEdition: 1986Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1986Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1516.
Trends in Natural Language Generation: An Artificial Intelligence Perspective

by Giovanni Adorni, Michael Zock.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1517.
Meta-Level Architectures and Reflection

by Pierre Cointe.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1518.
Parallel and Distributed Computing: Theory and Practice

by Michel Cosnard, Afonso Ferreira, Joseph Peters.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1519.
Turing Machines with Sublogarithmic Space

by Andrzej Szepietowski.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

1520.
Paragon

by Mark S. Sherman.

Series: Lecture Notes in Computer ScienceEdition: 1985Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1985Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .