Biblioteca Universității "Dunărea de Jos" Search for 'se,phr:"Lecture Notes in Computer Science,"'

Program development by specification and transformation the PROSPECTRA methodology, language family and system

Berlin; Heidelberg; New York Springer 1993 .
xv, 623 p. ; 23 cm 0-387-56733-X; 3-540-56733-X

]]> Place hold on Program development by specification and transformation the PROSPECTRA methodology, language family and system

Advanced information systems engineering 2nd Nordic Conference CAISE'90, Stockholm, Sweden, May 8-10, 1990 proceedings

Berlin; Heidelberg; New York Springer 1990 .
IX, 392 p. ; 24 cm 0-387-52625-0; 3-540-52625-0

]]> Place hold on Advanced information systems engineering 2nd Nordic Conference CAISE'90, Stockholm, Sweden, May 8-10, 1990 proceedings

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

Berlin; Heidelberg; New York Springer 1992 .
XII, 650 p. ; 24 cm 0-387-55481-5; 3-540-55481-5

]]> Place hold on Advanced information systems engineering 4th International Conference CAISE'92, Manchester, UK, May 12-15, 1992 proceedings

Advanced information systems engineering 5th International Conference CAISE'93, Paris, France, June 8-11, 1993 proceedings

Berlin; Heidelberg; New York Springer 1993 .
XII, 650 p. ; 24 cm 0-387-56777-1; 3-540-56777-1

]]> Place hold on Advanced information systems engineering 5th International Conference CAISE'93, Paris, France, June 8-11, 1993 proceedings

AI'88 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988 proceedings

Berlin; Heidelberg; New York Springer 1990 .
VIII, 462 p. ; 24 cm 0-387-52062-7; 3-540-52062-7

]]> Place hold on AI'88 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988 proceedings

Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 proceedings

By AISMC. Artificial Intelligence and Symbolic Mathematical Computing. International Conference. ( 1 ; 1992 ; Karlsruhe ).
Berlin; Heidelberg; New York Springer 1993 .
VIII, 305 p. ; 23 cm 0-387-57322-4; 3-540-57322-4

]]> Place hold on Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 proceedings

Aspects of automated natural language generation 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 proceedings

Berlin; Heidelberg; New York Springer 1992 .
VIII, 311 p. ; 24 cm 0-387-55399-1; 3-540-55399-1

]]> Place hold on Aspects of automated natural language generation 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 proceedings

Attribute grammars and their applications International Conference, Paris, France, September 19-21, 1990 proceedings

Berlin; Heidelberg; New York Springer 1990 .
VIII, 358 p. ; 24 cm 0-387-53101-7; 3-540-53101-7

]]> Place hold on Attribute grammars and their applications International Conference, Paris, France, September 19-21, 1990 proceedings

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

Berlin; Heidelberg; New York Springer 1992 .
XVI, 793 p. ; 24 cm 3-540-55602-8

]]> Place hold on Automated Deduction CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, N. Y., USA, June 15-18, 1992 proceedings

Computational geometry methods, algorithms and applications International Workshop on Computational Geometry CG'91, Bern, Switzerland, March 21-22, 1991 proceedings

Berlin; Heidelberg; New York Springer 1991 .
VIII, 320 p. fig., tab. ; 24 cm 3-540-54891-2

]]> Place hold on Computational geometry methods, algorithms and applications International Workshop on Computational Geometry CG'91, Bern, Switzerland, March 21-22, 1991 proceedings

Experimental Software Engineering Issues Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, September 14-18 1992 proceedings

Berlin Springer 1993 .
XVIII, 262 p. tab., sch. ; 24 cm 3-540-57092-6

]]> Place hold on Experimental Software Engineering Issues Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, September 14-18 1992 proceedings

ECOOP'93 - Object-Oriented Programming 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993 proceedings

Berlin; New York Springer 1993 .
XII, 532 p.; 24 cm 0-387-57120-5; 3-540-57120-5

]]> Place hold on ECOOP'93 - Object-Oriented Programming 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993 proceedings

Information and knowledge management expanding the definition of "database" 1st International Conference, CIKM'92, Baltimore, Maryland, USA, November 8-11, 1992 selected papers

Berlin Springer 1993 .
142 p. ; 24 cm 0-387-57419-0; 3-540-57419-0

]]> Place hold on Information and knowledge management expanding the definition of "database" 1st International Conference, CIKM'92, Baltimore, Maryland, USA, November 8-11, 1992 selected papers

Logics in AI European Workshop JELIA'90, Amsterdam, The Netherlands, September 10-14, 1990 proceedings

Berlin Springer 1991 .
IX, 562 p.; 24 cm 3-540-53686-8

]]> Place hold on Logics in AI European Workshop JELIA'90, Amsterdam, The Netherlands, September 10-14, 1990 proceedings

Methods of Programming Selected papers on the CIP-Project

