Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: black space
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"
Search alternatives
:
black space »
slack space
,
blank space
,
block space
Showing
1
-
20
of
50
Search:
'black space'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Exploring BeagleBone : tools and techniques for building with embedded Linux
by
Molloy, Derek
Published 2015
Wiley
Table of Contents:
“
... -- Is Linux Open Source and Free? -- Booting the BeagleBone -- The BeagleBone Bootloaders -- Kernel
Space
...
”
Call Number:
QA76.8.B38
Read Now
2
Theory of Cryptography : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Functions -- OT-Combiners via Secure Computation -- Semi-honest to Malicious Oblivious Transfer—The
Black
...
”
Read Now
3
Predicting the unknown : the history and future of data science and artificial intelligence
by
Kampakis, Stylianos
Published 2023
Apress
Table of Contents:
“
... -- 3. Swans and
Space
Invaders -- 4. Probability: To Bayes, or not to Bayes? -- 5. Whats Maths Got...
”
Call Number:
QA76.9.D35
Read Now
4
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
...Stream Runtime Monitoring on UAS -- Probabilistic
Black
-Box Reachability Checking -- Combining...
”
Read Now
5
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Software Components for Performance -- Performance Prediction for
Black
-Box Components Using Reengineered...
”
Read Now
6
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
... Actor-Based Model Checking -- smid: A
Black
-Box Program Driver -- On-the-Fly Model Checking for Extended...
”
Read Now
7
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
...Invited Keynotes -- Formal Methods for Trusted
Space
Autonomy: Boon or Bane -- An Essence of Domain...
”
Read Now
8
Smart Card Research and Advanced Applications : 17th International Conference, CARDIS 2018, Montpellier, France, November 12–14, 2018, Revised Selected Papers
Published 2019
Springer International Publishing
Table of Contents:
“
... -- An In-depth and
Black
-Box Characterization of the Effects of Laser Pulses on ATmega328P -- Breaking all...
”
Read Now
9
Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... -- A Case for Runtime Validation of Hardware -- Assertion-Based Verification for the
Space
...
”
Read Now
10
Innovative Security Solutions for Information Technology and Communications : 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Pape...
Published 2015
Springer International Publishing
Table of Contents:
“
... on GPUs -- Applying Cryptographic Acceleration Techniques to Error Correction -- A Cooperative
Black
Hole...
”
Read Now
11
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Published 2020
Springer International Publishing
Table of Contents:
“
... and Testing -- Automated Requirements-Based Testing of
Black
-Box Reactive Systems -- Formal Verification...
”
Read Now
12
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Typical Structural Properties of State
Spaces
-- State Caching Reconsidered -- Directed Error Detection...
”
Read Now
13
Algorithms and Complexity : 4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...-elementary Time-
Space
Classes -- Group Updates for Bed-
Black
Trees -- Approximating SVP ? to within Almost...
”
Read Now
14
Virtualization essentials
by
Portnoy, Matthew
Published 2023
Sybex
“
... approach to help you develop the necessary skill set to work in Cloud computing, the DevOps
space
...
”
Call Number:
QA76.9.V5
Read Now
15
Structural Information and Communication Complexity : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... with Simple Robots -- Stability of Networks in Stretchable Graphs --
Space
Complexity of Self-stabilizing...
”
Read Now
16
Provable Security : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Sharing Without the Adjacent Assumption --
Space
-Efficient and Secure Substring Searchable Symmetric...
”
Read Now
17
Advances in Cryptology - CRYPTO 2002 : 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... RSA with Small CRT-Exponent -- Information Theory and Secret Sharing -- Hyper-encryption against
Space
...
”
Read Now
18
Advances in Cryptology – CRYPTO 2021 : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part IV
Published 2021
Springer International Publishing
Table of Contents:
“
... to
Black
-Box Constructions of Zero-Knowledge Proofs -- Compressing Proofs of k-Out-Of-n Partial Knowledge...
”
Read Now
19
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Glass Box and
Black
Box Views of State-Based System Specifications -- Abstraction for Safety, Induction...
”
Read Now
20
Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26–30, 2022, Revis...
Published 2023
Springer International Publishing
Table of Contents:
“
..., and Formal Verification -- An Email a Day Could Give Your Health Data Away -- Explanation of
Black
Box AI...
”
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
500 - Natural sciences & mathematics
7
331 - Labor economics
2
300 - Social sciences
1
364 - Criminology
1
519 - Probabilities & applied mathematics
1
Language
English
49
German
1
Collection
Springer eBooks 2005-
24
O'Reilly
16
Springer Book Archives -2004
10
Author
Cachin, Christian
2
Moran, Joseph
2
Arge, Lars
1
Bautista, Wilson
1
Bessiere, Christian
1
Bica, Ion
1
more ...
Bilgin, Begül
1
Bin, Eyal
1
Bongiovanni, Giancarlo
1
Bošnački, Dragan
1
Camenisch, Jan
1
Canetti, Ran
1
Chaudron, Michel R. V.
1
Chbeir, Richard
1
Chebbi, Chiheb
1
Conlan, Chris
1
Cox, Ingemar J.
1
Cuppens, Frédéric
1
DeSantis, Alfredo
1
Dehne, Frank
1
Deshmukh, Jyotirmoy V.
1
Dragoni, Nicola
1
Du, Jia Tina
1
Faella, Marco
1
Feijs, Loe M.G.
1
Fischer, Jean-Bernard
1
Gambosi, Giorgio
1
Garcia-Alfaro, Joaquin
1
Giannakopoulou, Dimitra
1
Goulding, Anne
1
Graf, Susanne
1
Haugen, Oystein
1
Havelund, Klaus
1
Huang, Helen
1
Jamro, Marcin
1
Jesse, Ralf
1
Jha, Susmit
1
Jonkers, Hans B.M.
1
Jurdzinski, Tomasz
1
Kalker, Ton
1
Kalloniatis, Christos
1
Kampakis, Stylianos
1
Karimov, Elshad
1
Katsikas, Sokratis
1
Korites, B. J.
1
Kutten, Shay
1
Lahiri, Shuvendu
1
Lee, Ritchie
1
Lehman, Brad
1
Maharaj, Savitri
1
Malkin, Tal
1
Manolopoulos, Yannis
1
Mansfield, Richard
1
Mavridou, Anastasia
1
Meng, Weizhi
1
Middelburg, Cornelis A.
1
Miller, James D.
1
Molloy, Derek
1
Montalbano, Joe
1
Morisio, Maurizio
1
Moulaison-Sandy, Heather
1
Mounier, Laurent
1
Mylopoulos, John
1
Naccache, David
1
Navarro-Arribas, Guillermo
1
Peikert, Chris
1
Perez, Ivan
1
Petreschi, Rosella
1
Petriu, Dorina C.
1
Piuri, Vincenzo
1
Portnoy, Matthew
1
Rattray, Charles
1
Reger, Giles
1
Reussner, Ralf H.
1
Ro, Yong M.
1
Rouquette, Nicolas
1
Sack, Jörg Rüdiger
1
Silvestri, Fabrizio
1
Simion, Emil
1
Smid, Michiel
1
Sserwanga, Isaac
1
Stavrou, Angelos
1
Steinfeld, Ron
1
Stolfo, Salvatore J.
1
Szyperski, Clemens
1
Teniente, Ernest
1
Ur, Shmuel
1
Weidlich, Matthias
1
Wijs, Anton
1
Williams, Colin P.
1
Wolfsthal, Yaron
1
Wright, Charles V.
1
Yan, Zheng
1
Yuen, Tsz Hon
1
Yung, Moti
1
Žerovnik, Janez
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=black+space&type=AllFields
Send by Email
×
Loading...