|
381.
|
Algorithms for coalition formation in multi-agent systems
by Rahwan, Talal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Swindon: British Computer Society, 2008Availability: Items available for loan: [Call number: 006.3015181 RAH] (1).
|
|
382.
|
Logics and analyses for concurrent heap-manipulating programs
by Gotsman, Alexey. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: British Computer Society, 2009Availability: Items available for loan: [Call number: 005.14 GOT] (1).
|
|
383.
|
Conversations about challenges in computing
by Bruaset, Are Magnus | Tveito, Aslak. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2013Availability: Items available for loan: [Call number: 003 BRU] (1).
|
|
384.
|
Software design for resilient computer systems
by Kaegi-Trachsel, Thomas | Schagaev, Igor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.2 SCH] (1).
|
|
385.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
386.
|
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
by Bogliolo, Alessandro | Bernardo, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
387.
|
Autonomous intelligent systems : agents and data mining : International Workshop, AIS-ADM 2005, St. Petersburg, Russia, June 6-8, 2005 : proceedings
by Gorodetsky, Vladimir | Liu, Jiming | Skormin, Victor A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 GOR] (1).
|
|
388.
|
Successful test management : an integral approach
by Pinkster, Iris | Burgt, Bob van de | Janssen, Dennis | Veenendaal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.14 PIN] (1).
|
|
389.
|
Multiagent engineering : theory and applications in enterprises
by Herzog, Otthein | Kirn, Stefan | Lockemann, Peter | Spaniol, Otto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.3 KIR] (1).
|
|
390.
|
Model Driven Architecture and Ontology Development
by Djuric, Dragan | Devedzic, Vladan | Gasevic, Dragan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.117 GAS] (1).
|
|
391.
|
Multi-agent systems and applications III: 3rd International central and Eastern European conference on multi-agent systems. CEEMAS 2003 Prague, Czech Republic, June 16-18, 2003
by Marik, Vladimir. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MAR] (1).
|
|
392.
|
Software quality and software testing in internet times
by Meyerhoff, Dirk. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.14 MEY] (1).
|
|
393.
|
Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
by Gacek, Cristina. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 GAC] (1).
|
|
394.
|
Software visualization : visualizing the structure, behaviour, and evolution of software
by Diehl, Stephan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin Springer 2007Availability: Items available for loan: [Call number: 005.118 DIE] (1).
|
|
395.
|
Software engineering for experimental robotics
by Brugali, Davide. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 629.89251 BRU] (1).
|
|
396.
|
Software Product Lines in Action : the best industrial practice in product line engineering
by Linden, Frank van der | Rommes, Eelco | Schmid, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.1 LIN] (1).
|
|
397.
|
Model-driven testing : using the UML testing profile
by Baker, Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.117 BAK] (1).
|
|
398.
|
Software product management and pricing: key success factors for software organizations
by Kittlaus, Hans-Bernd | Clough, Peter N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.3068 KIT] (1).
|
|
399.
|
Testing network : an integral approach to test activities in large software projects
by Henry, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004.24 HEN] (1).
|
|
400.
|
Model driven engineering and ontology development
by Gasevic, Dragan | Devedzic, Vladan | Djuric, Dragan. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.1 GAS] (1).
|