Berlin; Heidelberg; New York Springer 1991 .
XII, 268 p.; 24 cm 0-387-54576-X; 3-540-54576-X

]]> Place hold on Methods of Programming Selected papers on the CIP-Project

MFDBS 91 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 proceedings

Berlin Springer 1991 .
VI, 396 p.; 24 cm 3-540-54009-1

]]> Place hold on MFDBS 91 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 proceedings

\The \\Nested Universal Relation Database Model

By LEVENE, Mark.
Berlin Springer 1992 .
VII, 178 p.; 24 cm 3-540-55493-9

]]> Place hold on \The \\Nested Universal Relation Database Model

Parallel computer architectures theory, hardware, software, applications

Berlin; New York Springer 1993 .
VIII, 312 p. ; 24 cm 0-387-57307-0; 3-540-57307-0

]]> Place hold on Parallel computer architectures theory, hardware, software, applications

Performance Evaluation of Computer and Communication Systems joint tutorial papers of performance '93 and sigmetrics '93

Berlin Springer 1993 .
676 p.; 24 cm 3-540-57297-X

]]> Place hold on Performance Evaluation of Computer and Communication Systems joint tutorial papers of performance '93 and sigmetrics '93

Progress in Distributed Operating Systems and Distributed Systems Management European Workshop, Berlin, FRG, April 18/19, 1989 proceedings

Berlin Springer 1990 .
VI, 206 p.; 24 cm 3-540-52609-9

]]> Place hold on Progress in Distributed Operating Systems and Distributed Systems Management European Workshop, Berlin, FRG, April 18/19, 1989 proceedings

Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 proceedings

Berlin Springer 1991 .
VIII, 380 p.; 24 cm 3-540-54496-8

]]> Place hold on Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 proceedings

Software Engineering Education 7th SEI CSEE Conference, San Antonio, Texas, USA January 5-7, 1994 proceedings

Berlin Springer 1994 .
XII, 596 p.; 24 cm 3-540-57461-1

]]> Place hold on Software Engineering Education 7th SEI CSEE Conference, San Antonio, Texas, USA January 5-7, 1994 proceedings

Sorts and Types in Artificial Intelligence workshop, Eringerfeld, FRG, April 24-26, 1989 proceedings

Berlin Springer 1990 .
VIII, 308 p.; 24 cm 3-540-52337-5

]]> Place hold on Sorts and Types in Artificial Intelligence workshop, Eringerfeld, FRG, April 24-26, 1989 proceedings

Spatial information theory a theoretical basis for GIS European Conference COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 proceedings

Berlin; New York Springer 1993 .
XI, 478 p.; 24 cm 0-387-57207-4; 3-540-57207-4

]]> Place hold on Spatial information theory a theoretical basis for GIS European Conference COSIT'93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 proceedings

Advances in Petri Nets 1990 /

Berlin ; | Heidelberg ; | New York : Springer, 1991 .
VI, 515 p. : 24 cm..
0387538631 | 3540538631

]]> Place hold on Advances in Petri Nets 1990 /

Axioms and hulls /

By KNUTH, Donald E..
Berlin : Springer, 1992 .
X, 110 p. ; 24 cm..
3540556117

]]> Place hold on Axioms and hulls /

Deductive and Object-Oriented Databases 2nd International Conference, DOOD'91, Munich, Germany, December 16-18, 1991 Proceedings

Berlin Springer 1991 .
XV, 582 p.; 24 cm 3-540-55015-1

]]> Place hold on Deductive and Object-Oriented Databases 2nd International Conference, DOOD'91, Munich, Germany, December 16-18, 1991 Proceedings

\The \\Dynamics of concepts a connectionist model

By LOOCKE, Philip R. Van.
Berlin; Heidelberg; New York Springer 1994 .
340 p. ; 24 cm 0-387-57647-9; 3-540-57647-9

]]> Place hold on \The \\Dynamics of concepts a connectionist model

Efficient query processing in geographic information systems

By OOI Beng Chen.
Berlin Springer 1990 .
VIII, 208 p. ; 24 cm 0-387-53474-1; 3-540-53474-1

]]> Place hold on Efficient query processing in geographic information systems

\A \\Formal model of visualization in computer graphics systems

By ONODERA, Tamiya; KAWAI, Satoru.
Berlin; New York Springer 1990 .
X, 100 p. ; 24 cm 0-387-52395-2; 3-540-52395-2

]]> Place hold on \A \\Formal model of visualization in computer graphics systems

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

Berlin; Heidelberg; New York Springer 1990 .
VII, 372 p.; 24 cm 0-387-52292-1; 3-540-52292-1

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

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

Berlin; Heidelberg; New York Springer 1993 .
IX, 358 p. fig., tab.; 24 cm 0-387-53832-1; 3-540-53832-1

]]> Place hold on Graph-theoretic concepts in computer science 16th International Workshop, WG'90. Berlin, Germany, June 20-22, 1990 proceedings

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

