Home
Latest Books
Advanced Search
How to Download
Home
Advanced Search
Advanced Search
- Page 1
Title
Author
Publisher
ISBN
Language
English
Russian
Ukrainian
German
French
Italian
Japanese
Spanish
Portuguese
Latin
Czech
Bulgarian
Russian (Old)
Abkhaz
Afar
Afrikaans
Akan
Albanian
Amharic
Arabic
Aragonese
Armenian
Assamese
Avaric
Avestan
Aymara
Azerbaijani
Bambara
Bashkir
Basque
Belarusian
Bengali
Bihari
Bislama
Bosnian
Breton
Burmese
Catalan
Chamorro
Chechen
Chichewa
Chinese
Chuvash
Cornish
Corsican
Cree
Croatian
Danish
Divehi
Dutch
Dzongkha
Esperanto
Estonian
Ewe
Faroese
Fijian
Finnish
Fula
Galician
Ganda
Georgian
Greek
Guaraní
Gujarati
Haitian
Hausa
Hebrew
Herero
Hindi
Hiri Motu
Hungarian
Icelandic
Ido
Igbo
Indonesian
Interlingua
Interlingue
Inuktitut
Inupiaq
Irish
Javanese
Kalaallisut
Kannada
Kanuri
Kashmiri
Kazakh
Khmer
Kikuyu
Kinyarwanda
Kirundi
Komi
Kongo
Korean
Kurdish
Kwanyama
Kyrgyz
Lao
Latvian
Limburgish
Lingala
Lithuanian
Luba-Katanga
Luxembourgish
Macedonian
Malagasy
Malay
Malayalam
Maltese
Manx
Marathi
Marshallese
Mongolian
Māori
Nauru
Navajo
Ndonga
Nepali
North Ndebele
Northern Sami
Norwegian
Norwegian Bokmål
Norwegian Nynorsk
Nuosu
Occitan
Ojibwe
Old Church Slavonic
Oriya
Oromo
Ossetian
Panjabi
Pashto
Persian
Polish
Pāli
Quechua
Romanian
Romansh
Samoan
Sango
Sanskrit
Sardinian
Scottish Gaelic
Serbian
Shona
Sindhi
Sinhala
Slovak
Slovene
Somali
South Ndebele
Southern Sotho
Sundanese
Swahili
Swati
Swedish
Tagalog
Tahitian
Tajik
Tamil
Tatar
Telugu
Thai
Tibetan Standard
Tigrinya
Tonga
Tsonga
Tswana
Turkish
Turkmen
Twi
Uighur
Urdu
Uzbek
Venda
Vietnamese
Volapük
Walloon
Welsh
Western Frisian
Wolof
Xhosa
Yiddish
Yoruba
Zhuang
Zulu
Extension
pdf
djvu
epub
doc
mobi
rar
zip
azw3
Year
Submit
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
PDF
English
Year: 2012
Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks
PDF
English
Year: 2014
Author: Onn Shehory, Arnon Sturm (eds.)
Agent-Oriented Software Engineering: Reflections on Architectures
PDF
English
Year: 2014
Author: Onn Shehory
Cooperative Information Agents III: Third International Workshop, CIA’99 Uppsala, Sweden, July 31–August 2, 1999 Proceedings
PDF
English
Year: 1999
Author: Walt Truszkowski, Harold Hallock (auth.), Matthias Klusch, Onn M. Shehory, Gerhard Weiss (eds.)
Cooperative Information Agents VI: 6th International Workshop, CIA 2002 Madrid, Spain, September 18–20, 2002 Proceedings
PDF
English
Year: 2002
Author: Ricardo Baeza-Yates, José Miguel Piquer (auth.), Matthias Klusch, Sascha Ossowski, Onn Shehory (eds.)
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets: AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers
PDF
English
Year: 2010
Author: Sofia Ceppi, Nicola Gatti (auth.), Esther David, Enrico Gerding, David Sarne, Onn Shehory (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
PDF
English
Year: 2009
Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
PDF
English
Year: 2009
Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
PDF
English
Year: 2013
Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)
Handbook of satisfiability
PDF
English
Year: 2021
Author: Armin Biere
1
2
3
4
5
...
20113
search