Your search returned 583 results.

Program development by specification and transformation the PROSPECTRA methodology, language family and system eds. Berthold Hoffmann, Brnd Krieg-Brckner Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 680

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1993

Availability: No items available.

Advanced information systems engineering 2nd Nordic Conference CAISE'90, Stockholm, Sweden, May 8-10, 1990 proceedings eds. Bo Steinholtz, Arne Solvberg, Lars Bergman by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 436

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Advanced information systems engineering 4th International Conference CAISE'92, Manchester, UK, May 12-15, 1992 proceedings ed. by Pericles Loucopoulos by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 593

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1992

Availability: No items available.

Advanced information systems engineering 5th International Conference CAISE'93, Paris, France, June 8-11, 1993 proceedings eds. Colette Rolland, François Bodart, Corine Cauvet by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 685

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1993

Availability: No items available.

AI'88 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988 proceedings eds. C. J. Barter, M. J. Brooks by

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 406

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 proceedings eds. Jacques Calmet, J. A. Campbell by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 737

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1993

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Aspects of automated natural language generation 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 proceedings eds. R. Dale, E. Hovy, ... by

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 587

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1992

Availability: No items available.

Attribute grammars and their applications International Conference, Paris, France, September 19-21, 1990 proceedings eds. P. Deransart, M. Jourdan by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 461

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Automated Deduction CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, N. Y., USA, June 15-18, 1992 proceedings ed. by Deepak Kapur by

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 607

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1992

Availability: No items available.

Computational geometry methods, algorithms and applications International Workshop on Computational Geometry CG'91, Bern, Switzerland, March 21-22, 1991 proceedings ed. by H. Bieri, H. Noltemeier Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 553

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1991

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Experimental Software Engineering Issues Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, September 14-18 1992 proceedings ed. by H. Dieter Rombach, Victor R. Basili, Richard W. Selby by

ICAFD. Critical Assesment And Future Directions. International Workshop. (1992 ; Dagstuhl Castle)

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 706

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1993

Availability: No items available.

ECOOP'93 - Object-Oriented Programming 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993 proceedings ed. by Oscar M. Niestrasz by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 707

Material type:

Text

Language: eng

Publication details: Berlin; New York ; Springer ; 1993

Availability: No items available.

Information and knowledge management expanding the definition of "database" 1st International Conference, CIKM'92, Baltimore, Maryland, USA, November 8-11, 1992 selected papers ed. by Timothy W. Finin, Charles K. Nicholas, Yelena Yesha by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 752

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1993

Availability: No items available.

Logics in AI European Workshop JELIA'90, Amsterdam, The Netherlands, September 10-14, 1990 proceedings ed. by Jan van Eijck by

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 478

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1991

Availability: No items available.

Methods of Programming Selected papers on the CIP-Project M. Broy, M. Wirsing (eds.) by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 544

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1991

Availability: No items available.

MFDBS 91 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 proceedings ed. by B. Thalheim, J. Demetrovics, H. D. Gerhardt by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 495

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1991

Availability: No items available.

\The \\Nested Universal Relation Database Model by

LEVENE, Mark

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 595

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1992

Availability: No items available.

Parallel computer architectures theory, hardware, software, applications Arndt Bode, Mario Dal Cin (eds.) by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 732

Material type:

Text

Language: eng

Publication details: Berlin; New York ; Springer ; 1993

Availability: No items available.

Performance Evaluation of Computer and Communication Systems joint tutorial papers of performance '93 and sigmetrics '93 ed. by L. Donatiello, R. Nelson by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 729

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1993

Availability: No items available.

Progress in Distributed Operating Systems and Distributed Systems Management European Workshop, Berlin, FRG, April 18/19, 1989 proceedings ed. by W. Schr”der Preikschat, W. Zimmer by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 433

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1990

Availability: No items available.

Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 proceedings ed. by H. Ehring, K. P. Jantke, F. Orejas,... by

International Workshop. Specification of Abstract Data Types. ( 7 ; 1990 ; Wusterhausen )

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 534

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1991

Availability: No items available.

Software Engineering Education 7th SEI CSEE Conference, San Antonio, Texas, USA January 5-7, 1994 proceedings ed. by Jorge L. Diaz-Herrera by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 750

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1994

Availability: No items available.

Sorts and Types in Artificial Intelligence workshop, Eringerfeld, FRG, April 24-26, 1989 proceedings ed. by K. H. Bl„sius, U. Hedtstêck, C. R. Rollinger by

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 418

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1990

Availability: No items available.

Spatial information theory a theoretical basis for GIS European Conference COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 proceedings ed. by Andrew U. Frank, Irene Campari by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 716

Material type:

Text

Language: eng

Publication details: Berlin; New York ; Springer ; 1993

Availability: No items available.

Advances in Petri Nets 1990 / ed. by Grzegorz Rozenberg by

ROZENBERG, Grzegorz [ed.]

Series: Lecture Notes in Computer Science (LNCS) ; 483

Material type:

Text

Language: English

Publication details: Berlin ; Heidelberg ; New York : Springer, 1991

Availability: No items available.

Lists:

Axioms and hulls / Donald E. Knuth by

KNUTH, Donald E

Series: Lecture Notes in Computer Science (LNCS) ; 606

Material type:

Text

Language: English

Publication details: Berlin : Springer, 1992

Availability: No items available.

Deductive and Object-Oriented Databases 2nd International Conference, DOOD'91, Munich, Germany, December 16-18, 1991 Proceedings ed. by C. Delobel, M. Kifer, Y. Masunaga by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 566

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1991

Availability: No items available.

\The \\Dynamics of concepts a connectionist model Philip R. Van Loocke by

LOOCKE, Philip R. Van

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 766

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1994

Availability: No items available.

