Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Logic design<.>)
Общее количество найденных документов : 99
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.


    Aalst, W.M. van der
    Process mining [Electronic resource] : discovery, conformance and enhancement of business processes / W. M. van der Aalst. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - ISBN 978-3-642-19345-3 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Information storage and retrieval systems
   Information systems
   Management information systems
   Computer science
   Information systems applications (incl.internet)
   Information storage and retrieval
   Business information systems
   Software engineering
   Logics and meanings of programs
   Computer appl. in administrative data processing

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.


   
    Programming languages and systems [Electronic resource] : 20th european symposium on programming, ESOP 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings / ed. G. Barthe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6602). - ISBN 978-3-642-19718-5 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Computer communication networks
   Logics and meanings of programs
   Programming techniques
   Programming languages, compilers, interpreters
   Artificial intelligence (incl. robotics)

См. : Текст издания

Доп.точки доступа:
Barthe, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.


   
    Programming languages and systems [Electronic resource] : 8th asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings / ed.: K. Ueda. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6461). - ISBN 978-3-642-17164-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data protection
   Logic design
   Computer science
   Programming languages, compilers, interpreters
   Software engineering
   Logics and meanings of programs
   Systems and data security
   Programming techniques
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Ueda, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.


   
    Power electronics and instrumentation engineering [Electronic resource] : international conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010: proceedings / ed. V. V. Das [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Communications in computer and information science, ISSN 1865-0929 ; 102). - ISBN 978-3-642-15739-4 : Б. ц.

Рубрики: Computer science
   Computer hardware
   Microprogramming
   Logic design
   Software engineering
   Computer science
   Special purpose and application-based systems
   Software engineering
   Processor architectures
   Logic design
   Computer hardware
   Control structures and microprogramming

См. : Текст издания

Доп.точки доступа:
Das, V.V. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.


   
    Practical aspects of declarative languages [Electronic resource] : 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011: proceedings / eds. R. Rocha, J. Launchbury. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6539). - ISBN 978-3-642-18378-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Programming languages, compilers, interpreters
   Programming techniques
   Logics and meanings of programs
   Software engineering
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)

См. : Текст издания

Доп.точки доступа:
Rocha, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.


   
    Principles and practice of constraint programming – CP 2010 [Electronic resource] : 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010 : proceedings / ed. D. Cohen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6308). - ISBN 978-3-642-15396-9 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Artificial intelligence
   Computer science
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Logics and meanings of programs
   Artificial intelligence (incl. robotics)
   Programming languages, compilers, interpreters
   Computation by abstract devices

См. : Текст издания

Доп.точки доступа:
Cohen, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.


    Romanovsky, A.
    Reliable software technologies - ada-europe 2011 [Electronic resource] : 16th ada-europe international conference on reliable software technologies, edinburgh, UK, June 20-24, 2011: proceedings / A. Romanovsky, T. Vardanega. - Electronic text data. - Berlin ; Heidelberg : Springer , 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6652). - ISBN 978-3-642-21338-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Programming languages, compilers, interpreters
   Software engineering
   Logics and meanings of programs
   Computer communication networks
   Programming techniques
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Vardanega, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.


   
    Rewriting logic and its applications [Electronic resource] : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / ed.: P. C. Ölveczky. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6381). - ISBN 978-3-642-16310-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Logics and meanings of programs
   Software engineering
   Programming techniques
   Programming languages, compilers, interpreters
   Mathematical logic and formal languages
   Models and principles

См. : Текст издания

Доп.точки доступа:
Ölveczky, P.C. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
9.


   
    Rigorous software development [Electronic resource] : an introduction to program verification / J. B. Almeida [et al.]. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-018-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Computer science
   Software engineering
   Logics and meanings of programs
   Symbolic and algebraic manipulation

См. : Текст издания

Доп.точки доступа:
Almeida, J.B.; Frade, M.J.; Pinto, J.S.; Melo de Sousa, S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
10.


   
    Rainbow of computer science [Electronic resource] : dedicated to Hermann Maurer on the occasion of his 70th birthday / ed. C. S. Calude [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6570). - ISBN 978-3-642-19391-0 : Б. ц.

