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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Logic design<.>)
Общее количество найденных документов : 99
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Advances in power electronics and instrumentation engineering [Electronic resource] : second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Communications in computer and information science, ISSN 1865-0929; 148
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-20499-9: Б.ц.
Предметные рубрики: 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
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Agent-Oriented software engineering X [Electronic resource] : 10th International workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6038
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19208-1: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Artificial intelligence (incl. robotics)
Logics and meanings of programs
Programming techniques
Computer communication networks
Programming languages, compilers, interpreters
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic informatics [Electronic resource] : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6742
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21493-6: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computational complexity
Algebra-- Data processing
Computer science
Logics and meanings of programs
Mathematical logic and formal languages
Symbolic and algebraic manipulation
Software engineering
Discrete mathematics in computer science
Mathematics of computing
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algebraic methodology and software technology [Electronic resource] : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6486
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17796-5: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Artificial intelligence (incl. robotics)
Programming techniques
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Algorithmic learning theory [Electronic resource] : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6331
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16108-7: Б.ц.
Предметные рубрики: Computer science
Computer software
Logic design
Artificial intelligence
Education
Computer science
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Algorithm analysis and problem complexity
Computation by abstract devices
Logics and meanings of programs
Computers and education
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Applications and theory of petri nets [Electronic resource] : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011: proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6709
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21834-7: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Computation by abstract devices
Software engineering
Logics and meanings of programs
Programming techniques
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Architecting dependable systems VII [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6420
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17245-8: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Software engineering
Programming languages, compilers, interpreters
Programming techniques
Logics and meanings of programs
Software engineering/programming and operating systems
Models and principles
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automata, languages and programming [Electronic resource] : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011: proceedings: part 2
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6756
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-22012-8: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Computer software
Logic design
Computer science
Logics and meanings of programs
Software engineering
Mathematical logic and formal languages
Computer communication networks
Algorithm analysis and problem complexity
Computation by abstract devices
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6301
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21046-4: Б.ц.
Предметные рубрики: Computer science
Logic design
Computational complexity
Artificial intelligence
Computer graphics
Discrete groups
Computer science
Artificial intelligence (incl. robotics)
Computer graphics
Mathematical logic and formal languages
Logics and meanings of programs
Discrete mathematics in computer science
Convex and discrete geometry
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated reasoning with analytic tableaux and related methods [Electronic resource] : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6793
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-22119-4: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Programming techniques
Software engineering
Logics and meanings of programs
Найти похожие
11.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Automated technology for verification and analysis [Electronic resource] : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6252
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15643-4: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Software engineering
Programming techniques
Computer communication networks
Logics and meanings of programs
Programming languages, compilers, interpreters
Software engineering/programming and operating systems
Найти похожие
12.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Business process management [Electronic resource] : 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6336
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15618-2: Б.ц.
Предметные рубрики: Computer science
Software engineering
Computer software
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Programming techniques
Algorithm analysis and problem complexity
Models and principles
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Central european functional programming school [Electronic resource] : Third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009: revised selected lectures
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6299
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17685-2: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Software engineering
Programming languages, compilers, interpreters
Programming techniques
Logics and meanings of programs
Mathematical logic and formal languages
Computer communication networks
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Computational logic in multi-agent systems [Electronic resource] : 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6214
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16867-3: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Information systems
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Computer communication networks
Software engineering
Information systems applications (incl.internet)
Logics and meanings of programs
Найти похожие
15.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Computer performance engineering [Electronic resource] : 7th european performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6342
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15784-4: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Information systems
Computer science
Software engineering
Computer communication networks
Logics and meanings of programs
Information systems applications (incl.internet)
Programming techniques
Programming languages, compilers, interpreters
Найти похожие
16.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Computer science – theory and applications [Electronic resource] : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6651
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-20712-9: Б.ц.
Предметные рубрики: Computer science
Computer software
Logic design
Computational complexity
Computer science
Algorithm analysis and problem complexity
Logics and meanings of programs
Mathematical logic and formal languages
Discrete mathematics in computer science
Computation by abstract devices
Mathematics of computing
Найти похожие
17.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Conceptual modeling – ER 2010 [Electronic resource] : 29th international conference on conceptual modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6412
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16373-9: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Programming techniques
Artificial intelligence (incl. robotics)
Software engineering/programming and operating systems
Найти похожие
18.
Вид документа : Монографическая серия
Шифр издания :
Автор(ы) : Lee M.L., Yu J.X., Bellahsène Z., Unland R.
Заглавие : Database and xml technologies [Electronic resource] : 7th international XML database symposium, XSym 2010, Singapore, September 17, 2010: proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6309
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15684-7: Б.ц.
Предметные рубрики: Computer science
Software engineering
Data structures (computer science)
Computer software
Logic design
Database management
Information storage and retrieval systems
Computer science
Database management
Information storage and retrieval
Data structures
Algorithm analysis and problem complexity
Software engineering
Logics and meanings of programs
Найти похожие
19.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Declarative agent languages and technologies VIII [Electronic resource] : 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6619
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-20715-0: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Artificial intelligence
Computer science
Artificial intelligence (incl. robotics)
Models and principles
Computer communication networks
Software engineering
Programming languages, compilers, interpreters
Logics and meanings of programs
Найти похожие
20.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Distributed computing and internet technology [Electronic resource] : 7th international conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6536
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19056-8: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Information storage and retrieval systems
Information systems
Multimedia systems
Computer science
Computer communication networks
Information systems applications (incl.internet)
Multimedia information systems
Software engineering
Information storage and retrieval
Logics and meanings of programs
Найти похожие
21.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Evaluation of novel approaches to software engineering [Electronic resource] : 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009 : revised selected papers
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Communications in computer and information science, ISSN 1865-0929; 69
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14819-4: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Information systems
Information systems
Computer science
Software engineering
Logics and meanings of programs
Computer communication networks
Programming languages, compilers, interpreters
Information systems applications (incl.internet)
Management of computing and information systems
Найти похожие
22.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Evolvable systems: from biology to hardware [Electronic resource] : 9th international conference, ICES 2010, York, UK, September 6-8, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6274
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15323-5: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Artificial intelligence
Computer science
Software engineering
Computation by abstract devices
Computer communication networks
Artificial intelligence (incl. robotics)
Logics and meanings of programs
Special purpose and application-based systems
Найти похожие
23.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : FM 2011: formal methods [Electronic resource] : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6664
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21437-0: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Information systems
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Programming techniques
Mathematical logic and formal languages
Management of computing and information systems
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal methods for components and objects [Electronic resource] : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6286
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17071-3: Б.ц.
Предметные рубрики: 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
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal methods for industrial critical systems [Electronic resource] : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6371
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15898-8: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Special purpose and application-based systems
Найти похожие
26.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal methods: foundations and applications [Electronic resource] : 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6527
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19829-8: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Information systems
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Programming techniques
Mathematical logic and formal languages
Management of computing and information systems
Найти похожие
27.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal modeling and analysis of timed systems [Electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6246
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15297-9: Б.ц.
Предметные рубрики: Computer science
Software engineering
Computer software
Logic design
Computer science
Logics and meanings of programs
Software engineering
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Programming techniques
Algorithm analysis and problem complexity
Найти похожие
28.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal techniques for distributed systems [Electronic resource] : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6722
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21461-5: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Computer communication networks
Programming techniques
Software engineering
Programming languages, compilers, interpreters
Logics and meanings of programs
Mathematical logic and formal languages
Найти похожие
29.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Formal verification of object-oriented software [Electronic resource] : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010: revised selected papers
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6528
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-18070-5: Б.ц.
Предметные рубрики: Computer science
Software engineering
Logic design
Information systems
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Programming techniques
Mathematical logic and formal languages
Management of computing and information systems
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Foundational and practical aspects of resource analysis [Electronic resource] : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6324
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15331-0: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Computer software
Logic design
Computer science
Software engineering
Logics and meanings of programs
Programming languages, compilers, interpreters
Computer communication networks
Algorithm analysis and problem complexity
Programming techniques
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)