Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "the Netherlands"
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"
language:"English"
product_txtF_mv:"Springer eBooks 2005-"
Showing
1
-
20
of
151
Search:
'"the Netherlands"'
,
query time: 1.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Fun and Games : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
“
... and Games, held in Eindhoven, The
Netherlands
, in October 2008. The 17 revised full papers, presented...
”
Read Now
2
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
“
... Methods, held as the Second World Congress on Formal Methods in Eindhoven, The
Netherlands
, in November...
”
Read Now
3
Information Theoretic Security : 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
“
... Theoretic Security, held in Amsterdam, The
Netherlands
, in May 2011. The 12 revised full papers presented...
”
Read Now
4
Business Modeling and Software Design : 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings
Published 2023
Springer Nature Switzerland
“
... Modeling and Software Design, BMSD 2023, which took place in Utrecht, The
Netherlands
, July 2023.The 11...
”
Read Now
5
Security and Trust Management : 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings
Published 2023
Springer Nature Switzerland
“
... 2023, held in The Hague, The
Netherlands
, during September 28th, 2023 The 5 full papers together with 4...
”
Read Now
6
Information Security : 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15–17, 2023, Proceedings
Published 2023
Springer Nature Switzerland
“
..., ISC 2023, which took place in Groningen, The
Netherlands
, in November 2023. The 29 full papers...
”
Read Now
7
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
“
... Calculi and Applications, TLCA 2013, held in Eindhoven, The
Netherlands
, in June 2013 as part of RDP 2013...
”
Read Now
8
Theory of Cryptography : 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Read Now
9
Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Published 2024
Springer Nature Switzerland
“
..., IFM 2023, in November 2023, held in Leiden, The
Netherlands
. The 16 full papers presented together...
”
Read Now
10
Post-Quantum Cryptography : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings
Published 2017
Springer International Publishing
“
... Cryptography, PQCrypto 2017, held in Utrecht, The
Netherlands
, in June 2017. The 23 revised full papers...
”
Read Now
11
Business Process Management Workshops : BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Published 2015
Springer International Publishing
“
..., The
Netherlands
, in conjunction with the 12th International Conference on Business Process Management, BPM 2014...
”
Read Now
12
Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
“
...This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The
Netherlands
...
”
Read Now
13
Collaboration and Technology : 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
“
... Group Conference on Collaboration and Technology, held in Maastricht, The
Netherlands
, in September 2010...
”
Read Now
14
Model Checking Software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Read Now
15
Advances in Computer Entertainment : 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Published 2013
Springer International Publishing
“
... on Advances in Computer Entertainment, ACE 2013, held in Boekelo, The
Netherlands
, in November 2013. The 19...
”
Read Now
16
Computational Logistics : 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings
Published 2021
Springer International Publishing
Read Now
17
Algorithmics of Wireless Networks : 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7–8, 2023, Revised Selected Papers
Published 2023
Springer Nature Switzerland
“
... of Wireless Networks, ALGOWIN 2023, held in Amsterdam, The
Netherlands
, during September 7–8, 2023. The 10...
”
Read Now
18
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Published 2020
Springer International Publishing
“
... Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The
Netherlands
, in September 2020. The 16 full...
”
Read Now
19
Computational Logistics : 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings
Published 2020
Springer International Publishing
“
... Logistics, ICCL 2020, held in Enschede, The
Netherlands
, in September 2020. The 49 papers included...
”
Read Now
20
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
Published 2020
Springer International Publishing
“
... on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The
Netherlands
, in October 2019...
”
1
2
3
4
5
6
7
8
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Language: English
Clear Filter
Collection: Springer eBooks 2005-
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
004 - Data processing & computer science
21
003 - Systems
1
Language
English
Collection
Springer eBooks 2005-
Author
Bonsangue, Marcello M.
5
Conti, Mauro
4
Graf, Susanne
4
Liang, Kaitai
4
Smaragdakis, Georgios
4
Tsudik, Gene
4
more ...
de Boer, Frank S.
4
de Roever, Willem-Paul
4
Elleithy, Khaled
3
Fehr, Serge
3
IJsselsteijn, Wijnand
3
Wijs, Anton
3
Aloni, Maria
2
Ardito, Carmelo
2
Beek, Wouter
2
Bernhaupt, Regina
2
Cordeiro, José
2
Filipe, Joaquim
2
Friedewald, Michael
2
Hoepman, Jaap-Henk
2
Huang, Zhisheng
2
Katsikas, Sokratis
2
Kruchten, Philippe
2
Lalla-Ruiz, Eduardo
2
Markopoulos, Panos
2
Mes, Martijn
2
Nijholt, Anton
2
Paternò, Fabio
2
Reidsma, Dennis
2
Sauer, Stefan
2
Voß, Stefan
2
Wang, Hua
2
Zhou, Rui
2
Abhishta, Abhishta
1
Abie, Habtamu
1
Abran, Alain
1
Abu-Amara, Hosame
1
Achten, Peter
1
Albayrak, Armaĝan
1
Aldini, Alessandro
1
Ali Babar, Muhammad
1
Alpuente, María
1
Arbab, Farhad
1
Athanasiadis, Ioannis N.
1
Athanasopoulos, Elias
1
Axelsson, Ann-Sofie
1
Baker, Paul
1
Balzarotti, Davide
1
Barbosa, Simone
1
Barthe, Gilles
1
Barzen, Johanna
1
Bastiaanse, Harald
1
Beaudouin-Lafon, Michel
1
Berger, Christian
1
Bergmann Tiest, Wouter M.
1
Bhasin, Shivam
1
Blankertz, Benjamin
1
Blythe, M.A.
1
Bodrunova, Svetlana S.
1
Bonanno, Giacomo
1
Borking, John
1
Bošnački, Dragan
1
Brankaert, Rens
1
Braungarten, René
1
Bresciani, Paolo
1
Broy, Manfred
1
Burattin, Andrea
1
Bühler, Dirk
1
Calvary, Gaëlle
1
Castellani, Ilaria
1
Castiglioni, Valentina
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Cesar, Pablo
1
Champion, Erik
1
Chang, William Y.
1
Chen, Chin-Sheng
1
Chorianopoulos, Konstantinos
1
Cimiano, Philipp
1
Combetto, Marco
1
Cook, Byron
1
Corchado Rodríguez, Juan Manuel
1
Cortier, Véronique
1
Cova, Marco
1
Cuadrado-Gallego, Juan J.
1
Cuppens, Frédéric
1
Cuppens-Boulahia, Nora
1
Dalpiaz, Fabiano
1
Damodaran, Leela
1
Dams, Dennis
1
Daniel, Florian
1
Danvy, Olivier
1
De Cristofaro, Emiliano
1
Desharnais, Jules
1
Desmarais, Michel C.
1
Deutz, André
1
Di Francescomarino, Chiara
1
Duivesteijn, Wouter
1
Dumke, Reiner R.
1
Dustdar, Schahram
1
see all ...
less ...
Recently Uploaded
Last Month
3
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&filter%5B%5D=language%3A%22English%22&filter%5B%5D=product_txtF_mv%3A%22Springer+eBooks+2005-%22&lookfor=%22the+Netherlands%22&type=AllFields
Send by Email
×
Loading...