Рубрики: Computer science
   Information theory
   Logic design
   Artificial intelligence
   Computer science
   Theory of computation
   Logics and meanings of programs
   Mathematical logic and formal languages
   User interfaces and human computer interaction
   Artificial intelligence (incl. robotics)
   Computers and society

См. : Текст издания

Доп.точки доступа:
Calude, C.S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
11.


   
    Recent advances in constraints [Electronic resource] : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / eds.: J. Larrosa, B. O’Sullivan. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6384). - ISBN 978-3-642-19486-3 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Mathematical logic and formal languages
   Programming languages, compilers, interpreters
   Symbolic and algebraic manipulation
   Algorithm analysis and problem complexity

См. : Текст издания

Доп.точки доступа:
Larrosa, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
12.


   
    Relational and algebraic methods in computer science [Electronic resource] : 12th international conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 – June 3, 2011 : proceedings / ed. H. Swart. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6663). - ISBN 978-3-642-21070-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Computer simulation
   Computer science
   Mathematical logic and formal languages
   Symbolic and algebraic manipulation
   Logics and meanings of programs
   Software engineering
   Simulation and modeling
   Artificial intelligence (incl. robotics)

См. : Текст издания

Доп.точки доступа:
Swart, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
13.


    Platzer, A.
    Logical analysis of hybrid systems [Electronic resource] : proving theorems for complex dynamics / A. Platzer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-14509-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Artificial intelligence
   Computer science
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Mathematics of computing
   Logics and meanings of programs
   Control, robotics, mechatronics

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
14.


   
    Logics in artificial intelligence [Electronic resource] : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings / eds. T. Janhunen, I. Niemelä. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6341). - ISBN 978-3-642-15675-5 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Information systems applications (incl.internet)
   Software engineering
   Logics and meanings of programs
   Symbolic and algebraic manipulation

См. : Текст издания

Доп.точки доступа:
Janhunen, T. \ред.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
15.


   
    Model checking software [Electronic resource] : 17th international SPIN workshop, Enschede, the Netherlands, September 27-29, 2010 : proceedings / eds. J. Pol, M. Weber. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6349). - ISBN 978-3-642-16164-3 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Pol, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
16.


   
    Logic, language and meaning [Electronic resource] : 17th Amsterdam colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers / eds. M. Aloni [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6042). - ISBN 978-3-642-14287-1 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Information systems
   Computer science
   Symbolic and algebraic manipulation
   Computer appl. in arts and humanities
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Software engineering

См. : Текст издания

Доп.точки доступа:
Aloni, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
17.


   
    Logic, language, information and computation [Electronic resource] : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / ed. L. D. Beklemishev, R. Queiroz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6642). - ISBN 978-3-642-20920-8 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Computational complexity
   Algebra--Data processing
   Computer science
   Mathematical logic and formal languages
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Discrete mathematics in computer science
   Symbolic and algebraic manipulation

См. : Текст издания

Доп.точки доступа:
Beklemishev, L.D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
18.


   
    Logic-based program synthesis and transformation [Electronic resource] : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / ed. M. Alpuente. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6564). - ISBN 978-3-642-20551-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Algorithms
   Computer science
   Software engineering
   Programming techniques
   Logics and meanings of programs
   Artificial intelligence (incl. robotics)
   Algorithms

См. : Текст издания

Доп.точки доступа:
Alpuente, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
19.


   
    Multiagent system technologies [Electronic resource] : 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 : proceedings / eds. J. Dix, C. Witteveen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6251). - ISBN 978-3-642-16178-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Software engineering
   Computer communication networks
   Information systems applications (incl.internet)
   Programming techniques
   Logics and meanings of programs

См. : Текст издания

Доп.точки доступа:
Dix, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
20.


   
    NASA formal methods [Electronic resource] : third international symposium, NFM 2011, Pasadena, Ca, USA, April 18-20, 2011 : proceedings / ed. M. Bobaru [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6617). - ISBN 978-3-642-20398-5 : Б. ц.

