|
|
1181.
|
Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / edited by Ron Meyden, Leendert Torre.
by Meyden, Ron | Torre, Leendert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1182.
|
Digital Mammography [electronic resource] : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings / edited by Elizabeth A. Krupinski.
by Krupinski, Elizabeth A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1183.
|
Computers Helping People with Special Needs [electronic resource] : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings / edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer.
by Miesenberger, Klaus | Klaus, Joachim | Zagler, Wolfgang | Karshmer, Arthur | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1184.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings / edited by Diego Zamboni.
by Zamboni, Diego | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1185.
|
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik.
by Gupta, Aarti | Malik, Sharad | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1186.
|
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings / edited by Mladen Bereković, Nikitas Dimopoulos, Stephan Wong.
by Bereković, Mladen | Dimopoulos, Nikitas | Wong, Stephan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1187.
|
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support [electronic resource] : Results of the IMPROVE Project / edited by Manfred Nagl, Wolfgang Marquardt.
by Nagl, Manfred | Marquardt, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1188.
|
Data and Applications Security XXII [electronic resource] : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / edited by Vijay Atluri.
by Atluri, Vijay | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1189.
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / edited by T. C. Nicholas Graham, Philippe Palanque.
by Graham, T. C. Nicholas | Palanque, Philippe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1190.
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.
by Aceto, Luca | Damgård, Ivan | Goldberg, Leslie Ann | Halldórsson, Magnús M | Ingólfsdóttir, Anna | Walukiewicz, Igor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1191.
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.
by Aceto, Luca | Damgård, Ivan | Goldberg, Leslie Ann | Halldórsson, Magnús M | Ingólfsdóttir, Anna | Walukiewicz, Igor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1192.
|
Computer-Human Interaction [electronic resource] : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings / edited by Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin.
by Lee, Seongil | Choo, Hyunseung | Ha, Sungdo | Shin, In Chul | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1193.
|
Resilient Networks and Services [electronic resource] : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings / edited by David Hausheer, Jürgen Schönwälder.
by Hausheer, David | Schönwälder, Jürgen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1194.
|
Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov.
by Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1195.
|
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek.
by Vitek, Jan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1196.
|
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring.
by Audebaud, Philippe | Paulin-Mohring, Christine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1197.
|
Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / edited by Peter Eklund, Ollivier Haemmerlé.
by Eklund, Peter | Haemmerlé, Ollivier | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1198.
|
Privacy Enhancing Technologies [electronic resource] : 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings / edited by Nikita Borisov, Ian Goldberg.
by Borisov, Nikita | Goldberg, Ian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1199.
|
Journal on Data Semantics VIII [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu.
by Spaccapietra, Stefano | Atzeni, Paolo | Fages, François | Hacid, Mohand-Saïd | Kifer, Michael | Mylopoulos, John | Pernici, Barbara | Shvaiko, Pavel | Trujillo, Juan | Zaihrayeu, Ilya | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
1200.
|
Discrete Geometry, Combinatorics and Graph Theory [electronic resource] : 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers / edited by Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu.
by Akiyama, Jin | Chen, William Y. C | Kano, Mikio | Li, Xueliang | Yu, Qinglin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|