Jump to main content

yr 〜
yr

Search results 7

Planetary spacecraft navigation

Planetary spacecraft navigation
Paper図書
James MillerSpringer2019
Other Libraries in Japan
  • Subject Heading...LC)fst00819505 Software Engineering. bicssc Mathematical modelling. bicss...
  • Subject Heading (ID)...LC)fst00819505 Software Engineering. bicssc Mathematical modelling. bicss...

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]
Paper図書
Xinyu Feng, Markus Müller-Olm, Zijiang YangSpringerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Software Engineering. bicssc Electronic books
  • Subject Heading (ID)...neral. bisacsh Software Engineering. bicssc Electronic books

Topics in cryptology - CT-RSA 2018 : the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings

Topics in cryptology - CT-RSA 2018 : the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings
Paper図書
Nigel P. Smart (ed.)Springerc2018
Other Libraries in Japan
  • Subject Heading...ement. bisacsh Software Engineering. bicssc Computer architecture & logic...
  • Subject Heading (ID)...ement. bisacsh Software Engineering. bicssc Computer architecture & logic...

Pro C# 7 : With .NET and .NET Core (pbk) (electronic) 8th ed

Pro C# 7 : With .NET and .NET Core (pbk) (electronic) 8th ed
Paper図書
Andrew Troelsen and Philip JapikseApress2017
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Software Engineering. bicssc Microsoft software Software e...
  • Subject Heading (ID)...neral. bisacsh Software Engineering. bicssc Microsoft software Software e...

Parallel processing and applied mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers pt. 1 pt. 2

Parallel processing and applied mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers pt. 1 pt. 2
Paper図書
Roman Wyrzykowski ... [et al.] (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...neral. bisacsh Software Engineering. bicssc Electronic books
  • Subject Heading (ID)...neral. bisacsh Software Engineering. bicssc Electronic books

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...igence. bicssc Software Engineering. bicssc Computer programming / softwa...
  • Subject Heading (ID)...igence. bicssc Software Engineering. bicssc Computer programming / softwa...

Number-theoretic methods in cryptology : first International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017 : revised selected papers

Number-theoretic methods in cryptology : first International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017 : revised selected papers
Paper図書
Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...theory. bicssc Software Engineering. bicssc Information technology: gener...
  • Subject Heading (ID)...theory. bicssc Software Engineering. bicssc Information technology: gener...

Reached to the end of result.

RSS