TOP
領券滿999現折100!還不敢快手刀下單!
搜尋結果 /

Logical Foundations of Computer Science

42503
1 / 1063
出版日:2015/12/10 作者:Sergei Artemov (EDT); Anil Nerode (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revis
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/11/21 作者:Sergei Artemov (EDT); Anil Nerode (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/01/01 作者:Sergei N. Artemov (EDT); Anil Nerode (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mathematical Foundations of Computer Science 2015 ― 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings
90 折
出版日:2015/08/20 作者:Giuseppe F Italiano (EDT); Giovanni Pighizzini (EDT); Donald T. Sannella (EDT)  出版社:Springer Verlag  裝訂:平裝
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
優惠價: 9 2880
無庫存
Mathematical Foundations of Computer Science 2015 ― 40th International Symposium, Mfcs 2015, Milan, Italy, August 24-28, 2015, Proceedings
90 折
出版日:2015/08/18 作者:Giuseppe F. Italiano (EDT); Giovanni Pighizzini (EDT); Donald T. Sannella (EDT)  出版社:Springer Verlag  裝訂:平裝
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It
優惠價: 9 3240
無庫存
出版日:2014/08/05 作者:Csuhaj-varj? Ers撊畫t (EDT); Martin Dietzfelbinger (EDT); Zolt憳? 摰k (EDT)  出版社:Springer Verlag  裝訂:平裝
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Buda
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/05/31 作者:Pudl憳? Pavel  出版社:Springer Verlag  裝訂:精裝
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computationa
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Sudoku Programming With C
75 折
出版日:2015/04/29 作者:Giulio Zambon  出版社:Springer Verlag  裝訂:平裝
Sudoku Programming with C teaches you how to write computer programs to solve and generate Sudoku puzzles. This is a practical book that will provide you with everything you need to write your own boo
優惠價: 75 1050
庫存:1
Rock Mechanics: For Underground Mining (2004. Corr. 3rd Printing 2006)
90 折
出版日:2004/11/30 作者:B. H. G. Brady; Edwin T. Brown  出版社:Springer Verlag  裝訂:平裝
This new edition has been completely revised to reflect the notable innovations in mining engineering and the remarkable developments in the science of rock mechanics and the practice of rock angineer
優惠價: 9 3850
庫存:1
出版日:2012/06/15 作者:Mordechai Ben-Ari  出版社:Springer Verlag  裝訂:平裝
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semanti
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/09/27 作者:Kenneth Bogart; Clifford Stein; Robert L. Drysdale  出版社:Springer Verlag  裝訂:精裝
"Discrete Mathematics for Computer Science" is the perfect text to combine the fields of mathematics and computer science. Written by leading academics in the field of computer science, readers will g
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/11/30 作者:Hwa-young Jeong (EDT); Mohammad S. Obaidat; Neil Y. Yen (EDT); James J. Park (EDT)  出版社:Springer Verlag  裝訂:精裝
The theme of CSA is focused on the various aspects of computer science and its applications for advances in computer science and its applications and provides an opportunity for academic and industry
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/01/28 作者:Anne Xie (EDT); Xiong Huang (EDT)  出版社:Springer Verlag  裝訂:平裝
CSE2011 is an integrated conference concentration its focus on computer science and education. In the proceeding, you can learn much more knowledge about computer science and education of researchers
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/12/10 作者:James J. Park (EDT); Han-Chieh Chao (EDT); Mohammad S. Obaidat (EDT); Jongsung Kim (EDT)  出版社:Springer Verlag  裝訂:精裝
Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/12/01 作者:Ewa Orlowska; Joanna Golinska-Pilarek  出版社:Springer Verlag  裝訂:精裝
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionisti
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Stochastic Process Variation in Deep-Submicron CMOs ─ Circuits and Algorithms
75 折
出版日:2013/11/28 作者:Amir Zjajo  出版社:Springer Verlag  裝訂:精裝
One of the most notable features of nanometer scale CMOS technology is the increasing magnitude of variability of the key device parameters affecting performance of integrated circuits. The growth of variability can be attributed to multiple factors, including the difficulty of manufacturing control, the emergence of new systematic variation-generating mechanisms, and most importantly, the increase in atomic-scale randomness, where device operation must be described as a stochastic process. In addition to wide-sense stationary stochastic device variability and temperature variation, existence of non-stationary stochastic electrical noise associated with fundamental processes in integrated-circuit devices represents an elementary limit on the performance of electronic circuits.In an attempt to address these issues, Stochastic Process Variation in Deep-Submicron CMOS: Circuits and Algorithms offers unique combination of mathematical treatment of random process variation, electrical noise
優惠價: 75 4500
庫存:1
出版日:2018/04/04 作者:Jan Beran  出版社:Springer Verlag  裝訂:精裝
This book provides a concise introduction to the mathematical foundations of time series analysis, with an emphasis on mathematical clarity. The text is reduced to the essential logical core, mostly u
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logic, Mathematics, and Computer Science ― Modern Foundations With Practical Applications
90 折
出版日:2015/10/14 作者:Yves Nievergett  出版社:Springer Verlag  裝訂:精裝
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an
優惠價: 9 2250
無庫存
Logic, Mathematics, and Computer Science ― Modern Foundations With Practical Applications
滿額折
出版日:2015/10/14 作者:Yves Nievergelt  出版社:Springer Verlag  裝訂:平裝
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an
優惠價: 1 3000
無庫存
出版日:2015/05/14 作者:Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu  出版社:Springer Verlag  裝訂:精裝
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/11/14 作者:Roger Lee (EDT)  出版社:Springer Verlag  裝訂:精裝
This edited book presents scientific results of the 13th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2014) which was held on June 4-6, 2014 in Taiyuan, China. The aim
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/08/09 作者:Christian W?柝er  出版社:Springer Verlag  裝訂:平裝
In its revised and updated new edition, this book introduces the foundations of three-dimensional computer vision and surveys recent innovations. Describes applications in industrial quality inspectio
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/06/03 作者:Roger Lee (EDT)  出版社:Springer Verlag  裝訂:精裝
This edited book presents scientific results of the 12th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2013) which was held on June 16-20, 2013 in Toki Messe, Niigata, J
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/08/31 作者:Christian Wohler  出版社:Springer Verlag  裝訂:精裝
This indispensable text introduces the foundations of three-dimensional computer vision and describes recent contributions to the field. Fully revised and updated, this much-anticipated new edition re
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/06/12 作者:Jan A. Bergstra; Cornelis A. Middelburg  出版社:Springer Verlag  裝訂:精裝
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-know
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/05/16 作者:David Jin (EDT); Sally Lin (EDT)  出版社:Springer Verlag  裝訂:平裝
CSIE2012 is an integrated conference concentrating its focus on Computer Science and Information Engineering . In the proceeding, you can learn much more knowledge about Computer Science and Informati
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Theoretical Computer Science ― Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
90 折
出版日:2010/12/01 作者:Juraj Hromkovic  出版社:Springer Verlag  裝訂:平裝
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of s
優惠價: 9 3375
無庫存
Theoretical Aspects of Computer Science ― Advanced Lectures
滿額折
出版日:2002/03/01 作者:Gholamreza B. Khosrovshahi (EDT); Ali Shokoufandeh (EDT); Amin Shokrollahi (EDT)  出版社:Springer Verlag  裝訂:平裝
The ?rst International Summer School on Theoretical Aspects of Computer Science was organized by the Institute for Studies in Theoretical Physics and Mathematics(IPM)inTehran,Iran. ProgramCommittee Co
優惠價: 1 2899
無庫存
出版日:2001/01/01 作者:Jean-Francois Mari; Rene Schott  出版社:Springer Verlag  裝訂:平裝
Probabilistic and Statistical Methods in Computer Science
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
You Must Be Very Intelligent ― The Phd Delusion
70 折
出版日:2017/07/10 作者:Karin Bodewits  出版社:Springer Verlag  裝訂:平裝
You Must be Very Intelligent is the author’s account of studying for a PhD in a modern, successful university. Part-memoir and part-exposé, this book is highly entertaining and unusually revealing about the dubious morality and desperate behaviour which underpins competition in twenty-first century academia.This witty, warts-and-all account of Bodewits´ years as a PhD student in the august University of Edinburgh is full of success and failure, passion and pathos, insight, farce and warm-hearted disillusionment. She describes a world of collaboration and backstabbing; nefarious financing and wasted genius; cosmopolitan dreamers and discoveries that might just change the world… Is this a smart people’s world or a drip can of weird species? Modern academia is certainly darker and stranger than one might suspect…This book will put a wry, knowing smile on the faces of former researchers. And it is a cautionary parable for innocents who still believe that lofty academia is erected upon mora
優惠價: 7 1385
庫存:1
The Power of Geographical Thinking
75 折
出版日:2017/03/10 作者:Clare Brooks (EDT); Graham Butt (EDT); Mary Fargher (EDT)  出版社:Springer Verlag  裝訂:精裝
In this book geography educators from around the globe discuss their research into the power of geographical thinking and consider successful strategies to implement, improve and advance geography edu
優惠價: 75 5400
庫存:1
Mimicry and Meaning ― Structure and Semiotics of Biological Mimicry
75 折
出版日:2017/01/18 作者:Timo Maran  出版社:Springer Verlag  裝訂:精裝
The present book analyses critically the tripartite mimicry model (consisting of the mimic, model and receiver species) and develops semiotic tools for comparative analysis. It is proposed that mimicr
優惠價: 75 5400
庫存:1
Re-irradiation ─ New Frontiers
75 折
出版日:2016/11/02 作者:Carsten Nieder (EDT); Johannes Langendijk (EDT)  出版社:Springer Verlag  裝訂:精裝
This book, now in its second edition, provides a comprehensive overview of current re-irradiation strategies, with detailed discussion of re-irradiation methods, technical aspects, the role of combine
優惠價: 75 7425
庫存:2
Two-dimensional Transition-metal Dichalcogenides
75 折
出版日:2016/08/04 作者:Alexander V. Kolobov; Junji Tominaga  出版社:Springer Verlag  裝訂:精裝
This book summarizes the current status of theoretical and experimental progress in 2 dimensional graphene-like monolayers and few-layers of transition metal dichalcogenides (TMDCs). Semiconducting monolayer TMDCs, due to the presence of a direct gap, significantly extend the potential of low-dimensional nanomaterials for applications in nanoelectronics and nano-optoelectronics as well as flexible nano-electronics with unprecedented possibilities to control the gap by external stimuli. Strong quantum confinement results in extremely high exciton binding energies which forms an interesting platform for both fundamental studies and device applications. Breaking of spatial inversion symmetry in monolayers results in strong spin-valley coupling potentially leading to their use in valleytronics.Starting with the basic chemistry of transition metals, the reader is introduced to the rich field of transition metal dichalcogenides. After a chapter on three dimensional crystals and a descri
優惠價: 75 11137
庫存:1
Soundscape Ecology ― Principles, Patterns, Methods and Applications
75 折
出版日:2013/12/31 作者:Almo Farina  出版社:Springer Verlag  裝訂:精裝
Soundscape Ecology represents a new branch of ecology and it is the result of the integration of different disciplines like Landscape ecology, Bioacoustics, Acoustic ecology, Biosemiotics, etc. The so
優惠價: 75 5617
庫存:1
出版日:2012/10/12 作者:George E. Martin  出版社:Springer Verlag  裝訂:平裝
Geometric constructions have been a popular part of mathematics throughout history. The first chapter here is informal and starts from scratch, introducing all the geometric constructions from high sc
優惠價: 1 3248
庫存:1
Teaching and Learning of Knot Theory in School Mathematics
75 折
出版日:2012/06/27 作者:Akio Kawauchi (EDT); Tomoko Yanagimoto (EDT)  出版社:Springer Verlag  裝訂:精裝
?This book is the result of a joint venture between Professor Akio Kawauchi, Osaka City University, well-known for his research in knot theory, and the Osaka study group of mathematics education, foun
優惠價: 75 3408
庫存:1
Linear Algebra and Linear Models
90 折
出版日:2012/01/28 作者:R. B. Bapat  出版社:Springer Verlag  裝訂:平裝
Linear Algebra and Linear Models comprises a concise and rigorous introduction to linear algebra required for statistics followed by the basic aspects of the theory of linear estimation and hypothesis
優惠價: 9 2475
庫存:1
Essentials of Integration Theory for Analysis
75 折
出版日:2011/08/02 作者:Daniel W. Stroock  出版社:Springer Verlag  裝訂:精裝
‘A Concise Introduction to the Theory of Integration’ was once a best-selling Birkhauser title which published 3 editions. This manuscript is a substantial revision of the material. Chapter one now in
優惠價: 75 2625
庫存:1
Sika Deer―Biology and Management of Native and Introduced Populations
75 折
出版日:2009/02/03 作者:Dale R. McCullough (EDT); Seiki Takatsuki (EDT); Koichi Kaji (EDT)  出版社:Springer Verlag  裝訂:精裝
Sika deer, the graceful spotted deer of Japanese and Chinese art, originally were native to Asia from far-east Russia to Vietnam to the islands of Japan and Taiwan. They are widely raised in captivity
優惠價: 75 19574
庫存:1
  • 42503
    1063
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 1063

暢銷榜

客服中心

收藏

會員專區