Рубрики: Computer science
   Software engineering
   Operating systems (computers)
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Operating systems
   Logics and meanings of programs
   Software engineering/programming and operating systems
   Programming techniques

См. : Текст издания

Доп.точки доступа:
Bobaru, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
21.


   
    Objects, models, components, patterns [Electronic resource] : 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011: proceedings / eds. J. Bishop, A. Vallecillo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6705). - ISBN 978-3-642-21952-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Mathematical logic and formal languages
   Computer communication networks

См. : Текст издания

Доп.точки доступа:
Bishop, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
22.


   
    Model-Based engineering of embedded real-time systems [Electronic resource] : International dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers / ed. H. Giese [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6100). - ISBN 978-3-642-16277-0 : Б. ц.

Рубрики: Computer science
   Computer system performance
   Software engineering
   Logic design
   Computer simulation
   Computer science
   Software engineering
   Programming techniques
   Programming languages, compilers, interpreters
   Logics and meanings of programs
   Simulation and modeling
   System performance and evaluation

См. : Текст издания

Доп.точки доступа:
Giese, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
23.


   
    Modelling foundations and applications [Electronic resource] : 7th european conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings / eds. R. B. France [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6698). - ISBN 9783642214707 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Computer communication networks
   Management of computing and information systems
   Programming techniques

См. : Текст издания

Доп.точки доступа:
France, R.B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
24.


   
    Models in software engineering [Electronic resource] : workshops and symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010 : reports and revised selected papers / ed. J. Dingel, A. Solberg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6627). - ISBN 978-3-642-21210-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer simulation
   Information systems
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs
   Management of computing and information systems
   Simulation and modeling

См. : Текст издания

Доп.точки доступа:
Dingel, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
25.


   
    Runtime verification [Electronic resource] : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / ed. H. Barringer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6418). - ISBN 978-3-642-16612-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Logic design
   Computer science
   Software engineering
   Algorithm analysis and problem complexity
   Logics and meanings of programs
   Programming techniques
   Programming languages, compilers, interpreters
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Barringer, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
26.


   
    Transactions on high-performance embedded architectures and compilers III [Electronic resource] / ed. P. Stenström. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6590). - ISBN 978-3-642-19448-1 : Б. ц.

Рубрики: Computer science
   Data transmission systems
   Logic design
   Computer communication networks
   Computer science
   Arithmetic and logic structures
   Processor architectures
   Input/Output and data communications
   Logic design
   Computer communication networks
   Programming languages, compilers, interpreters

См. : Текст издания

Доп.точки доступа:
Stenström, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
27.


    Victor, P.
    Trust networks for recommender systems [Electronic resource] / P. Victor, C. Cornelis, M. de Cock. - Electronic text data. - Paris : Atlantis Press, 2011. - (Atlantis computational intelligence systems, ISSN 1875-7650 ; 4). - ISBN 978-94-91216-08-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Logic design

См. : Текст издания

Доп.точки доступа:
Cornelis, C.; de Cock, M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
28.


   
    Typed lambda calculi and applications [Electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6690). - ISBN 978-3-642-21691-6 : Б. ц.

Рубрики: Computer science
   Logic design
   Algebra--Data processing
   Electronic data processing
   Logic, symbolic and mathematical
   Computer science
   Mathematical logic and formal languages
   Mathematics of computing
   Logics and meanings of programs
   Symbolic and algebraic manipulation
   Computing methodologies
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
Ong, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
29.


   
    Theory and practice of model transformations [Electronic resource] : 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011: proceedings / eds J. Cabot, E. Visser. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6707). - ISBN 978-3-642-21732-6 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Computer communication networks
   Programming techniques
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Cabot, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
30.


   
    Tools and algorithms for the construction and analysis of systems [Electronic resource] : 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 :proceedings / eds.: P. A. Abdulla, K. R. Leino. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6605). - ISBN 978-3-642-19835-9 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Logics and meanings of programs
   Computer communication networks
   Programming languages, compilers, interpreters
   Artificial intelligence (incl. robotics)
   Programming techniques

См. : Текст издания

Доп.точки доступа:
Abdulla, P.A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)