|
1.
|
Computer Performance Engineering Электронный ресурс 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nigel Thomas, Carlos Juiz. by Hutchison, David | Juiz, Carlos | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Thomas, Nigel | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
2.
|
|
|
3.
|
Technology Enhanced Learning Электронный ресурс IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Jean-Pierre Courtiat, Costas Davarakis, Thierry Villemur. by Courtiat, Jean-Pierre | Davarakis, Costas | Villemur, Thierry | SpringerLink (Online service). Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: No items available :
|
|
4.
|
|
|
5.
|
|
|
6.
|
Conceptual Modeling - ER 2007 Электронный ресурс 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings. by Parent, Christine | Schewe, Klaus-Dieter | Storey, Veda C | Thalheim, Bernhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
7.
|
|
|
8.
|
Engineering Theories of Software Intensive Systems Электронный ресурс Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred | Grünbauer, Johannes | Harel, David | Hoare, Tony | SpringerLink (Online service). Series: NATO Science Series, Series II: Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
The Challenge of Anticipation Электронный ресурс A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems / edited by Jaime G. Carbonell, Jörg Siekmann, Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone. by Carbonell, Jaime G | Butz, Martin V | Castelfranchi, Cristiano | Falcone, Rino | Pezzulo, Giovanni | Siekmann, Jörg | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
16.
|
Rule Representation, Interchange and Reasoning on the Web Электронный ресурс International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nick Bassiliades, Guido Governatori, Adrian Paschke. by Hutchison, David | Bassiliades, Nick | Governatori, Guido | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Paschke, Adrian | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
17.
|
Systems and Virtualization Management. Standards and New Technologies Электронный ресурс Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
18.
|
(Re)Searching The Digital Bauhaus Электронный ресурс edited by John Karat, Jean Vanderdonckt, Thomas Binder, Jonas Löwgren, Lone Malmborg. by Karat, John | Binder, Thomas | Löwgren, Jonas | Malmborg, Lone | Vanderdonckt, Jean | SpringerLink (Online service). Series: Human-Computer Interaction SeriesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: London : Springer London, 2009Online access: Click here to access online Availability: No items available :
|
|
19.
|
|
|
20.
|
|
|
21.
|
Multiagent Scheduling electronic resource Models and Algorithms / by Alessandro Agnetis, Jean-Charles Billaut, Stanisław Gawiejnowicz, Dario Pacciarelli, Ameur Soukhal. by Agnetis, Alessandro [author.] | Billaut, Jean-Charles [author.] | Gawiejnowicz, Stanisław [author.] | Pacciarelli, Dario [author.] | Soukhal, Ameur [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
22.
|
|
|
23.
|
|
|
24.
|
|
|
25.
|
Formal Methods and Software Engineering Электронный ресурс 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings. by Butler, Michael | Hinchey, Michael G | Larrondo-Petrie, María M | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
26.
|
|
|
27.
|
Transactions on Rough Sets VIII Электронный ресурс edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, James F. Peters, Andrzej Skowron. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Peters, James F | Skowron, Andrzej | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
28.
|
Advances in Computation and Intelligence Электронный ресурс Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Kang, Lishan | Liu, Yong | Zeng, Sanyou | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
29.
|
Software Process Improvement Электронный ресурс 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. O’Connor, Nathan Baddoo, Kari Smolander, Richard Messnarz. by O’Connor, Rory V | Baddoo, Nathan | Messnarz, Richard | Smolander, Kari | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
30.
|
|
|
31.
|
|
|
32.
|
Advances in Artificial Intelligence - IBERAMIA 2008 Электронный ресурс 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David. by Carbonell, Jaime G | David, Nuno | Geffner, Hector | Machado Alexandre, Isabel | Prada, Rui | Siekmann, Jörg | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
33.
|
|
|
34.
|
Languages and Compilers for Parallel Computing Электронный ресурс 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Nelson Amaral. by Hutchison, David | Amaral, José Nelson | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
35.
|
Spatial Information Theory Электронный ресурс 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007. Proceedings / edited by Stephan Winter, Matt Duckham, Lars Kulik, Ben Kuipers. by Winter, Stephan | Duckham, Matt | Kuipers, Ben | Kulik, Lars | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
36.
|
Languages, Methodologies and Development Tools for Multi-Agent Systems Электронный ресурс First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Paolo Torroni. by Carbonell, Jaime G | Dastani, Mehdi | Fallah Seghrouchni, Amal | Leite, João | Siekmann, Jörg | Torroni, Paolo | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
37.
|
Advances in Computation and Intelligence Электронный ресурс Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu. by Hutchison, David | Cai, Zhihua | Kanade, Takeo | Kang, Lishan | Kittler, Josef | Kleinberg, Jon M | Liu, Yong | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Yan, Xuesong | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
38.
|
Software Architecture Электронный ресурс Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ron Morrison, Dharini Balasubramaniam, Katrina Falkner. by Hutchison, David | Balasubramaniam, Dharini | Falkner, Katrina | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Morrison, Ron | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
39.
|
Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
40.
|
Self-Sustaining Systems Электронный ресурс First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Hirschfeld, Kim Rose. by Hutchison, David | Hirschfeld, Robert | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Rose, Kim | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
41.
|
|
|
42.
|
|
|
43.
|
Spatial Information Theory Электронный ресурс International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings edited by Anthony G. Cohn, David M. Mark. by Cohn, Anthony G | Mark, David M | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
44.
|
|
|
45.
|
|
|
46.
|
|
|
47.
|
Engineering Psychology and Cognitive Ergonomics. Applications and Services [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Don Harris. by Harris, Don [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
48.
|
|
|
49.
|
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Joan Cabestany. by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Cabestany, Joan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
50.
|
Design, User Experience, and Usability. Web, Mobile, and Product Design [electronic resource] : Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV / edited by Aaron Marcus. by Marcus, Aaron [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|