Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: 004.0151)
Results:378items
Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994. Proceedings / edited by Setsuo Arikawa, Klaus P. Jantke
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 872)
E-Book
Algorithms - ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings / edited by Jan van Leeuwen
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 855)
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings / edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 863)
Algorithm Theory - SWAT '94 : 4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings / edited by Erik M. Schmidt, Sven Skyum
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 824)
Automata, Languages, and Programming : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings / edited by Serge Abiteboul, Eli Shamir
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 820)
Algorithms and Complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings / edited by Maurizio Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 778)
Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings / edited by Anil Nerode, Yu.V. Matiyasevich
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 813)
Orders, Algorithms and Applications : International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings / edited by Vincent Bouchitte, Michel Morvan
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 831)
Graph-Theoretic Concepts in Computer Science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings / edited by Jan van Leeuwen
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 790)
Turing Machines with Sublogarithmic Space / by Andrzej Szepietowski
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 843)
Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 832)
Treewidth : Computations and Approximations / by Ton Kloks
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 842)
Algebraic Coding : First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings / edited by Gerard Cohen, Simon Litsyn, Antoine Lobstein, Gilles Zemor
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 781)
Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 802)
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / edited by Henk Barendregt, Tobias Nipkow
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 806)
Distributed Algorithms : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / edited by Gerard Tel, Paul Vitanyi
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 857)
An Extended Entity-Relationship Model : Fundamentals and Pragmatics / by Martin Gogolla
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 767)
The Newton-Cauchy Framework : A Unified Approach to Unconstrained Nonlinear Minimization / by John L. Nazareth
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 769)
CONCUR '94: Concurrency Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings / edited by Bengt Jonsson, Joachim Parrow
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 836)
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 775)