Berlin; Heidelberg; New York Springer 1992 .
VIII, 252 p. fig., tab.; 24 cm 0-387-55121-2; 3-540-55121-2

]]> Place hold on Graph-theoretic concepts in computer science 17th International Workshop, WG'91. Fischbachau, Germany, June 17-19, 1991 proceedings

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

Berlin; Heidelberg; New York Springer-Verlag 1993 .
XIV, 450 p. fig., tab., sch. 23 cm 3-540-57312-7

]]> Place hold on Human computer interaction Vienna Conference, VCHCI'93, Fin de Siècle. Vienna, Austria, September, 20-22, 1993 Proceedings

Hyperedge replacement grammars and languages

By HABEL, Annegret.
Berlin; Heidelberg; New York Springer-Verlag 1992 .
X, 214 p. fig. ; 24 cm 3-540-56005-X

]]> Place hold on Hyperedge replacement grammars and languages

\The \\IOTA programming system a modular programming environment

By GOOS, G.; HARTMANIS, J..
Berlin Springer-Verlag 1983 .
217 p. ; 24 cm 3-540-12693-7

]]> Place hold on \The \\IOTA programming system a modular programming environment

\The \\Logic of information structures

By WANSING, Heinrich.
Berlin; New york Springer 1993 .
IX, 164 p. ; 24 cm 0-387-56734-8; 3-540-56734-8

]]> Place hold on \The \\Logic of information structures

Meta-level control for deductive database systems

By SCHMIDT, Helmut.
Berlin; Heidelberg; New York Springer 1991 .
VI, 156 p.; 24 cm 0-387-53754-6; 3-540-53754-6

]]> Place hold on Meta-level control for deductive database systems

Modelling spatial knowledge on a linguistic basis theory prototype, integration /

By CARSTENSEN, Kai-Uwe.
Berlin ; | Heidelberg ; | New York : Springer, 1991 .
VIII, 138 p. ; 24 cm..
038753718X | 354053718X

]]> Place hold on Modelling spatial knowledge on a linguistic basis theory prototype, integration /

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 1990 : proceedings /

Berlin ; | Heidelberg ; | New York : Springer, 1991 .
X, 244 p. ; 24 cm..
0378545646 | 3540545646

]]> Place hold on Nonmonotonic and inductive logic :

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

Berlin ; | Heidelberg ; | New York : Springer, 1993 .
VIII, 332 p. ; 24 cm..
0378564330 | 3540564330

]]> Place hold on Nonmonotonic and inductive logic :

Processing Declarative Knowledge : International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991 proceedings /

Berlin : Springer, 1991 .
XII, 428 p. ; 24 cm..
354055033X

]]> Place hold on Processing Declarative Knowledge :

Recognizing Planar Objects Using Invariant Image Features /

By REISS, Thomas H..
Berlin : Springer, 1993 .
X, 180 p. ; 24 cm..
3540567135

]]> Place hold on Recognizing Planar Objects Using Invariant Image Features /

Specification and compositional verification of real-time systems /

By HOOMAN, Jozef.
Berlin ; | Heidelberg ; | New York : Springer-Verlag, 1991 .
VIII, 235 p. : 24 cm.
0387549471 | 3540540471

]]> Place hold on Specification and compositional verification of real-time systems /

Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference ECSQARU'93, Granada, Spain, November 15-17, 1993 : proceedings /

Berlin : Springer, 1993 .
X, 390 p. ; 24 cm.
354057395X

]]> Place hold on Symbolic and Quantitative Approaches to Reasoning and Uncertainty :

Symbolic and Quantitative Approaches to Uncertainty : European Conference ECSQARU'91, Marseille, France, October 15-17, 1991 : proceedings /

Berlin : Springer, 1991 .
XI, 362 p. ; 24 cm.
3540546596

]]> Place hold on Symbolic and Quantitative Approaches to Uncertainty :

Text understanding in LILOG : integrating computational linguistics and artificial intelligence : final Report on the IBM Germany LILOG-Project /

Berlin : Springer, 1991 .
XI, 738 p. ; 24 cm..
3540545948

]]> Place hold on Text understanding in LILOG :

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

By Wagner, Gerd.
Berlin ; | New York : Springer, 1994 .
XII, 148 p. ; 23 cm.
0387576045 | 3540576045

]]> Place hold on Vivid logic :

Algebraic specification techniques in object oriented programming environments /

By BREU, Ruth.
Berlin ; | Heidelberg ; | New York : Springer, 1991 .
XII, 228 p. ; 24 cm..
0387549722 | 3540549722

]]> Place hold on Algebraic specification techniques in object oriented programming environments /

Combinatorics on traces

By DIEKERT, Volker.
Berlin; Heidelberg; New York Springer 1990 .
XII, 165 p. fig. ; 24 cm 0-387-53031-2; 3-540-53031-2

]]> Place hold on Combinatorics on traces