Springer Computer sciences and Informatics titles
http://www.springer.com/birkhauser/computer+science?SGWID=0-40353-0-0-0
These are Springer recent titles in Computer sciences and InformaticsSat, 20 Jul 2019 20:36:16 GMT2019-07-20T20:36:16ZSpringer Computer sciences and Informaticshttp://images.springer.com/cda/content/designimage/cda_displaydesignimage.gif?SGWID=0-0-17-901483-0
http://www.springer.com/birkhauser/computer+science?SGWID=0-40353-0-0-0
Learning and Geometry: Computational Approaches
http://www.springer.com/gp/book/9781461286462
<b>series:</b>Progress in Computer Science and Applied Logic<p>The field of computational learning theory arose out of the desire to for mally understand the process of learning. As potential applications to artificial intelligence became apparent, the new field grew rapidly. The learning of geo metric objects became a natural area of study. The possibility of using learning techniques to compensate for unsolvability provided an attraction for individ ...Mathematical Applications in Computer ScienceThu, 12 Jul 2012 06:07:34 GMThttp://www.springer.com/gp/book/97814612864622012-07-12T06:07:34ZOrganic Computing — A Paradigm Shift for Complex Systems
http://www.springer.com/gp/book/9783034801294
<b>series:</b>Autonomic Systems<p>Organic Computing has emerged as a challenging vision for future information processing systems. Its basis is the insight that we will increasingly be surrounded by and depend on large collections of autonomous systems, which are equipped with sensors and actuators, aware of their environment, communicating freely, and organising themselves in order to perform actions and services required by ...Computer Systems Organization and Communication NetworksSun, 08 May 2011 09:13:22 GMThttp://www.springer.com/gp/book/97830348012942011-05-08T09:13:22ZAutonomics Development: A Domain-Specific Aspect Language Approach(Soule)
http://www.springer.com/gp/book/9783034605397
<b>series:</b>Autonomic Systems<p>Distributed applications are difficult to write as programmers need to adhere to specific distributed systems programming conventions and frameworks, which makes distributed systems development complex and error prone and ties the resultant application to the distributed system because the application's code is tangled with the crosscutting concern distribution.This book introduces the concept ...Computer ApplicationsWed, 21 Jul 2010 23:07:09 GMThttp://www.springer.com/gp/book/97830346053972010-07-21T23:07:09ZEconomic Models and Algorithms for Distributed Systems
http://www.springer.com/gp/book/9783764388966
<b>series:</b>Autonomic Systems<p>Distributed computing paradigms for sharing resources such as Clouds, Grids, Peer-to-Peer systems, or voluntary computing are becoming increasingly popular. While there are some success stories such as PlanetLab, OneLab, BOINC, BitTorrent, and SETI@home, a widespread use of these technologies for business applications has not yet been achieved. In a business environment, mechanisms are needed ...Computer Systems Organization and Communication NetworksWed, 09 Dec 2009 00:04:59 GMThttp://www.springer.com/gp/book/97837643889662009-12-09T00:04:59ZLinear Programming(Karloff)
http://www.springer.com/gp/book/9780817648435
<b>series:</b>Modern Birkhäuser Classics<p>To this reviewer’s knowledge, this is the first book accessible to the upper division undergraduate or beginning graduate student that surveys linear programming from the Simplex Method…via the Ellipsoid algorithm to Karmarkar’s algorithm. Moreover, its point of view is algorithmic and thus it provides both a history and a case history of work in complexity theory. The presentation is ...Programming TechniquesSat, 06 Dec 2008 00:08:56 GMThttp://www.springer.com/gp/book/97808176484352008-12-06T00:08:56ZBidding Strategies in Agent-Based Continuous Double Auctions(Huiye)
http://www.springer.com/gp/book/9783764387297
<b>series:</b>Whitestein Series in Software Agent Technologies and Autonomic Computing<p>Online auctions are a platform to trade goods on the Internet. In this context, negotiation capabilities for software agents in continuous double auctions (CDAs) are a central concern. Agents need to be able to prepare bids for and evaluate offers on behalf of the users they represent with the aim of obtaining the maximum benefit for their users.For the agents, their bids are decided according ...Information Systems and Communication ServiceMon, 23 Jun 2008 23:05:21 GMThttp://www.springer.com/gp/book/97837643872972008-06-23T23:05:21ZLogic for Computer Scientists(Schöning)
http://www.springer.com/gp/book/9780817647629
<b>series:</b>Modern Birkhäuser Classics<p>This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the ...Mathematical Logic and Formal LanguagesTue, 29 Jan 2008 06:08:56 GMThttp://www.springer.com/gp/book/97808176476292008-01-29T06:08:56ZAlgorithms and Programming(Shen)
http://www.springer.com/gp/book/9780817647605
Problems and Solutions<br /><b>series:</b>Modern Birkhäuser Classics<p>Algorithms and Programming is primarily intended for a first-year undergraduate course in programming. It is structured in a problem-solution format that requires the student to think through the programming process, thus developing an understanding of the underlying theory. Although the author assumes some moderate familiarity with programming constructs, the book is easily readable by a ...Programming TechniquesTue, 29 Jan 2008 06:08:56 GMThttp://www.springer.com/gp/book/97808176476052008-01-29T06:08:56ZMathematics for the Analysis of Algorithms(Greene et al.)
http://www.springer.com/gp/book/9780817647285
<b>series:</b>Modern Birkhäuser Classics<p>A quantitative study of the efficiency of computer methods requires an in-depth understanding of both mathematics and computer science. This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, ...Algorithm Analysis and Problem ComplexityWed, 07 Nov 2007 00:09:51 GMThttp://www.springer.com/gp/book/97808176472852007-11-07T00:09:51ZEmerging Web Services Technology
http://www.springer.com/gp/book/9783764384470
<b>series:</b>Whitestein Series in Software Agent Technologies and Autonomic Computing<p>As Web services technology is becoming widely established in enterprise computing applications, Web services research is a very important and still very productive research domain. This book gives a timely report on the leading edge of this area by covering a wide spectrum of active research topics like Model Driven Engineering for SOA, Mobility and Services, Dynamic Web Service Discovery and ...Computer Communication NetworksSat, 21 Jul 2007 05:10:40 GMThttp://www.springer.com/gp/book/97837643844702007-07-21T05:10:40ZRelaxation and Decomposition Methods for Mixed Integer Nonlinear Programming(Nowak)
http://www.springer.com/gp/book/9783764372385
<b>series:</b>International Series of Numerical Mathematics<p>This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear programs (MINLP). The main focus is on deterministic global optimization methods, which play a very important role in integer linear programming, and are used only recently in MINLP.The presented material consists of two parts. The first part describes basic ...Mathematical Applications in Computer ScienceTue, 16 Aug 2005 03:15:08 GMThttp://www.springer.com/gp/book/97837643723852005-08-16T03:15:08ZContemporary Cryptology(Catalano et al.)
http://www.springer.com/gp/book/9783764372941
<b>series:</b>Advanced Courses in Mathematics - CRM Barcelona<p>The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: - efficient distributed computation modulo a shared secret- multiparty computation- foundations of modern cryptography- provable security for public key schemes- efficient and secure public-key cryptosystems.</p>Data Structures and Information TheoryWed, 20 Jul 2005 03:09:13 GMThttp://www.springer.com/gp/book/97837643729412005-07-20T03:09:13ZScientific Pascal(Flanders)
http://www.springer.com/gp/book/9780817637606
Mathematical Applications in Computer ScienceSat, 21 Jun 2003 02:20:20 GMThttp://www.springer.com/gp/book/97808176376062003-06-21T02:20:20ZScheduling and Automatic Parallelization(Darte et al.)
http://www.springer.com/gp/book/9780817641498
Software EngineeringFri, 20 Jun 2003 23:10:47 GMThttp://www.springer.com/gp/book/97808176414982003-06-20T23:10:47ZSemantic Modeling for the Acquisition of Topographic Information from Images and Maps
http://www.springer.com/gp/book/9783764357580
SMATI 97<p>Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processing. Automation of these tasks is difficult due to the complexity of the object, the topography, and the deficiency of current pattern recognition and image analysis tools for ...Computer Science (general)Wed, 18 Jun 2003 16:46:36 GMThttp://www.springer.com/gp/book/97837643575802003-06-18T16:46:36Z