Efficient query processing in geographic information systems Ooi Beng Chen by

OOI Beng Chen

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 471

Material type:

Text

Language: eng

Publication details: Berlin ; Springer ; 1990

Availability: No items available.

\A \\Formal model of visualization in computer graphics systems Tamiya Onodera, Satoru Kawai by

ONODERA, Tamiya; KAWAI, Satoru

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 421

Material type:

Text

Language: eng

Publication details: Berlin; New York ; Springer ; 1990

Availability: No items available.

Graph-theoretic concepts in computer science 15th International Workshop, WG'89, Castle Rolduc, The Netherlands, June 14-16, 1989 proceedings by

Graph-theoretic concepts in computer science. International Workshop. (15 ; 1989 ; Castle Rolduc)

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 411

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Graph-theoretic concepts in computer science 16th International Workshop, WG'90. Berlin, Germany, June 20-22, 1990 proceedings by

Graph-theoretic concepts in computer science. International Workshop. (16 ; 1990 ; Berlin)

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 484

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1993

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Graph-theoretic concepts in computer science 17th International Workshop, WG'91. Fischbachau, Germany, June 17-19, 1991 proceedings by

Graph-theoretic concepts in computer science. International Workshop. (17 ; 1991 ; Fischbachau)

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 570

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1992

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Human computer interaction Vienna Conference, VCHCI'93, Fin de Siècle. Vienna, Austria, September, 20-22, 1993 Proceedings ed. by Thomas Grechening by

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 733

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer-Verlag ; 1993

Availability: No items available.

Hyperedge replacement grammars and languages Annegret Habel by

HABEL, Annegret

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 643

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer-Verlag ; 1992

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

\The \\IOTA programming system a modular programming environment ed. by G. Goos and j. Hartmanis by

GOOS, G.; HARTMANIS, J

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 160

Material type:

Text

Language: eng

Publication details: Berlin ; Springer-Verlag ; 1983

Availability: No items available.

\The \\Logic of information structures Heinrich Wansing by

WANSING, Heinrich

Series: Lecture Notes in Artificial Intelligence\\Springer\ | Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 681

Material type:

Text

Language: eng

Publication details: Berlin; New york ; Springer ; 1993

Availability: No items available.

Meta-level control for deductive database systems Helmut Schmidt by

SCHMIDT, Helmut

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 479

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1991

Availability: No items available.

Modelling spatial knowledge on a linguistic basis theory prototype, integration / Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons by

Series: Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science (LNCS) ; 481

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin ; Heidelberg ; New York : Springer, 1991

Availability: No items available.

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 1990 : proceedings / ed. by J. Dix, K. P. Jantke, P. H. Schmitt by

Series: Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science (LNCS) ; 543

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin ; Heidelberg ; New York : Springer, 1991

Availability: No items available.

Nonmonotonic and inductive logic : 2nd international workshop, Reinhardsbrunn Castle, Germany, December 2-6 1991 : proceedings by

Nonmonotonic and inductive logic. International Workshop (1991 ; Reinhardsbrunn Castle)

Series: Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science (LNCS)

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin ; Heidelberg ; New York : Springer, 1993

Availability: No items available.

Processing Declarative Knowledge : International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991 proceedings / ed. by H. Boley, M. M. Richter by

Series: Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science (LNCS) ; 567

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin : Springer, 1991

Availability: No items available.

Recognizing Planar Objects Using Invariant Image Features / Thomas H. Reiss by

REISS, Thomas H

Series: Lecture Notes in Computer Science (LNCS)

Material type:

Text

Language: English

Publication details: Berlin : Springer, 1993

Availability: No items available.

Specification and compositional verification of real-time systems / Jozef Hooman by

HOOMAN, Jozef

Series: Lecture Notes in Computer Science (LNCS) ; 558

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin ; Heidelberg ; New York : Springer-Verlag, 1991

Availability: No items available.

Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference ECSQARU'93, Granada, Spain, November 15-17, 1993 : proceedings / ed. by R. Kruse, P. Seigel by

Series: Lecture Notes in Computer Science (LNCS)

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin : Springer, 1993

Availability: No items available.

Symbolic and Quantitative Approaches to Uncertainty : European Conference ECSQARU'91, Marseille, France, October 15-17, 1991 : proceedings / ed. by R. Kruse, P. Seigel by

Series: Lecture Notes in Computer Science (LNCS)

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin : Springer, 1991

Availability: No items available.

Text understanding in LILOG : integrating computational linguistics and artificial intelligence : final Report on the IBM Germany LILOG-Project / ed. by O. Herzog, C. R. Rollinger by

Series: Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science (LNCS)

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin : Springer, 1991

Availability: No items available.

Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner by

Wagner, Gerd

Series: Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science (LNCS)

Material type:

Text; Audience: Specialized;

Language: English

Publication details: Berlin ; New York : Springer, 1994

Availability: No items available.

Algebraic specification techniques in object oriented programming environments / Ruth Breu by

BREU, Ruth

Series: Lecture Notes in Computer Science (LNCS) ; 562

Material type:

Text

Language: English

Publication details: Berlin ; Heidelberg ; New York : Springer, 1991

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

Combinatorics on traces Volker Diekert by

DIEKERT, Volker

Series: Lecture Notes in Computer Science (LNCS)\\Springer\ | ; 454

Material type:

Text

Language: eng

Publication details: Berlin; Heidelberg; New York ; Springer ; 1990

Availability: No items available.

Lists:

Titluri carti pentru specializarea IMRTC Braila 2018 - matematica.

1
2
3
4
5
6
7
8
9
10
Next
Last

Not finding what you're looking for?

Make a purchase suggestion
Make an interlibrary loan request

Refine your search

Your search returned 583 results.

Public lists