Your search returned 14 results.

Not what you expected? Check for suggestions

Results
		Elementary logic for software development / Robert Lover. by Lover, Robert Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer, c2008 Availability: Items available for loan: Central Library (1)Call number: 005.101 LOV. Items available for reference: Central Library: Not for loan (1)Call number: 005.101 LOV. Log in to add tags Add to cart (remove)
		Analysis and design of information systems / Arthur M. Langer. by Langer, Arthur M Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer, c2008 Online access: Publisher description Table of contents only Availability: Items available for loan: Central Library (1)Call number: 004.21 LAN. Log in to add tags Add to cart (remove)
		Compiler design : syntactic and semantic analysis / Reinhard Wilhelm, Helmut Seidl, Sebastian Hack. by Wilhelm, Reinhard Seidl, Helmut Hack, Sebastian Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Verlag : Springer, c.2013 Availability: Items available for loan: Central Library (1)Call number: 005.453 WIL. Log in to add tags Add to cart (remove)
		Software and systems traceability / Jane Cleland-Huang, Orlena Gotel, Andrea Zisman, editors ; foreword by Anthony Finkelstein. by Zisman, Andrea‏ [editor.] Cleland-Huang, Jane [editor.] Gotel, Orlena [editor.] Finkelstein, Anthony, 1959-‏ Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York ; London : Springer-Verlage, c.2012 Online access: Full text available on campus access Full text available off campus access Availability: Items available for loan: Central Library (1)Call number: 005.1 SOF. Log in to add tags Add to cart (remove)
		Human-computer interaction : the agency perspective / [editor] Marielba Zacarias and Jose Valente de Oliveira. by Zacarias, Marielba [editor.] Oliveira, J. Valente de (Jose Valente) [editor.] Series: Studies in computational intelligence ; v. 396. Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer-Verlag, c.2012 Availability: Items available for loan: Central Library (1)Call number: 006.3 HUM. Log in to add tags Add to cart (remove)
		Software process definition and management / Jurgen Munch ... [et al.] by Munch, Jurgen, 1968- Series: Fraunhofer IESE series on software and systems engineering Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Heidelberg : Springer, c.2012 Availability: Items available for loan: Central Library (1)Call number: 005.1 SOF. Log in to add tags Add to cart (remove)
		Lean software development in action / Andrea Janes, Giancarlo Succi. by Janes, Andrea Succi, Giancarlo Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: New York : Springer, c.2014 Availability: Items available for loan: Central Library (1)Call number: 005.10685 JAN. Log in to add tags Add to cart (remove)
		Software engineering for resilient systems : 6th International workshop, Serene 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / edited by Istvan Majzik, Marco Vieira. by SERENE (Workshop) (6th : 2014 : Budapest, Hungary) Majzik, Istvan [editor.] Vieira, Marco [editor.] Series: Lecture notes in computer science ; 8785 Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Cham : Springer, c.2014 Availability: Items available for loan: Central Library (1)Call number: 005.1 SOF. Log in to add tags Add to cart (remove)
		Argumentation in multi-agent systems : first international workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers / [editors] Iyad Rahwan, Pavlos Moraitis, Chris Reed. by ArgMAS 2004 (1st : 2004 : New York, N.Y.) Rahwan, Iyad [editor.] Moraitis, Pavlos [editor.] Reed, Chris, 1956- [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 3366 \| State-of-the-art survey Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, c.2005 Other title: ArgMAS 2004 Availability: Items available for loan: Central Library (1)Call number: 006.3 ARG. Log in to add tags Add to cart (remove)
		Systems and software quality : the next step for industrialisation / [edited by] Martin Wieczorek. by Wieczorek, Martin [editor.] Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin : Springer, c.2014 Availability: Items available for loan: Central Library (1)Call number: 005.1 SYS. Log in to add tags Add to cart (remove)
		Artificial intelligence : methods and applications : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014 : proceedings / edited by Aristidis Likas, Konstantinos Blekas, Dimitris Kalles. by Blekas, Konstantinos [editor.] Kalles, Dimitris [editor.] Likas, Aristidis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8445 Source: Springer eBooks Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Cham : Springer, c.2014 Availability: Items available for loan: Central Library (1)Call number: 006.3 ART. Log in to add tags Add to cart (remove)
		Agents and data mining interaction : 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012 : revised selected papers / editor Longbing Cao ... [et al.] by ADMI 2012 (2012 : Valencia, Spain) Cao, Longbing, 1969- [editor.] Series: Lecture notes in artificial intelligence ; 7607 \| LNCS sublibrary. SL 7, Artificial intelligence Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; New York : Springer, c.2013 Other title: ADMI 2012 Availability: Items available for loan: Central Library (1)Call number: 006.312 AGE. Log in to add tags Add to cart (remove)
		Requirements engineering and management for software development projects / Murali Chemuturi ; foreword by Tom Gilb. by Chemuturi, Murali, 1950- Gilb, Tom [author of introduction, etc. ] Material type: Text; Literary form: Not fiction ; Audience: Specialized; Publication details: New York : Springer, c.2013 Availability: Items available for loan: Central Library (1)Call number: 005.1068 CHE. Log in to add tags Add to cart (remove)
		Extending Web services technologies : the use of multi-agent approaches / edited by Lawrence Cavedon, Stanford University [and three others] by Cavedon, Lawrence, 1964- [editor.] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publisher: New York, NY : Springer Science, [2004]Copyright date: c2004 Online access: Publisher description Table of contents only Availability: Items available for loan: Central Library (1)Call number: 006.3 EXT. Log in to add tags Add to cart (remove)

© BUE Library 2020