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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Logics and meanings of programs<.>)
Общее количество найденных документов : 94
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Principles and practice of constraint programming – CP 2010 [Electronic resource] : 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010 : proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6308
Вид и объем ресурса: Electronic text data
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
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Aalst W.M. van der
Заглавие : Process mining [Electronic resource] : discovery, conformance and enhancement of business processes
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
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
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Practical aspects of declarative languages [Electronic resource] : 13th international symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6539
Вид и объем ресурса: Electronic text data
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)
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : NASA formal methods [Electronic resource] : third international symposium, NFM 2011, Pasadena, Ca, USA, April 18-20, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6617
Вид и объем ресурса: Electronic text data
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
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Objects, models, components, patterns [Electronic resource] : 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6705
Вид и объем ресурса: Electronic text data
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
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : 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
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6602
Вид и объем ресурса: Electronic text data
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)
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Relational and algebraic methods in computer science [Electronic resource] : 12th international conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 – June 3, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6663
Вид и объем ресурса: Electronic text data
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)
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Автор(ы) : Romanovsky A., Vardanega T.
Заглавие : Reliable software technologies - ada-europe 2011 [Electronic resource] : 16th ada-europe international conference on reliable software technologies, edinburgh, UK, June 20-24, 2011: proceedings
Выходные данные : Berlin; Heidelberg : Springer , 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6652
Вид и объем ресурса: Electronic text data
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
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : 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
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6384
Вид и объем ресурса: Electronic text data
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
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Programming languages and systems [Electronic resource] : 8th asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6461
Вид и объем ресурса: Electronic text data
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
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)