搜索--图书进口部服务平台！

搜索“”25937条结果

书名出版社出版时间

二次检索

From Lambda Calculus To Cybersecurity Through Program Analysis

通过程序分析从Lambda微积分到网络安全：克里斯·汉金退休之际文集

[Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan]

TP3

9783030411022 EUR49.99

Springer 2020-02-15 Paperback

mathematics
Advances In Information Technologies, Telecommunication, And Radioelectronics

信息技术、电信与无线电电子学进展

[Sergey I. Kumkov, Sergey Shabunin, Stavros Syngellakis]

G202

9783030375133 EUR99.99

Springer Nature Switzerland Ag 2020-03-31 Hardback

communications engineering/ networks
Smart Card Research And Advanced Applications

智能卡研究与高级应用 / 会议录

[Sonia Belaïd, Tim Güneysu]

TP3

9783030420673 EUR49.99

Springer 2020-02-19 Paperback

computer science
Computer Security

计算机安全：ESORICS 2019国际研讨会，IOSec、MSTEC与FINSEC 2019修订文选

[Apostolos P. Fournaris, Manos Athanatos, Konstantinos Lampropoulos, Sotiris Ioannidis, George Hatzivasilis, Ernesto Damiani, Habtamu Abie, Silvio Ranise, Luca Verderame, Alberto Siena, Joaquin Garcia-alfaro]

TP3

9783030420505 EUR49.99

Springer 2020-02-21 Paperback

computer science
Analytical Methodology Of Tree Microstrip Interconnects Modelling For Signal Distribution

树状微带互连线的信号分配建模分析方法：电压传递函数与S参数分析

[Blaise Ravelo]

TN410.2

9789811505515 EUR99.99

Springer 2020-02-04 Hardback

microwaves/ rf and optical engineering
Advances In Cyber Security Analytics And Decision Systems

网络安全分析与决策系统的进展

[Shishir K. Shandilya, Neal Wagner, Atulya K. Nagar]

TP309

9783030193522 EUR149.99

Springer 2020-01-24 Hardback

communications engineering/ networks
Introduction To Environmental Data Analysis And Modeling

环境数据分析与建模导论

[Moses Eterigho Emetere, Esther Titilayo Akinlabi]

X830

9783030362065 EUR149.99

Springer 2020-01-04 Hardback

mathematical and computational engineering
Design And Test Strategies For 2d/3d Integration For Noc-based Multicore Architectures

基于 NoC 的多核体系结构 2D / 3D 集成的设计与测试策略

[Kanchan Manna, Jimson Mathew]

TN43

9783030313098 EUR49.99

Springer 2020-01-24 Hardback

circuits and systems
Funktionale Programmierung In Java

Java中的函数式编程：全面的介绍

[Prähofer, Herbert]

TP3

9783864907579 EUR34.9

Dpunkt Paperback

java (programmiersprache)/ einführung
The Molecular Switch

分子开关：信号与变构

[Rob Phillips]

Q7

9780691200248 USD99.95

Princeton University Press 2020-09-01 Hardback

Science / life sciences / biophysics/science / life sciences / molecular biology/science / nanoscience/science / physics / atomic & molecular
Public Administration And Regional Management In Russia

俄罗斯公共行政与区域管理：多元文化地区的挑战与展望

[Elena G. Popkova, Konstantin V. Vodenko]

D751.23

9783030384968 EUR99.99

Springer 2020-04-16 Hardback

russian and post/soviet politics
Space Fostering Latin American Societies

促进拉丁美洲社会发展的空间：通过空间发展拉丁美洲第1部分

[Annette Froehlich]

V4

9783030389116 EUR99.99

Springer 2020-04-17 Hardback

aerospace technology and astronautics
Production Planning With Capacitated Resources And Congestion

资源受限与拥塞的生产计划

[Missbauer]

F274

9781071603529 EUR99.99

Springer 2020-02-27 Hardback

operations research/decision theory
Icte In Transportation And Logistics 2019

交通与物流中的ICTE 2019

[Egils Ginters, Mario Arturo Ruiz Estrada, Miquel Angel Piera Eroles]

F25-532

9783030396879 EUR99.99

Springer 2020-04-09 Paperback

computational intelligence
Fiducial Reference Measurements For Altimetry

测高基准参考测量 / 会议录

[Stelios P. Mertikas, Roland Pail]

P228-532

9783030394370 EUR169.99

Springer 2020-02-14 Hardback

geotechnical engineering & applied earth sciences

首页前一页 6 7 8 9 10 下一页下十页尾页共有： 25937条记录

专题目录

中图分类

From Lambda Calculus To Cybersecurity Through Program Analysis

通过程序分析从Lambda微积分到网络安全：克里斯·汉金退休之际文集

Advances In Information Technologies, Telecommunication, And Radioelectronics

信息技术、电信与无线电电子学进展

Smart Card Research And Advanced Applications

智能卡研究与高级应用 / 会议录

Computer Security

计算机安全：ESORICS 2019国际研讨会，IOSec、MSTEC与FINSEC 2019修订文选

Analytical Methodology Of Tree Microstrip Interconnects Modelling For Signal Distribution

树状微带互连线的信号分配建模分析方法：电压传递函数与S参数分析

Advances In Cyber Security Analytics And Decision Systems

网络安全分析与决策系统的进展

Introduction To Environmental Data Analysis And Modeling

环境数据分析与建模导论

Design And Test Strategies For 2d/3d Integration For Noc-based Multicore Architectures

基于 NoC 的多核体系结构 2D / 3D 集成的设计与测试策略

Funktionale Programmierung In Java

Java中的函数式编程：全面的介绍

The Molecular Switch

分子开关：信号与变构

Public Administration And Regional Management In Russia

俄罗斯公共行政与区域管理：多元文化地区的挑战与展望

Space Fostering Latin American Societies

促进拉丁美洲社会发展的空间：通过空间发展拉丁美洲第1部分

Production Planning With Capacitated Resources And Congestion

资源受限与拥塞的生产计划

Icte In Transportation And Logistics 2019

交通与物流中的ICTE 2019

Fiducial Reference Measurements For Altimetry

测高基准参考测量 / 会议录

作者

出版集团

出版年

语种

装帧

专题目录

中图分类

通过程序分析从Lambda微积分到网络安全：克里斯·汉金退休之际文集

信息技术、电信与无线电电子学进展

智能卡研究与高级应用 / 会议录

计算机安全：ESORICS 2019国际研讨会，IOSec、MSTEC与FINSEC 2019修订文选

树状微带互连线的信号分配建模分析方法：电压传递函数与S参数分析

网络安全分析与决策系统的进展

环境数据分析与建模导论

基于 NoC 的多核体系结构 2D / 3D 集成的设计与测试策略

Java中的函数式编程：全面的介绍

分子开关：信号与变构

俄罗斯公共行政与区域管理：多元文化地区的挑战与展望

促进拉丁美洲社会发展的空间：通过空间发展拉丁美洲 第1部分

资源受限与拥塞的生产计划

交通与物流中的ICTE 2019

测高基准参考测量 / 会议录

作者

出版集团

出版年

语种

装帧

促进拉丁美洲社会发展的空间：通过空间发展拉丁美洲第1部分