2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
The Ultimate Spanish Phrase Finder: The 2-in-1 Bilingual Dictionary of 75,000 Phrases, Idioms, and Word Combinations for Rapid Reference
Whit Wirsing
Категория:
Языкознание
,
Словари
16.05 Mb
#2
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Martin Wirsing
,
Martin Hofmann
,
Axel Rauschmayer
Категория:
Компьютеры
5.78 Mb
#3
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Martin Wirsing
,
Martin Hofmann
,
Axel Rauschmayer
5.18 Mb
#4
Fixing fractured nations: the challenge of ethnic separatism in the Asia-Pacific
Robert G. Wirsing
,
Ehsan Ahrari
1.02 Mb
#5
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Martin Wirsing
,
Matthias Hölzl
13.54 Mb
#6
Nobody is perfect
Kiesbauer Arabella
,
Wirsing Yvonne
Категория:
fiction
427 Kb
#7
Number Theory
Germany) Journees Arithmetiques 1987 (Ulm
,
H. P. Schlickewei
,
E. Wirsing
,
E. Wirsing
1.92 Mb
#8
Number Theory
Hans P. Schlickewei
,
Eduard Wirsing
Категория:
Lecture notes
1.47 Mb
#9
STACS 87, Theoretical Aspects of Computer Science 4 conf
Franz J. Brandenburg
,
Guy Vidal-Naquet
,
Martin Wirsing
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.38 Mb
#10
Theoretical Aspects of Computing - ICTAC 2005, 2 conf
Dang Van Hung
,
Martin Wirsing
Категория:
Cs_Computer science
,
CsLn_Lecture notes
5.67 Mb
#11
Recent Trends in Algebraic Development Techniques, 16 conf., WADT 2002
Martin Wirsing
,
Dirk Pattinson
,
Rolf Hennicker
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.77 Mb
#12
STACS 88, Theoretical Aspects of Computer Science 5 conf
Robert Cori
,
Martin Wirsing
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.89 Mb
#13
Programming Language Implementation and Logic Programming, 4 conf., PLILP'92
Maurice Bruynooghe
,
Martin Wirsing
Категория:
CsLn_
4.27 Mb
#14
Web Engineering - 4 conf., ICWE 2004
Nora Koch
,
Piero Fraternali
,
Martin Wirsing
Категория:
CsLn_
11.77 Mb
#15
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Iman Poernomo
,
John N. Crossley
,
Martin Wirsing
4.66 Mb
#16
Adapting proofs-as-programs
Iman Poernomo
,
John N. Crossley
,
Martin Wirsing
2.25 Mb
#17
The Ultimate Spanish Phraze Finder
Whit Wirsing
15.91 Mb
#18
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Iman Poernomo
,
John N. Crossley
,
Martin Wirsing
1.53 Mb
#19
Software-Intensive Systems and New Computing Paradigms
Martin Wirsing
,
Jean-Pierre Banatre
,
Matthias Hölzl
,
Axel Rauschmayer
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.54 Mb
#20
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Martin Wirsing
,
Maurice Nivat
6.79 Mb
#21
Methods of Programming: Selected Papers on the CIP-Project
Manfred Broy
,
Martin Wirsing
2.20 Mb
#22
Radical Innovations of Software and Systems Engineering in the Future
Martin Wirsing
,
Alexander Knapp
,
Simonetta Balsamo
3.50 Mb