Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Israel"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
Showing
1
-
20
of
62
Search:
'"Israel"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
100 algorithms challenge
Published 2022
Manning Publications
Call Number:
QA76.9.A43
Read Now
2
Introduction to property testing
by
Goldreich, Oded
Published 2018
Cambridge University Press
Call Number:
QA76.9.A43
Read Now
3
Basic concepts in data structures
by
Klein, Shmuel T.
Published 2016
Cambridge University Press
Call Number:
QA76.9.D35
Read Now
4
Fast Software Encryption : 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
“
... Workshop on Fast Software Encryption, FSE'97, held in Haifa,
Israel
, in January 1997. The 23 full papers...
”
Read Now
5
Database Theory - ICDT'99 : 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
“
...,inJerusalem,
Israel
,January10–12, 1999. ICDT is an international forum for research on the principles...
”
Read Now
6
Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
“
... Laboratory in Haifa and Compaq, Tandem labs
Israel
. It replaces the former international workshops...
”
Read Now
7
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Published 2008
Springer Berlin Heidelberg
Read Now
8
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Published 1995
Springer Berlin Heidelberg
“
... in Jerusalem,
Israel
, in July 1994. The volume reports the research advances in the area of rewriting...
”
Read Now
9
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Published 2014
Springer International Publishing
“
... Conference, HVC 2014, held in Haifa,
Israel
, in November 2014. The 17 revised full papers and 4 short papers...
”
Read Now
10
Algorithms - ESA 2007 : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Read Now
11
Approximation and Online Algorithms : 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
Published 2008
Springer Berlin Heidelberg
“
... number of applications from a variety of ?elds. WAOA 2007 took place in Eilat,
Israel
, during October 11...
”
Read Now
12
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Published 2015
Springer International Publishing
“
... Conference, HVC 2015, held in Haifa,
Israel
, in November 2015. The 17 revised full papers and 4 invited talks...
”
Read Now
13
Presenting Windows Workflow Foundation : beta edition
by
Andrew, Paul
,
Conard, James M.
,
Woodgate, Scott
,
Flanders, Jon
Published 2006
Sams Publishing
Call Number:
QA76.76.D47
Read Now
14
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
Published 2022
Springer International Publishing
“
...rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa,
Israel
...
”
Read Now
15
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
Published 2022
Springer International Publishing
“
...rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa,
Israel
...
”
Read Now
16
Cyber Security Cryptography and Machine Learning : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings
Published 2017
Springer International Publishing
“
... Cryptography and Machine Learning, held in Beer-Sheva,
Israel
, in June 2017. The 17 full and 4 short papers...
”
Read Now
17
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Published 2022
Springer International Publishing
Read Now
18
Business Process Management : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings
Published 2014
Springer International Publishing
“
... Management, BPM 2014, held in Haifa,
Israel
, in September 2014. The 21 regular papers and 10 short papers...
”
Read Now
19
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Published 2013
Springer International Publishing
“
... Conference, HVC 2013, held in Haifa,
Israel
in November 2013. The 24 revised full papers presented were...
”
Read Now
20
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Published 2016
Springer International Publishing
“
... Conference, HVC 2016, held in Haifa,
Israel
in November 2016. The 13 revised full papers and one tool paper...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
3
331 - Labor economics
3
384 - Communications; telecommunication
1
Language
English
62
Collection
Springer eBooks 2005-
43
Springer Book Archives -2004
13
O'Reilly
4
Cambridge Books Online
2
Author
Dolev, Shlomi
7
Lodha, Sachin
4
Nielsen, Jesper Buus
3
Rijmen, Vincent
3
Bin, Eyal
2
Etzion, Opher
2
more ...
Kushilevitz, Eyal
2
Malkin, Tal
2
Shoham, Sharon
2
Ur, Shmuel
2
Vizel, Yakir
2
Ziv, Avi
2
Ali Babar, Muhammad
1
Andrew, Paul
1
Arbel, Eli
1
Arge, Lars
1
Barbosa, Denilson
1
Barner, Sharon
1
Beeri, Catriel
1
Bellahsène, Zohra
1
Bertacco, Valeria
1
Biere, Armin
1
Biham, Eli
1
Blanchette, Jasmin
1
Bloem, Roderick
1
Bonifati, Angela
1
Breveglieri, Luca
1
Brickell, Ernest F.
1
Buneman, Peter
1
Chau, Michael
1
Chen, Hsinchun
1
Chockler, Hana
1
Conard, James M.
1
Deb, Kalyanmoy
1
Dershowitz, Nachum
1
Dinur, Itai
1
Dori, Dov
1
Dresher, Tamir
1
Dubinsky, Yael
1
Eder, Kerstin
1
Flanders, Jon
1
Frankel, Yair
1
Giesl, Jürgen
1
Goldreich, Oded
1
Gorton, Ian
1
Grumberg, Orna
1
Gudes, Ehud
1
Harris, Ian
1
Hazzan, Orit
1
Hendler, Danny
1
Herrmann, Debra S.
1
Hoffmann, Michael
1
Hu, Alan J.
1
Hunt, Ela
1
Kaklamanis, Christos
1
Kaminski, Michael
1
Kato, Hirokazu
1
Katz, Jonathan
1
Katz, Shmuel
1
Kishino, Fumio
1
Kitamura, Yoshifumi
1
Klein, Shmuel T.
1
Koc, Cetin K.
1
Kolesnikov, Vladimir
1
Koren, Israel
1
Kovács, Laura
1
Kroening, Daniel
1
Kuflik, Tsvi
1
Legay, Axel
1
Lindenstrauss, Naomi
1
Lourenҫo, João
1
Margalit, Oded
1
Meisels, Amnon
1
Middeldorp, Aart
1
Motro, Amihai
1
Naccache, David
1
Nacchae, David
1
Nagata, Noriko
1
Nahir, Amir
1
Namjoshi, Kedar
1
Paar, Christof
1
Paillier, Pascal
1
Pattinson, Dirk
1
Perner, Petra
1
Pinkas, Benny
1
Pinter, Ron Y.
1
Piterman, Nir
1
Raz, Orna
1
Robshaw, Matt
1
Romm, Celia T.
1
Rudolph, Günther
1
Sadiq, Shazia
1
Sato, Taisuke
1
Scheuermann, Peter
1
Schneier, Bruce
1
Schoenauer, Marc
1
Schwarzmann, Alexander
1
Seifert, Jean-Pierre
1
Shehory, Onn
1
Skutella, Martin
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22Israel%22&type=AllFields
Send by Email
×
Loading...