Scientific Library of Tomsk State University

   E-catalog        

Your search returned 115 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Problems and Proofs in Numbers and Algebra electronic resource by Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.

by Millman, Richard S [author.] | Shiue, Peter J [author.] | Kahn, Eric Brendan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
From Requirements to Java in a Snap electronic resource Model-Driven Requirements Engineering in Practice / by Michał Śmiałek, Wiktor Nowakowski.

by Śmiałek, Michał [author.] | Nowakowski, Wiktor [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
3.
Descriptional Complexity of Formal Systems electronic resource 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.

by Shallit, Jeffrey [editor.] | Okhotin, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
4.
FM 2015: Formal Methods electronic resource 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer.

by Bjørner, Nikolaj [editor.] | de Boer, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
5.
Computer Science -- Theory and Applications electronic resource 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov.

by Beklemishev, Lev D [editor.] | Musatov, Daniil V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
6.
Formal Methods for Multicore Programming electronic resource 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.

by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
7.
The Design of Requirements Modelling Languages electronic resource How to Make Formalisms for Problem Solving in Requirements Engineering / by Ivan Jureta.

by Jureta, Ivan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
8.
Combinatorial Algorithms electronic resource 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / edited by Kratochvíl Jan, Mirka Miller, Dalibor Froncek.

by Jan, Kratochvíl [editor.] | Miller, Mirka [editor.] | Froncek, Dalibor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
9.
Machines, Computations, and Universality electronic resource 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.

by Durand-Lose, Jerome [editor.] | Nagy, Benedek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
10.
Theoretical Aspects of Computing - ICTAC 2015 electronic resource 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.

by Leucker, Martin [editor.] | Rueda, Camilo [editor.] | Valencia, Frank D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
11.
Software Engineering and Formal Methods electronic resource 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.

by Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
12.
Algebraic Informatics electronic resource 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti.

by Maletti, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
13.
Graph Structures for Knowledge Representation and Reasoning electronic resource 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton.

by Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian [editor.] | Stapleton, Gem [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
14.
AI 2015: Advances in Artificial Intelligence electronic resource 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / edited by Bernhard Pfahringer, Jochen Renz.

by Pfahringer, Bernhard [editor.] | Renz, Jochen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
15.
Logic-Based Program Synthesis and Transformation electronic resource 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.

by Falaschi, Moreno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
16.
New Frontiers in Artificial Intelligence electronic resource JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / edited by Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki.

by Murata, Tsuyoshi [editor.] | Mineshima, Koji [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
17.
Static Analysis electronic resource 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen.

by Blazy, Sandrine [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
18.
Transactions on Rough Sets XIX electronic resource edited by James F. Peters, Andrzej Skowron, Dominik Ślȩzak, Hung Son Nguyen, Jan G. Bazan.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Ślȩzak, Dominik [editor.] | Nguyen, Hung Son [editor.] | Bazan, Jan G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
19.
Models of Strategic Reasoning electronic resource Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
20.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII electronic resource edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
21.
Ernst Zermelo electronic resource An Approach to His Life and Work / by Heinz Dieter Ebbinghaus, Volker Peckhaus.

by Ebbinghaus, Heinz Dieter [author.] | Peckhaus, Volker [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
22.
Facets of Uncertainties and Applications electronic resource ICFUA, Kolkata, India, December 2013 / edited by Mihir K. Chakraborty, Andrzej Skowron, Manoranjan Maiti, Samarjit Kar.

by Chakraborty, Mihir K [editor.] | Skowron, Andrzej [editor.] | Maiti, Manoranjan [editor.] | Kar, Samarjit [editor.] | SpringerLink (Online service).

Series: Springer Proceedings in Mathematics & StatisticsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New Delhi : Springer India : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
23.
Mathematical Foundations of Computer Science 2015 electronic resource 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella.

by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
24.
Logic for Programming, Artificial Intelligence, and Reasoning electronic resource 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.

by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
25.
Petr Hájek on Mathematical Fuzzy Logic electronic resource edited by Franco Montagna.

by Montagna, Franco [editor.] | SpringerLink (Online service).

Series: Outstanding Contributions to LogicSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
26.
Gentzen's Centenary electronic resource The Quest for Consistency / edited by Reinhard Kahle, Michael Rathjen.

by Kahle, Reinhard [editor.] | Rathjen, Michael [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
27.
Dag Prawitz on Proofs and Meaning electronic resource edited by Heinrich Wansing.

by Wansing, Heinrich [editor.] | SpringerLink (Online service).

Series: Outstanding Contributions to LogicSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
28.
Formal Methods: Foundations and Applications electronic resource 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.

by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
29.
Structured Object-Oriented Formal Language and Method electronic resource 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.

by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
30.
Formal Techniques for Distributed Objects, Components, and Systems electronic resource 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan.

by Graf, Susanne [editor.] | Viswanathan, Mahesh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
31.
NASA Formal Methods electronic resource 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi.

by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
32.
Quantum Physics, Fuzzy Sets and Logic electronic resource Steps Towards a Many-Valued Interpretation of Quantum Mechanics / by Jarosław Pykacz.

by Pykacz, Jarosław [author.] | SpringerLink (Online service).

Series: SpringerBriefs in PhysicsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
33.
Mathematics of Program Construction electronic resource 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtländer.

by Hinze, Ralf [editor.] | Voigtländer, Janis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
34.
Computational Complexity of Solving Equation Systems electronic resource by Przemysław Broniek.

by Broniek, Przemysław [author.] | SpringerLink (Online service).

Series: SpringerBriefs in PhilosophyEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
35.
AI*IA 2015 Advances in Artificial Intelligence electronic resource XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi.

by Gavanelli, Marco [editor.] | Lamma, Evelina [editor.] | Riguzzi, Fabrizio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
36.
Automated Reasoning with Analytic Tableaux and Related Methods electronic resource 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle.

by De Nivelle, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
37.
Relational and Algebraic Methods in Computer Science electronic resource 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira.

by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
38.
KI 2015: Advances in Artificial Intelligence electronic resource 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / edited by Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph.

by Hölldobler, Steffen [editor.] | Krötzsch, Markus [editor.] | Peñaloza, Rafael [editor.] | Rudolph, Sebastian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
39.
Computer Aided Verification electronic resource 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
40.
Information Security electronic resource 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt.

by Desmedt, Yvo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
41.
Dependable Software Engineering: Theories, Tools, and Applications electronic resource First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.

by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
42.
Text Analysis Pipelines electronic resource Towards Ad-hoc Large-Scale Text Mining / by Henning Wachsmuth.

by Wachsmuth, Henning [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
43.
Chinese Lexical Semantics electronic resource 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers / edited by Qin Lu, Helena Hong Gao.

by Lu, Qin [editor.] | Gao, Helena Hong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
44.
Logic, Language, Information, and Computation electronic resource 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.

by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
45.
Fundamental Approaches to Software Engineering electronic resource 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer.

by Egyed, Alexander [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
46.
Nonstandard Analysis for the Working Mathematician electronic resource edited by Peter A. Loeb, Manfred P. H. Wolff.

by Loeb, Peter A [editor.] | Wolff, Manfred P. H [editor.] | SpringerLink (Online service).

Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
47.
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer electronic resource by Mark van Atten.

by Atten, Mark van [author.] | SpringerLink (Online service).

Series: Logic, Epistemology, and the Unity of ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
48.
Multi-Agent Systems electronic resource 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / edited by Nils Bulling.

by Bulling, Nils [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
49.
Unifying Theories of Programming electronic resource 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann.

by Naumann, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
50.
One Hundred Prisoners and a Light Bulb electronic resource by Hans van Ditmarsch, Barteld Kooi.

by van Ditmarsch, Hans [author.] | Kooi, Barteld [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Copernicus, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages